Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 41274

Forcing is a method first used to prove the continuum hypothesis is independent of the classical axioms of set theory

7 votes
1 answer
255 views

Generic filters of inverse limits

There, $\mathbb P_\lambda$ is the $\lambda$-th step of an iterated forcing construction which is the inverse limit of the previous steps, and $G$ is a $V$-generic filter. …
Carlos's user avatar
  • 1,688
6 votes
1 answer
237 views

On the definition of $\alpha$-proper poset

I am reading Uri Abraham's chapter on Proper Forcing in the Handbook of Set Theory and I have a quite trivial question on the definition of $\alpha$-proper forcing. … In Proper and Improper Forcing, Shelah requires $i\in M_i$ in the definition of $\alpha$-tower, Abraham does not include this, but I have needed an even stronger hypothesis in order to prove that $(*)$ …
Carlos's user avatar
  • 1,688
7 votes
2 answers
829 views

Is the forcing relation defined for mathematical formulas?

My first question is that I suspect that this is also valid for the definition of the forcing relation $p\Vdash \phi$, i.e.: Question 1: Can the forcing relation $p\Vdash \phi$ be defined for mathematical … This question is related to theorem III 2.11 of Shelah's book Proper and Improper Forcing (second edition). …
Carlos's user avatar
  • 1,688
4 votes
0 answers
161 views

What is the meaning of restricting a Boolean value to a subalgebra?

However, I have no insight at all about the meaning of $u\mapsto u:e$ with regard to forcing. …
Carlos's user avatar
  • 1,688
4 votes
1 answer
293 views

The GCH in a reverse Easton support iteration

I am trying to understand the proof that the GCH can first fail at a weakly compact cardinal. We assume the GCH and that there exists a weakly compact cardinal $\kappa$, and we construct a reverse Eas …
Carlos's user avatar
  • 1,688
6 votes
1 answer
687 views

A question about the first Cohen model

I see that all the axioms have a clear translation in standard terms of forcing but the last one, which asserts more or less what I am trying to prove. …
Carlos's user avatar
  • 1,688
3 votes
1 answer
416 views

Representation of meager sets in Cohen extensions

Let $M$ be a transitive model of ZFC and $c\in {}^\omega2$ a Cohen real over $M$. Let $A$ be a meager Borel subset of $^\omega2$ in $M[c]$. I would like to prove that there exists a meager Borel set $ …
Carlos's user avatar
  • 1,688
6 votes
1 answer
374 views

Iteration of random reals

Consider two random reals $x, y$ over a transitive model $V$ of ZFC. More specifically, if $\mathcal C^V={}^\omega2$ is the Cantor space, composing the canonical homeomorphism with the projections $\m …
Carlos's user avatar
  • 1,688