Noah Schweber's user avatar
Noah Schweber's user avatar
Noah Schweber's user avatar
Noah Schweber
  • Member for 13 years, 8 months
  • Last seen this week
13 votes
2 answers
944 views

Can we collapse $\omega_1$ to $\omega$ without adding a dominating real?

13 votes
1 answer
602 views

2-colorings of the reals

13 votes
3 answers
1k views

When can we detect forcing?

13 votes
3 answers
356 views

How should one look at the set of compatible ring structures on a given group?

13 votes
3 answers
747 views

How to make countably closed forcing "nice" without choice

13 votes
2 answers
1k views

What are Moschovakis cardinals?

13 votes
1 answer
550 views

Idempotent ultrafilters and the Rudin-Keisler ordering

13 votes
2 answers
1k views

The (non-)absoluteness of second-order elementary equivalence

13 votes
2 answers
677 views

Woodin on Posner-Robinson for the hyperjump and sharp

13 votes
0 answers
519 views

Large cardinals arising from alternate set theories

13 votes
2 answers
1k views

Memorable ordinals

12 votes
2 answers
467 views

Can noncomputable sets be distinguishable in $RCA_0$?

12 votes
3 answers
733 views

The continuum hypothesis for packing shapes without overlapping

12 votes
1 answer
680 views

A new cardinality living in every forcing extension?

12 votes
0 answers
492 views

Do all linear orders in this class have computable copies?

12 votes
2 answers
686 views

Which forcings preserve (some) determinacy?

12 votes
0 answers
664 views

Existence (or non) of "definable" ultrafilters

12 votes
2 answers
470 views

Conflating reals and sets of countable ordinals "nicely"

12 votes
0 answers
349 views

Undetermined copy/diagonalize games without CH

12 votes
1 answer
475 views

The strength of "There are no $\Pi^1_1$-pseudofinite sets"

12 votes
1 answer
426 views

Comparing generic versions of $\mathbb{R}$

12 votes
0 answers
492 views

Can a generic $\mathbb{R}$ have a new cardinality?

12 votes
2 answers
900 views

Is this definability principle consistent?

12 votes
1 answer
580 views

Can $\mathcal{L}_{\omega_1,\omega}$ detect $\mathcal{L}_{\omega_1,\omega}$-equivalence?

12 votes
1 answer
378 views

Do second-order theories always have irredundant axiomatizations?

12 votes
1 answer
444 views

What is the "iterated definability" limit of first-order logic?

12 votes
1 answer
410 views

The scope of a "strong Cantor-Bernstein" property

12 votes
1 answer
625 views

Ultrafilter subtraction and "zero"

12 votes
0 answers
191 views

Are there times when replacement is "more natural" than collection?

11 votes
2 answers
367 views

Can singular long models require less than PA?

1 2
3
4 5
14