7

Questions

1
9
votes
1
answer
348
views

Generic Extensions and $L(V_{\lambda+1})$

oct 13 at 5:22 X.Shi 862

2
6
votes
0
answers
628
views

Extension of Tao-Green Theorem

sep 27 11 at 3:18 Everett Piper 35317

1
5
votes
0
answers
388
views

A proposed axiom of Laver (updated)

dec 27 11 at 19:20 Everett Piper 35317

 
4
votes
1
answer
142
views

Theories and indiscernible propositions

mar 11 12 at 1:44 Andreas Blass 32.9k454109

 
4
votes
0
answers
122
views

Elementary Embeddings and Relative Constructibility

jan 12 at 1:04 Everett Piper 35317

 
3
votes
2
answers
201
views

Set forcing and ultrapowers

feb 21 at 2:36 mbsq 1,239312

 
1
vote
0
answers
169
views

Logical relationships between weakenings of AC

may 6 12 at 3:38 Everett Piper 35317