Question

The collection of sets hereditarily definable from the ground model and generic reals

score 156 · Answer 1 · 2018-06-17 08:54:07

156

Views

The collection of sets hereditarily definable from the ground model and generic reals

Published on 17 Jun 2018 - 8:54

score 186 · Answer 2 · 2018-06-29 11:43:30

186

Views

Can a $\Delta_0$ formula $\varphi$ not be independent of ZFC?

Published on 29 Jun 2018 - 11:43

score 159 · Answer 3 · 2018-07-08 22:51:12

159

Views

Jech Set Theory: Proof that the separative quotient of a generic set is generic

Published on 08 Jul 2018 - 22:51

score 299 · Answer 4 · 2026-03-22 18:31:09

299

Views

Locales as spaces of ideal/imaginary points

Published on 22 Mar 2026 - 18:31

score 167 · Answer 5 · 2026-03-22 17:31:25

167

Views

Collapsing cardinal to its cofinality

Published on 22 Mar 2026 - 17:31

score 160 · Answer 6 · 2026-03-22 15:47:06

160

Views

The Boolean-valued model $V^B$ is extensional.

Published on 22 Mar 2026 - 15:47

score 176 · Answer 7 · 2018-08-02 08:45:56

176

Views

How does Amoeba forcing add a measure 1 set of random reals?

Published on 02 Aug 2018 - 8:45

score 48 · Answer 8 · 2026-03-25 03:03:05

48

Views

Application of forcing to first-order properties of rings

Published on 25 Mar 2026 - 3:03

score 130 · Answer 9 · 2018-08-28 18:33:52

130

Views

If $\mathbb{P}$ is an infinite notion of forcing then there is $H\subset \mathbb{P}$ such that $M[H]$ is not a model of ZFC.

Published on 28 Aug 2018 - 18:33

score 92 · Answer 10 · 2018-09-03 10:37:53

Iterated forcing and non-existance of a model $N$ such that $\langle G_n : n \in \omega \rangle \in N$ and $\text{o}(N) = \text{o}(M)$.

score 183 · Answer 11 · 2026-03-22 12:12:55

183

Views

A question on metamathematics of forcing.

Published on 22 Mar 2026 - 12:12

score 47 · Answer 12 · 2018-09-15 20:37:12

47

Views

Existence of a name which has elements with given truth values

Published on 15 Sep 2018 - 20:37

score 87 · Answer 13 · 2018-09-18 11:20:40

87

Views

Absoluteness of $\Delta_0$ formulas for Boolean-Valued models.

Published on 18 Sep 2018 - 11:20

score 67 · Answer 14 · 2026-03-22 00:09:05

67

Views

Question on $[\mathbb{N}]^{\omega}$

Published on 22 Mar 2026 - 0:09

score 99 · Answer 15 · 2018-10-07 04:05:32

99

Views

What's a good way to get an intuition for making forcing posets?

Published on 07 Oct 2018 - 4:05

List Question

The collection of sets hereditarily definable from the ground model and generic reals

Can a $\Delta_0$ formula $\varphi$ not be independent of ZFC?

Jech Set Theory: Proof that the separative quotient of a generic set is generic

Locales as spaces of ideal/imaginary points

Collapsing cardinal to its cofinality

The Boolean-valued model $V^B$ is extensional.

How does Amoeba forcing add a measure 1 set of random reals?

Application of forcing to first-order properties of rings

If $\mathbb{P}$ is an infinite notion of forcing then there is $H\subset \mathbb{P}$ such that $M[H]$ is not a model of ZFC.

Iterated forcing and non-existance of a model $N$ such that $\langle G_n : n \in \omega \rangle \in N$ and $\text{o}(N) = \text{o}(M)$.

A question on metamathematics of forcing.

Existence of a name which has elements with given truth values

Absoluteness of $\Delta_0$ formulas for Boolean-Valued models.

Question on $[\mathbb{N}]^{\omega}$

What's a good way to get an intuition for making forcing posets?

Trending Questions

Popular # Hahtags

Popular Questions