Danielle Ulrich's user avatar
Danielle Ulrich's user avatar
Danielle Ulrich's user avatar
Danielle Ulrich
  • Member for 11 years, 6 months
  • Last seen more than a month ago
16 votes
Accepted

Can an ultrapower be undone by forcing?

16 votes

Is there a theorem whose only known proof uses "$A$ or not $A$" for undecidable $A$

9 votes
Accepted

Which reals are "hyperarithmetic modulo ordinals"?

8 votes
Accepted

Elementary extensions of direct product

8 votes

Examples of set theory problems which are solved using methods outside of logic

8 votes
Accepted

A new cardinal characteristic of the continuum?

7 votes

On structures that are not submitted to compatibility conditions

6 votes
Accepted

Models with few types in infinitary logics

5 votes
Accepted

When are generic models not too wild?

4 votes
Accepted

How many elementary embeddings can there be?

4 votes

Is there a class of mathematical structures with non-isomorphic natural representations as a standard Borel space?

4 votes
Accepted

Perfectly transversable theories

3 votes
Accepted

Consistency of Weak Diamond with a Weak Version of Martin's Axiom

2 votes

What are the most attractive Turing undecidable problems in mathematics?

2 votes

Problem understanding a passage of the proof of $\mathfrak{p}=\mathfrak{t}$ involving forcing

2 votes
Accepted

Theories with the infinitary Vopenka property

1 vote

A "Completion" of $ZFC^-$