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

Notable mathematics during World War II

13 votes

What was Gödel's real achievement?

13 votes
Accepted

The Axiom of Determinacy and the Banach-Mazur game

10 votes
Accepted

Is the tree of large cardinals linear?

9 votes

Proper topological spaces

9 votes

Cardinalities larger than the continuum in areas besides set theory

7 votes

Limits of determinacy on reals

7 votes

Whatever happened to $L(j)$?

5 votes

How complicated is the formula expressing that a set is non-measurable?

5 votes

Weakly homogeneous trees under AD

4 votes

Kunen tree and Martin tree

4 votes
Accepted

About measurable sets and intervals

4 votes

$\omega$ universally Baire sets, tree representations

4 votes

Universal $(\Sigma^2_1)^{\text{Hom}_{\mathord{<}\lambda}}$ set

4 votes
Accepted

$\mathsf{AD}_\mathbb{R}$ and Elementary Embeddings

4 votes

Is there a universal way to force the Axiom of Choice to be true?

3 votes
Accepted

Martin-Solovay Tree of Weakly Homogeneous Tree under $\mathsf{AD}_\mathbb{R}$

3 votes

Measurable cardinals under Axiom of Determinacy

3 votes

Does the boldface class $\Delta^1_2$ have the uniformization property? (assuming $V=L$)

3 votes

Why is it useful to study vector bundles?

3 votes

What is the role of absoluteness in existence of a non-trivial self elementary embedding on an inner model?

2 votes

Sets that are not $\infty$-Borel

2 votes

Complexity of $\Vdash_{\mathbb{P}}$ when $\mathbb{P}$ is a class definable iteration

2 votes
Accepted

Countable $\mathbf\Sigma^1_2$ equivalence relations

1 vote

A version of the Martin–Solovay tree for $H_\kappa$

1 vote
Accepted

Seeking reference for absoluteness result in Omega-logic

1 vote
Accepted

Absoluteness and Tree Representations

1 vote

n odd: $\bf\Delta^1_n$ wadge degrees are $< \bf\delta^1_{n+1}$

1 vote

Demystifying the Caratheodory approach to measurability

1 vote

A question about the dispersion points of connected metric spaces