As of May 31, 2023, we have updated our Code of Conduct.
WhyIsSetTheorySoHard's user avatar
WhyIsSetTheorySoHard's user avatar
WhyIsSetTheorySoHard's user avatar
WhyIsSetTheorySoHard
  • Member for 2 years, 4 months
  • Last seen more than 2 years ago
5 votes
0 answers
61 views

$\operatorname{Add}(\kappa, \lambda)$ is $\kappa^{+}$-cc

4 votes
1 answer
292 views

How EXACTLY does Tarski's undefinability of truth interfere with defining $\vDash$ for proper classes, and why doesn't it do so for sets?

3 votes
1 answer
112 views

(Proof Verification) Indecomposable (Limit) Ordinals

3 votes
0 answers
109 views

Intuition for the definition of $M[G]$ in forcing.

2 votes
1 answer
231 views

Questions about Absoluteness (Set Theory)

1 vote
1 answer
153 views

Showing that $ZFC$ can't prove the existence of Strongly Inaccessible Cardinals. Why the extra steps?

1 vote
1 answer
128 views

Hypotheses for Gödel's condensation lemma

1 vote
1 answer
152 views

Prove that $\Vdash_{Coll(\omega_1, \kappa)} \Diamond$ where $\kappa$ is the cardinal $2^{\aleph_0}$

0 votes
1 answer
142 views

Equivalent conditions for $M$-genericity

0 votes
0 answers
66 views

$Add(\omega, 1)$ forces $Add(\omega_1$, 1) to not be countably closed.

0 votes
1 answer
61 views

Complexity of a satisfaction relation