Eran's user avatar
Eran's user avatar
Eran's user avatar
Eran
  • Member for 13 years, 4 months
  • Last seen more than 8 years ago
12 votes
7 answers
3k views

Use of indiscernibles in model theory

9 votes
1 answer
2k views

What is random real forcing?

8 votes
1 answer
664 views

Is $\kappa$-distributive the same as $\kappa$-strategically closed?

6 votes
2 answers
1k views

Using zero-sharp to characterize L

6 votes
7 answers
5k views

Compactness Theorem for First Order Logic

5 votes
1 answer
921 views

Elementary end extension of a countable model for ZF

4 votes
1 answer
227 views

Two complementing consequences of supercompactness

3 votes
1 answer
458 views

The Covering Lemma for L[U]

2 votes
1 answer
428 views

Omega_1 Categorical Theory