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

learn more… | top users | synonyms

4
votes
0answers
71 views

Preservation of Baumgartner's I-ultrafilters under various forcings

For $I\subset \mathcal{P}(2^\omega)$, an ultrafilter $U$ on $\omega$ is said to be an I-ultrafilter if for all $f:\omega \to 2^\omega$, there exists $A\in U$ such that $f''[A]\in I$ [Baumgartner]. In ...
3
votes
1answer
191 views

A kind of saturation property related to forcing notions

Forcing is typically done over well-founded models. There are lots of good reasons for this, but it can feel confining at times. Fortunately, we can equally well force over non-well-founded models! It ...
8
votes
2answers
595 views

Difference between Laver's and Mathias's forcing

Mathias forcing consists of conditions of the form $(s,A)$ where $s$ is a finite subset of $\omega$, $A$ is an infinite subset of $\omega$ such that $\max(s) < \min(A)$ and $(s,A)\leq (t,B)$ iff $s\...
5
votes
1answer
220 views

Why relative consistency results by forcing arguments are provable in finitistic metatheory

It is claimed in many textbooks that relative consistency results, such as $\text{Con}(\text{ZFC})\rightarrow\text{Con}(\text{ZFC}+2^{\aleph_0}\geq\aleph_2)$, are provable in the finitistic metatheory....
3
votes
1answer
122 views

Rigid structure which is generically homogeneous

Is it possible to have a structure $T$ in some language which is rigid in $V$, but in a cardinal-preserving extension $T$ is homogeneous (in a suitable sense of the word)? If this is not possible, is ...
10
votes
1answer
312 views

When are generic models not too wild?

This is a question related to ideas raised in http://arxiv.org/abs/1410.1224 and http://arxiv.org/pdf/1405.7456.pdf. Basically, the idea is the following: Suppose I have a first-order theory $T$. ...
1
vote
1answer
218 views

Sets of Vitali's type in models of $\mathsf{ZF}+\mathsf{GCH}$ where $V \neq L$

Consider sets of Vitali's type in models of $\mathsf{ZF}+\mathsf{GCH}$ where $V \neq L$. Are there sets of Vitali's type in both $L$ and $V \backslash L$? If so, is there any way one can distinguish ...
5
votes
1answer
208 views

A variant of Freiling's Axiom of Symmetry and a weak form of the Continuum Hypothesis in models where all sets of reals are Lebesgue measurable

Consider the following variant of Freiling's Axiom of Symmetry, $\mathsf{AS}$, which will be denoted $A_{< 2^{\aleph_0}}$: given any function $f$ from $\mathbb{R}$ into the families of of subsets ...
3
votes
1answer
242 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 $...
15
votes
3answers
672 views

Singularizing forcing of “small” cardinality?

Can there be a large cardinal $\kappa$ and a forcing of size $\kappa$ that makes $\kappa$ a singular cardinal? The motivation is that the standard Prikry forcing does not have a dense set of size $\...
12
votes
1answer
404 views

Changing cofinalities above supercompact cardinals

Question. Suppose $\kappa$ is a supercompact cardinal and $\lambda > \kappa$ is measurable (or even larger large cardinal if necessary). Is there a set generic extension of the universe in ...
11
votes
1answer
338 views

Singular in $V$ regular in $HOD$

