53

Questions
votes newest views recent
2
7
votes
4
answers
474
views

On the large cardinals foundations of categories

may 14 at 21:34 Zhen Lin 1,825●1●5●11

2
10
votes
2
answers
350
views

If ZFC has a transitive model, does it have one of arbitrary size?

may 6 at 0:50 Andres Caicedo 14.4k●1●42●79

 
2
votes
2
answers
192
views

Stronger theorem not resulting from proof analysis

apr 19 at 15:00 François G. Dorais♦ 22.3k●2●48●113

 
7
votes
1
answer
207
views

The transcendence degree of $\mathbb R$ after adding a Cohen

apr 2 at 11:40 Joel David Hamkins 74.7k●7●187●343

2
18
votes
0
answers
628
views

When does $A^A=2^A$ without the axiom of choice?

feb 25 at 23:58 Asaf Karagila 7,018●1●14●44

1
5
votes
1
answer
212
views

How to find a sub-forcing?

jan 9 at 1:27 Joel David Hamkins 74.7k●7●187●343

1
7
votes
1
answer
226
views

What is $\omega_1^{CK}(\mathsf{Ord})$?

dec 18 at 0:23 Asaf Karagila 7,018●1●14●44

 
6
votes
3
answers
286
views

Why does the Solovay-Tennenbaum theorem work?

dec 3 at 1:30 Andreas Blass 32.8k●4●54●109

 
5
votes
2
answers
229
views

Forcing with product vs. box product

nov 27 at 11:05 Joel David Hamkins 74.7k●7●187●343

1
4
votes
0
answers
253
views

Existence of Non-Borel sets in models of “All sets measurable”

nov 1 at 18:01 Asaf Karagila 7,018●1●14●44

1 2 3 4 5 6 next