Question

Forcing names, parameters in definitions, and the Iterative Conception of Set

score 129 · Answer 1 · 2026-02-22 20:58:23

129

Views

Forcing names, parameters in definitions, and the Iterative Conception of Set

Published on 22 Feb 2026 - 20:58

score 346 · Answer 2 · 2015-12-19 13:45:08

346

Views

What is the intuitive meaning of the notion of absolutness in set theory?

Published on 19 Dec 2015 - 13:45

score 531 · Answer 3 · 2015-12-19 20:47:01

531

Views

Cardinality of power sets decides all of cardinal arithmetic?

Published on 19 Dec 2015 - 20:47

score 341 · Answer 4 · 2015-12-21 13:25:49

341

Views

Can all Power Sets be Limit Cardinals?

Published on 21 Dec 2015 - 13:25

score 429 · Answer 5 · 2015-12-24 22:38:24

429

Views

Is there a forcing extension $M[G]$ of $M$ that adds a new $\omega$-sized subset to $\omega_2$ without adding any new subsets of $\omega$?

Published on 24 Dec 2015 - 22:38

score 175 · Answer 6 · 2016-01-01 22:44:20

175

Views

Does ZF $\vdash$ Con(ZF) $\rightarrow$ Con(ZF+$\lnot$AC)?

Published on 01 Jan 2016 - 22:44

score 265 · Answer 7 · 2016-01-01 23:29:33

265

Views

Definition of the forcing relation in class-forcing

Published on 01 Jan 2016 - 23:29

score 155 · Answer 8 · 2016-01-03 02:37:55

155

Views

Is there is a real $r$ and a countable transitive model $M$ such that $r$ is not in any forcing extension of $M$?

Published on 03 Jan 2016 - 2:37

score 376 · Answer 9 · 2016-01-03 23:02:07

376

Views

Question about collapsing cardinals

Published on 03 Jan 2016 - 23:02

score 154 · Answer 10 · 2016-01-11 04:15:09

154

Views

If $M[G] \subseteq M[H]$ are forcing extensions, why is $M[H]$ a generic extension of $M[G]$?

Published on 11 Jan 2016 - 4:15

score 122 · Answer 11 · 2016-01-12 01:49:33

122

Views

Minimal Possible Ordinal for a Cardinal

Published on 12 Jan 2016 - 1:49

score 107 · Answer 12 · 2016-01-13 16:55:21

107

Views

Shelah's materialize vs. realize;note: tags are badly chosen due to the lack of them

Published on 13 Jan 2016 - 16:55

score 192 · Answer 13 · 2016-01-14 05:59:53

192

Views

What is forcing isomorphism?

Published on 14 Jan 2016 - 5:59

score 272 · Answer 14 · 2016-01-21 05:32:18

272

Views

Are two generic filters in a common generic extension?

Published on 21 Jan 2016 - 5:32

score 109 · Answer 15 · 2016-02-06 21:34:26

109

Views

In what sense does forcing increase the width of a set-theoretic hierarchy?

Published on 06 Feb 2016 - 21:34

List Question

Forcing names, parameters in definitions, and the Iterative Conception of Set

What is the intuitive meaning of the notion of absolutness in set theory?

Cardinality of power sets decides all of cardinal arithmetic?

Can all Power Sets be Limit Cardinals?

Is there a forcing extension $M[G]$ of $M$ that adds a new $\omega$-sized subset to $\omega_2$ without adding any new subsets of $\omega$?

Does ZF $\vdash$ Con(ZF) $\rightarrow$ Con(ZF+$\lnot$AC)?

Definition of the forcing relation in class-forcing

Is there is a real $r$ and a countable transitive model $M$ such that $r$ is not in any forcing extension of $M$?

Question about collapsing cardinals

If $M[G] \subseteq M[H]$ are forcing extensions, why is $M[H]$ a generic extension of $M[G]$?

Minimal Possible Ordinal for a Cardinal

Shelah's materialize vs. realize;note: tags are badly chosen due to the lack of them

What is forcing isomorphism?

Are two generic filters in a common generic extension?

In what sense does forcing increase the width of a set-theoretic hierarchy?

Trending Questions

Popular # Hahtags

Popular Questions