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
40 votes
7 answers
11k views

What are some proofs of Godel's Theorem which are *essentially different* from the original proof?

37 votes
19 answers
5k views

Counterexamples in universal algebra

34 votes
2 answers
2k views

Ur-elemental surprises

18 votes
1 answer
2k views

Lawvere's fixed point theorem and the Recursion Theorem

25 votes
6 answers
2k views

Are there infinitely many "generalized triangle vertices"?

28 votes
0 answers
2k views

Supercompact and Reinhardt cardinals without choice

16 votes
1 answer
2k views

Characterization of Stone-Cech compactifications

14 votes
4 answers
2k views

Is it ever a good idea to use Keisler-Shelah to show elementary equivalence?

14 votes
4 answers
2k views

Fermat's Last Theorem and Computability Theory

20 votes
3 answers
2k views

A limit to Shoenfield Absoluteness

32 votes
1 answer
2k views

Godel on recursion-theoretic hierarchies

24 votes
9 answers
2k views

Self-containing structures

26 votes
2 answers
2k views

On the global structure of the Gromov-Hausdorff metric space

13 votes
2 answers
1k views

What are Moschovakis cardinals?

13 votes
3 answers
1k views

Can ultraproducts avoid all "factor structures"?

19 votes
4 answers
1k views

Pathological behavior of Borel sets?

9 votes
2 answers
1k views

What sort of structure can amorphous sets support?

16 votes
2 answers
1k views

When does Vopěnka's principle hold?

7 votes
2 answers
1k views

Does permission always work?

17 votes
2 answers
1k views

Who first proved that we can prove that we prove things we prove?

21 votes
2 answers
1k views

Gently changing measure

14 votes
2 answers
1k views

Does Turing determinacy imply full determinacy?

13 votes
2 answers
1k views

Memorable ordinals

13 votes
3 answers
1k views

When can we detect forcing?

8 votes
2 answers
1k views

When does an "$\mathbb{R}$-generated" space have a short description?

16 votes
2 answers
1k views

Comparing "axiomatized function spaces"

27 votes
0 answers
1k views

Where do uncountable models collapse to?

18 votes
1 answer
1k views

A topological version of the Lowenheim-Skolem number

20 votes
1 answer
1k views

Does sine interact equationally with addition alone?

21 votes
2 answers
1k views

Antirandom reals

1
2 3 4 5
14