Question

Dense embeddings between forcing posets

score 119 · Answer 1 · 2022-01-21 18:00:10

119

Views

Dense embeddings between forcing posets

Published on 21 Jan 2022 - 18:00

score 71 · Answer 2 · 2022-01-29 22:28:30

71

Views

Boolean-Valued models on a proper class universe

Published on 29 Jan 2022 - 22:28

score 29 · Answer 3 · 2022-01-29 22:41:07

29

Views

Jech Set Theory Lemma 14.18 proof

Published on 29 Jan 2022 - 22:41

score 158 · Answer 4 · 2022-01-31 11:27:07

158

Views

About dense sets used in the definition of forcing equality?

Published on 31 Jan 2022 - 11:27

score 178 · Answer 5 · 2022-02-03 17:45:55

178

Views

Computability and Forcing

Published on 03 Feb 2022 - 17:45

score 161 · Answer 6 · 2022-03-08 16:40:03

161

Views

Further question on previous post "What Does the Forcing Relation Mean Semantically"

Published on 08 Mar 2022 - 16:40

score 645 · Answer 7 · 2022-03-14 18:01:51

645

Views

To study Forcing

Published on 14 Mar 2022 - 18:01

score 155 · Answer 8 · 2022-03-20 00:36:30

155

Views

Destroying the Mahloness of $\kappa$ with a forcing of size $\kappa$ that is $\alpha$-distributive for all $\alpha<\kappa$

Published on 20 Mar 2022 - 0:36

score 131 · Answer 9 · 2026-03-26 16:06:27

131

Views

How to more rigorously formalise “value of (Weaver's) P-name” in set theory forcing (recursion)?

Published on 26 Mar 2026 - 16:06

score 75 · Answer 10 · 2022-04-01 10:51:25

75

Views

why does the union of a generic filter cannot be the zero function?

Published on 01 Apr 2022 - 10:51

score 44 · Answer 11 · 2022-04-08 18:56:53

44

Views

$FA_{\kappa}(\mathbb{P}) \iff BFA_{\kappa}(\mathbb{P})$, if $\mathbb{P}$ is a $\kappa^+$-cc poset.

Published on 08 Apr 2022 - 18:56

score 67 · Answer 12 · 2022-04-19 08:52:27

67

Views

About Countable Support iteration of Proper forcing notions and CH

Published on 19 Apr 2022 - 8:52

score 54 · Answer 13 · 2022-04-20 22:29:45

54

Views

How to prove that the definitions of $MA_{\kappa}$ and $FA_{\kappa}(ccc)$ are equivalents

Published on 20 Apr 2022 - 22:29

score 66 · Answer 14 · 2022-05-06 08:44:51

66

Views

A property of product forcing

Published on 06 May 2022 - 8:44

score 35 · Answer 15 · 2022-05-09 18:21:11

35

Views

Forcing relation: names and check names

Published on 09 May 2022 - 18:21

List Question

Dense embeddings between forcing posets

Boolean-Valued models on a proper class universe

Jech Set Theory Lemma 14.18 proof

About dense sets used in the definition of forcing equality?

Computability and Forcing

Further question on previous post "What Does the Forcing Relation Mean Semantically"

To study Forcing

Destroying the Mahloness of $\kappa$ with a forcing of size $\kappa$ that is $\alpha$-distributive for all $\alpha<\kappa$

How to more rigorously formalise “value of (Weaver's) P-name” in set theory forcing (recursion)?

why does the union of a generic filter cannot be the zero function?

$FA_{\kappa}(\mathbb{P}) \iff BFA_{\kappa}(\mathbb{P})$, if $\mathbb{P}$ is a $\kappa^+$-cc poset.

About Countable Support iteration of Proper forcing notions and CH

How to prove that the definitions of $MA_{\kappa}$ and $FA_{\kappa}(ccc)$ are equivalents

A property of product forcing

Forcing relation: names and check names

Trending Questions

Popular # Hahtags

Popular Questions