Question

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

score 127 · Answer 1 · 2026-03-20 04:52:46

127

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 20 Mar 2026 - 4:52

score 259 · Answer 2 · 2026-03-16 22:40:22

259

Views

When do Generic sets exist?

Published on 16 Mar 2026 - 22:40

score 257 · Answer 3 · 2026-03-17 04:50:26

257

Views

Adding a non-reflecting stationary set

Published on 17 Mar 2026 - 4:50

score 187 · Answer 4 · 2026-03-17 11:23:09

187

Views

ZF + DC + LM + multiple inaccessible cardinals

Published on 17 Mar 2026 - 11:23

score 296 · Answer 5 · 2026-03-25 03:01:42

296

Views

The Deep Structure of the Real line

Published on 25 Mar 2026 - 3:01

score 300 · Answer 6 · 2026-03-17 00:15:23

300

Views

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

Published on 17 Mar 2026 - 0:15

score 207 · Answer 7 · 2026-03-17 16:35:37

207

Views

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

Published on 17 Mar 2026 - 16:35

score 98 · Answer 8 · 2018-04-17 20:07:23

98

Views

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

Published on 17 Apr 2018 - 20:07

score 104 · Answer 9 · 2018-05-02 15:34:57

104

Views

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

Published on 02 May 2018 - 15:34

score 160 · Answer 10 · 2018-05-16 16:08:21

160

Views

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

Published on 16 May 2018 - 16:08

score 50 · Answer 11 · 2026-03-16 23:18:57

50

Views

Names determined by a condition

Published on 16 Mar 2026 - 23:18

score 58 · Answer 12 · 2026-03-17 01:51:04

58

Views

Names determined by a condition, 2

Published on 17 Mar 2026 - 1:51

score 138 · Answer 13 · 2018-05-26 14:30:26

138

Views

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

Published on 26 May 2018 - 14:30

score 103 · Answer 14 · 2018-06-11 12:45:21

103

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 11 Jun 2018 - 12:45

score 103 · Answer 15 · 2026-03-17 20:51:32

103

Views

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

Published on 17 Mar 2026 - 20:51

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