Rachid Atmai's user avatar
Rachid Atmai's user avatar
Rachid Atmai's user avatar
Rachid Atmai
  • Member for 14 years, 1 month
  • Last seen more than a month ago
  • Where things have countable cofinality
19 votes
9 answers
5k views

Forcing as a tool to prove theorems

19 votes
2 answers
2k views

Why does inner model theory need so much descriptive set theory (and vice versa)?

18 votes
10 answers
3k views

Examples of ZFC theorems proved via forcing

14 votes
4 answers
2k views

Products of Baire spaces

12 votes
8 answers
5k views

Is there a ground between Set Theory and Group Theory/Algebra?

12 votes
1 answer
694 views

Specific notions of forcing from the point of view of category theory

11 votes
2 answers
2k views

Large cardinals

10 votes
2 answers
650 views

New Foundations and weaker forms of choice

9 votes
1 answer
723 views

Creating Models of $ZFC$

8 votes
2 answers
707 views

Theorems proved with AD whose proof is also known in the ZF world

8 votes
1 answer
1k views

Can the continuum be a singular cardinal?

7 votes
1 answer
272 views

Kunen tree and Martin tree

6 votes
1 answer
468 views

Sets of reals and absoluteness

6 votes
1 answer
686 views

Borel reduction/Wadge hierarchy

6 votes
0 answers
171 views

A result of Steel on characterizing lightface pointclasses

6 votes
0 answers
3k views

Value of $\zeta(3/2)$?

5 votes
1 answer
595 views

Models of Determinacy

5 votes
1 answer
409 views

Large cardinal axioms and the perfect set property

5 votes
3 answers
511 views

A question about Mitchell/Steel Fine Structure and Iteration Trees

4 votes
1 answer
196 views

$\omega$-small and properly small premice.

4 votes
0 answers
534 views

Modern example of a reciprocity law and intuition behind it

4 votes
2 answers
504 views

Question about an example of forcing where we adjoin a new set of natural numbers

4 votes
1 answer
962 views

Shelah's proof of the independence of the Whitehead Problem

3 votes
2 answers
530 views

Some Pcf Theory

3 votes
1 answer
697 views

Counting stationary and c.u.b sets

3 votes
1 answer
4k views

A sequence with no convergent subsequence without choice

2 votes
1 answer
618 views

Finite axiomatizability and constructible sets

2 votes
1 answer
571 views

Moschovakis Coding Lemma

2 votes
2 answers
891 views

Collapsing cardinals before the first inaccessible

2 votes
1 answer
337 views

An assumption in pcf theory