Question

If $\mathbb{P}\in M$ is atomless and the filter $G$ is $\mathbb{P}$-generic over M, then $G\not\in M$.

score 135 · Answer 1 · 2026-05-10 12:54:00

135

Views

If $\mathbb{P}\in M$ is atomless and the filter $G$ is $\mathbb{P}$-generic over M, then $G\not\in M$.

Published on 10 May 2026 - 12:54

score 264 · Answer 2 · 2026-04-29 12:55:12

264

Views

When do Generic sets exist?

Published on 29 Apr 2026 - 12:55

score 261 · Answer 3 · 2026-04-29 12:55:01

261

Views

Adding a non-reflecting stationary set

Published on 29 Apr 2026 - 12:55

score 192 · Answer 4 · 2026-04-29 12:55:24

192

Views

ZF + DC + LM + multiple inaccessible cardinals

Published on 29 Apr 2026 - 12:55

score 302 · Answer 5 · 2026-05-10 16:11:44

302

Views

The Deep Structure of the Real line

Published on 10 May 2026 - 16:11

score 305 · Answer 6 · 2026-04-29 12:55:09

305

Views

Is $M=\bigcap_G M[G]$?

Published on 29 Apr 2026 - 12:55

score 212 · Answer 7 · 2026-04-29 12:55:18

212

Views

If $M[G]\cap M[H]=M$, must $G\times H$ be generic?

Published on 29 Apr 2026 - 12:55

score 103 · Answer 8 · 2026-05-10 14:58:13

103

Views

Why is Feferman's generic hyperarithmetic set not implicitly definable?

Published on 10 May 2026 - 14:58

score 109 · Answer 9 · 2026-05-10 17:39:37

109

Views

Modifying a sequence of ordinals to be increasing and continuous. (To find names of small rank.)

Published on 10 May 2026 - 17:39

score 164 · Answer 10 · 2026-04-29 12:54:57

164

Views

Adding $\kappa$ Cohen reals, sets of hereditary cardinality $<\kappa$ are in some intermediate model.

Published on 29 Apr 2026 - 12:54

score 53 · Answer 11 · 2026-04-15 13:16:12

53

Views

Names determined by a condition

Published on 15 Apr 2026 - 13:16

score 62 · Answer 12 · 2026-04-16 08:09:21

62

Views

Names determined by a condition, 2

Published on 16 Apr 2026 - 8:09

score 143 · Answer 13 · 2026-04-29 12:55:19

143

Views

Forcing - The difference between thm 14.6 and exercise 14.8 in Thomas Jech 'Set Theory'?

Published on 29 Apr 2026 - 12:55

score 108 · Answer 14 · 2026-04-29 12:55:20

108

Views

If $\psi(x,\ldots)$ is a $\Delta_0$-formula then $\neg\psi(x,\ldots)$ if and only if $||\psi(\check{x},\ldots)||=0$

Published on 29 Apr 2026 - 12:55

score 106 · Answer 15 · 2026-04-15 21:16:48

106

Views

$Fn(\kappa \times \omega , \omega)$ has the countable chain condition.

Published on 15 Apr 2026 - 21:16

List Question

If $\mathbb{P}\in M$ is atomless and the filter $G$ is $\mathbb{P}$-generic over M, then $G\not\in M$.

When do Generic sets exist?

Adding a non-reflecting stationary set

ZF + DC + LM + multiple inaccessible cardinals

The Deep Structure of the Real line

Is $M=\bigcap_G M[G]$?

If $M[G]\cap M[H]=M$, must $G\times H$ be generic?

Why is Feferman's generic hyperarithmetic set not implicitly definable?

Modifying a sequence of ordinals to be increasing and continuous. (To find names of small rank.)

Adding $\kappa$ Cohen reals, sets of hereditary cardinality $<\kappa$ are in some intermediate model.

Names determined by a condition

Names determined by a condition, 2

Forcing - The difference between thm 14.6 and exercise 14.8 in Thomas Jech 'Set Theory'?

If $\psi(x,\ldots)$ is a $\Delta_0$-formula then $\neg\psi(x,\ldots)$ if and only if $||\psi(\check{x},\ldots)||=0$

$Fn(\kappa \times \omega , \omega)$ has the countable chain condition.

Trending Questions

Popular # Hahtags

Popular Questions