user avatar
user avatar
user avatar
Victoria Gitman
  • Member for 12 years, 3 months
  • Last seen more than 1 year ago
19 votes
Accepted

Very Large Cardinal Axioms and Continuum Hypothesis

15 votes
Accepted

What are examples of non-equivalent virtualizations of a large cardinal?

11 votes
Accepted

Consistency strength of the existence of a transitive model of $\mathsf{ZFC}^-$ with a $\kappa$-complete ultrafilter

10 votes
Accepted

What is known about global well ordering of classes in Gödel-Bernays?

10 votes
Accepted

Logical strength of "choice functions exist for well-ordered families"?

9 votes

questions about worldly cardinals

8 votes
Accepted

Forcing with Nontransitive Models

8 votes

Weakly Compact Cardinal and Iterability

8 votes

Preservation of properness

8 votes
Accepted

Set forcing over transitive models of NBG

7 votes
Accepted

Shelah's proof of the independence of the Whitehead Problem

7 votes

Forcing Extension of Countable Linearly Iterable Structures

6 votes

What are benefits of foundations with more than one sort of objects?

6 votes
Accepted

On the definition of the $\alpha$-iterable cardinals