7

Questions

 
3
votes
2
answers
204
views

Set forcing and ultrapowers

feb 21 at 2:36 mbsq 1,269312

 
4
votes
0
answers
122
views

Elementary Embeddings and Relative Constructibility

jan 12 at 1:04 Everett Piper 35317

1
9
votes
1
answer
349
views

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

oct 13 at 5:22 X.Shi 862

 
1
vote
0
answers
171
views

Logical relationships between weakenings of AC

may 6 12 at 3:38 Everett Piper 35317

 
4
votes
1
answer
143
views

Theories and indiscernible propositions

mar 11 12 at 1:44 Andreas Blass 33.8k459111

1
5
votes
0
answers
388
views

A proposed axiom of Laver (updated)

dec 27 11 at 19:20 Everett Piper 35317

2
6
votes
0
answers
632
views

Extension of Tao-Green Theorem

sep 27 11 at 3:18 Everett Piper 35317