Prikry forcing can be used to produce a model $V$ of $ZFC$ such that fo rsome cardinal $\kappa$ we have: (1) $\kappa$ is singular in $V$ of cofinality $\omega,$ (2) $\kappa$ is regular (and in fact ...
10
votes
0answers
314 views

c.c.c forcing notions and adding minimal generic reals

Is the following statement consistent: ``There is no non-trivial c.c.c forcing notion adding a minimal generic real''? The question is related to Prikry's question: Is it consistent that any ...
9
votes
1answer
299 views

Two questions about higher Souslin trees

Assume $V=L$ and let $\kappa$ be a Mahlo cardinal. Let $L[G]$ be the generic extension obatined by Mitchell forcing to make $2^{\aleph_0}=\aleph_2=\kappa.$ It is known that in the extension there are ...
16
votes
0answers
716 views

Souslin trees and weakly compact cardinals

In Souslin trees on the first inaccessible cardinal it is asked if it is consistent that there are no $\kappa-$Souslin trees at the least inaccessible cardinal $\kappa$. In this question I would like ...
15
votes
1answer
349 views

Namba forcing and semiproperness

This question is the result of leaving "Proper and Improper Forcing" on my nightstand by accident. Is the statement "Namba forcing is semiproper" known to be equiconsistent with some more standard ...
5
votes
2answers
666 views

A specific Model of ZFC

In his paper "Some Second Order Set Theory", Joel Hamkins asked whether there is a model of set theory $V$ that is elementary equivalent to $V[G]$, Whenever $G$ is $V$-generic for the collapse of a ...
6
votes
1answer
262 views

moving up a consequence of PFA

The Proper Forcing Axiom (PFA) implies that every forcing which adds a subset of $\omega_1$ either adds a real or collapses $\omega_2$. Is it consistent that every forcing which adds a subset of $\...
7
votes
1answer
203 views

$\mathsf{AD}_\mathbb{R}$ and Elementary Embeddings

Suppose $\mathsf{AD}_\mathbb{R} + V = L(\mathscr{P}(\mathbb{R})) + \mathsf{DC}$ holds. (We can use more if it is helpful.) I believe under $\mathsf{AD}_\mathbb{R}$, every $A \subseteq \mathbb{R}$ is ...
6
votes
0answers
127 views

Forcing in GBC, the ctm approach

There is a nice, detailed survey about forcing in GBC in the appendix of the dissertation of Jonas Reitz. At page 115 the author wrote: " If $ \Gamma $ is a finite collection of sentences forced by $ \...
6
votes
1answer
200 views

Theorem of Bukovsky characterizing ground models

It was mentioned in a talk that Bukovsky proved the following are equivalent for inner models $M \subseteq V$: (1) There is a partial order $\mathbb P \in M$ and a $\mathbb P$-generic filter $G \in V$...
6
votes
1answer
203 views

Fat stationary sets

Recall a stationary subset $S$ of a regular cardinal $\kappa$ is fat when for every $\alpha < \kappa$, and every club $C$, there is a closed set of order type $\alpha$ contained in $S \cap C$. It ...
5
votes
1answer
236 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 $\...
14
votes
3answers
826 views

Set-theoretic forcing over sites?

All texts I have read on set-theoretic independence proofs consider several different sorts of constructions separately, such as Boolean-valued models (equivalently, forcing over posets), permutation ...
5
votes
1answer
223 views

A button for individual reals

Hamkins introduced the notion of a "button" in forcing. This is a set-theoretic statement that can be forced, and can never be made false by further forcing. An example is $V \not= L$. Another ...
10
votes
0answers
229 views

A variant of strong ideals, is it consistent?

Is it consistent relative to large cardinals that there is a precipitous ideal on $\omega_1$ forcing a generic elementary embedding $j : V \to M \subseteq V[G]$, such that $j(\omega_1) = \omega_n^V$ ...
11
votes
1answer
414 views

Is it consistent with ZFC that no nontrivial forcing notion has automatic mutual genericity?

A nontrivial forcing notion $\newcommand\Q{\mathbb{Q}}\Q$ exhibits automatic mutual genericity, if whenever $G,H\subseteq\Q$ are distinct $V$-generic filters (existing, say, in some forcing extension ...
9
votes
1answer
286 views

Largeness and arithmetic progression properties of generic reals

Consider the following properties for a subset $A$ of $\mathbb{N}$: (1) $A$ is large: $\sum_{n \in A}$$ 1\over n$$=\infty,$ (2) $A^\infty=\limsup \frac{|A \cap \{ 1, \dots, n\}|}{n} >0$, (3) $A_\...
15
votes
2answers
478 views

capturing small sets in small factors

Suppose $\kappa$ is a regular cardinal and $P$ is a $\kappa$-c.c. partial order. I want to know when are small sets added by subforcings of size $<\kappa$. The following seems well-known: ...
1
vote
1answer
155 views

Absoluteness and Tree Representations

Suppose $T$ is a tree on $\omega \times \omega \times \delta$ for some ordinal $\delta$ is a homogeneous tree (with some coherent set of measures witnessing homoegeneity). ($T$ can have additional ...
12
votes
2answers
407 views

tree properties on $\omega_1$ and $\omega_2$

Are the following mutually consistent (relative to large cardinals)? (1) There are no $\omega_2$-Aronszajn trees. (2) There is an $\omega_1$-Kurepa tree. In the models I know of the tree property ...
5
votes
1answer
217 views

A Question on HOD, V and GCH

The theorem 1.1 of the following paper: Mohammad Golshani, V, HOD, and the GCH, Journal of Symbolic Logic. states that: Theorem: Assume $V\models ZFC+GCH+~\text{There exists a}~(\kappa+4)-\...
5
votes
0answers
166 views

Set theory and forcing from the point of view of a formal system $G^+$ of Gentzen type

There are four papers by Vladimir Alfeevich Kuznetsov, which discuss the above titled topic: (1) Some problems in set theory from the standpoint of a formal system G+ of Gentzen type. (Russian) Akad. ...
5
votes
1answer
271 views

Statements that Could be Forced by Ultrapowers

Ultrapower of a structure is a very flexible mathematical creature in comparison with the ground structure and its ordinary products. Depending on the nature of ground structure and the good ...
14
votes
1answer
251 views

Is the Martin's axiom number $\mathfrak m$ regular

The Martin's axiom number $\mathfrak m$ is the least cardinal $\kappa$ for which $\text{MA}_\kappa(\text{ccc})$ is false, i.e. the least cardinal such that there exists a ccc poset $P$ and a family $\...
12
votes
1answer
834 views

Reverse-engineer forcing: am I reinventing the wheel?

In the course of a project I’m working on, I’ve started playing around with a sort of “reverse-engineering” forcing. It seems interesting, but I have a sinking feeling I’m reinventing the wheel; does ...
7
votes
1answer
188 views

Can Sacks forcing add a Cohen generic real over $L$?

Motivated by this question Forcing the negation of CH without adding Cohen reals over L and Todd Eisworth's comment, the question is the following: 1) Suppose $V$ has no Cohen generic reals over $L$. ...
6
votes
1answer
302 views

Forcing the negation of CH without adding Cohen reals over L

Suppose CH + "there are no Cohen reals over L". Can we force the negation of CH without adding any Cohen real over L?
9
votes
6answers
691 views

Applications of forcing in model theory

What are the major applications of (set theoretic) forcing in model theory?
4
votes
0answers
145 views

Two questions about the behavior of the continuum function

The first question asks about the global behavior of the power function in the case of finite gaps. Question 1. Fix a natural number $m>1.$ For each limit ordinal $\alpha,$ including $0$, let $\...
5
votes
0answers
131 views

Failure of GCH at a strongly compact cardinal

Does Con(ZFC+ there exists a strongly compact cardinal) imply Con(ZFC+ there exists a strongly compact cardinal $\kappa+ 2^\kappa > \kappa^+$)?
6
votes
1answer
212 views

Elementary chains in forcing extensions of $M_1$

Let $M_1$ be the canonical inner model with one Woodin cardinal $\delta$. Now suppose that $\mathbb{P}$ is a forcing notion of size $< \delta$, which preserves $\omega_1$ and that $G$ is a generic ...
12
votes
1answer
263 views

When can Power Sets be Limit Cardinals?

My original question (posted in http://math.stackexchange.com/questions/1584430/can-all-power-sets-be-limit-cardinals) was: Is it possible to create a model of ZFC, so that the cardinality of each ...
6
votes
1answer
270 views

How many closed measure zero sets are needed to cover the real line, really?

This is a refinement of an earlier question. This question assumes familiarity with combinatorial cardinal characteristics of the continuum. For the reader's convenience, I reproduce below the ...
8
votes
1answer
386 views

How many closed measure zero sets are needed to cover the real line?

This question assumes familiarity with combinatorial cardinal characteristics of the continuum. Let $\mathcal{E}$ be the $\sigma$-ideal generated by closed measure zero subsets of the real line. It ...
4
votes
4answers
1k views

Where do Set Theory and Number Theory meet together?

As all know, by absoluteness theorems in Set Theory, most of theorems in number theory are $ZFC$-provable if and only if they are consistent with $ZFC$, it's because of absoluteness of essence of ...
5
votes
0answers
111 views

Gleason’s Theorem for non-separable Hilbert spaces: On a theorem of Solovay

Gleason’s theorem plays an important role in the foundations of quantum mechanics. On the positive side it demonstrates how the probabilistic structure of quantum theory follows from its logical ...
6
votes
0answers
190 views

Adding minimal subsets to $\aleph_\omega$

Given a cardinal $\kappa,$ recall that $X \subset \kappa$ is called fresh (over $V$), if $X \notin V,$ but $X \cap \alpha \in V$ for all $\alpha < \kappa.$ Question. Is it consistent that there ...
8
votes
1answer
180 views

Boolean-Valued Models: Why is $\| x=y \| \cdot \| \phi(x) \| \leq \| \phi(y) \|$?

Let $B$ be a complete Boolean algebra. Jech defines a Boolean-valued model $\mathfrak{A}$ of the language of set theory to consist of a Boolean universe $A$ and functions of two variables with values ...
3
votes
1answer
225 views

When can you canonically extend an ultrafilter after forcing?

Suppose that $V$ is a model of $\sf ZFC$, and fix some regular $\kappa$, say $\omega_1$ for practical purposes. Let $\cal U$ be an ultrafilter on $\omega_1$ in $V$ which is non-principal and even ...