**6**

votes

**0**answers

100 views

### Which forcing types preserve the axiom of determinacy?

Do we have some rudimentary understanding of some properties that a forcing can have in order to guarantee that it doesn't violate the axiom of determinacy?
To be more specific, in Which forcings ...

**5**

votes

**2**answers

165 views

### Iteration of Proper Forcing and Support of Master Conditions

Suppose $\mathbb{P}$ is a definable proper forcing (for instance Sacks forcing). Let $\alpha$ be some ordinal. Let $\mathbb{P}_\alpha$ be the countable support iteration of $\mathbb{P}$ of length ...

**5**

votes

**1**answer

226 views

### Relationship between fragments of the axiom of choice and the dependent choice principles

The dependent choice principle ${\rm DC}_\kappa$ states that if $S$ is a nonempty set and $R$ is a binary relation such that for every $s\in S^{\lt\kappa}$, there is $x\in S$ with $sRx$, then there ...

**7**

votes

**1**answer

231 views

### Inaccessible becomes successor of singular

Is it possible, starting from any large cardinal assumption, to find a countably closed forcing $\mathbb{P}$ such that for some inaccessible $\kappa$, $\Vdash_\mathbb{P} "\kappa = \lambda^+$ and ...

**0**

votes

**0**answers

129 views

### A not defined notion in Friedman's article about Generalized Fubini's Theorem

I intend to study Friedman's article, A Consistent Fubini-Tonelli Theorem for Nonmeasurable Functions (http://projecteuclid.org/download/pdf_1/euclid.ijm/1256047607). I think since I had a modern ...

**6**

votes

**1**answer

162 views

### continuum many mutually generic filters

Given a countable model $M$ of set theory and an atomless, separative partial order $\mathbb{P} \in M$, can we construct (in the real universe) $2^\omega$ many pairwise mutually $\mathbb{P}$-generic ...

**3**

votes

**1**answer

87 views

### Boolean completion (of a forcing notion) isomorphic to each of its cones

Suppose $ \mathbb{P} := (P, {\leq_P}, 1_P) $ is a separative partial order. Let $ \mathbb{B} := \operatorname{RO}(\mathbb{P}) $ denote the Boolean completion.
Fix some dense embedding $ i \colon P ...

**4**

votes

**1**answer

175 views

### forcing square with small conditions

In the paper, Large cardinals and definable counterexamples to the continuum hypothesis, Foreman and Magidor mention a way to force $\square_{\omega_1}$ with countable conditions. (This is used in ...

**4**

votes

**2**answers

162 views

### Borel Sets in Sacks Generic Extension

Let $\mathbb{S}$ denote Sacks forcing. This is forcing with perfect trees or equivalently forcing with uncountable Borel subsets of ${}^\omega 2$ with the relation $\subseteq$.
Let $G \subseteq ...

**5**

votes

**1**answer

307 views

### Embeddings of forcing notions - preserve properness?

Let $ M $ be a countable, transitive model for $ \mathsf{ZFC}^* $, i.e. for a sufficiently large finite fragment of $ \mathsf{ZFC} $. Suppose that $ \mathbb{P} := (P, {\leq_P}, \mathbb{1}_P) \in M $ ...

**4**

votes

**2**answers

172 views

### Forcing $\neg AC$

Sorry if this sounds like a silly reference request, but I wasn't able to track down any. I'm looking for proof, via forcing, that axiom of choice can fail in a model of $ZF$. All of papers I found ...

**4**

votes

**1**answer

259 views

### Question about “Coding the universe”

The following is a result which I know as a weak form of Jensen's coding lemma$^*$ (first published in the book "Coding the universe"; also see http://www.jstor.org/stable/2273986):
For any class ...

**7**

votes

**1**answer

116 views

### Strongly compact cardinal with bad covering properties

This is a continuation of the question covering properties of strongly compact embedding.
Recall that a cardinal $\kappa$ is $\nu$-strongly compact cardinal if there is an elementary embedding ...

**15**

votes

**0**answers

367 views

### If all reals are generic, is the set of reals generic?

Let $W\subseteq V$ be two models of $\sf ZFC$ with the same ordinals. Is the following situation consistent:
For every $x\in\Bbb R^V$ there is some $P_x\in W$ such that for some $G\subseteq P_x$ ...

**7**

votes

**2**answers

193 views

### Does forcing with recursively pointed perfect trees add a Turing degree that is minimal over $V$?

A tree $T$ on $\omega$ is recursively pointed if it is recursive in each of its branches. We can consider a variant of Sacks forcing where the conditions are recursively pointed perfect trees ordered ...

**7**

votes

**1**answer

228 views

### Forcing, cuts, and Dedekind-finite cardinalities

Tl;dr version: there are two natural classes of cuts in the nonstandard model of arithmetic consisting of the Dedekind-finite sets (if, in fact, they constitute such a model); both these classes are ...

**10**

votes

**1**answer

298 views

### Elements of the method of forcing in some papers of N. N. Luzin

In the paper
Eléments de la méthode de forcing dans quelques travaux de N. N. Lousin. (French) [Elements of the method of forcing in some papers of N. N. Luzin] Amphora, 469–479, Birkhäuser, ...

**5**

votes

**1**answer

321 views

### On Consistency of an Existence

Let $\omega \leq \kappa <2^{\omega}$ , $\omega \leq\lambda \leq \kappa$ and $D(\kappa, \lambda)$ be the statement:
For all $ \mathfrak{B} \subseteq \mathbf{P}(\omega)$ with ...

**9**

votes

**2**answers

416 views

### Origin of the term “generic” in set theory

In set theory, in particular the context of forcing, if $M$ is a model of $\sf ZFC$ and $P\in M$ is a partial order, we say that $G\subseteq P$ is a generic filter (or $M$-generic or generic over $M$) ...

**3**

votes

**1**answer

96 views

### Ultrafilters of weight $\aleph_2$ in Sacks model

It is well-known that in Sacks model there are P-points and even Ramsey ultrafilters, but what the usual (i.e. findable in the literature) proofs for these facts do is proving that ground model ...

**2**

votes

**1**answer

207 views

### Partial interpretation of an iteration

Suppose that $\langle\mathbb{P_\alpha,\dot Q_\beta}\mid \beta<\delta,\alpha\leq\delta\rangle$ is a system of iterated forcing.
Let $\dot a$ be a name in $\mathbb P_\delta$, and let $G_\alpha$ be a ...

**11**

votes

**1**answer

348 views

### The independence number

I have been reading about cardinal invariants and I have a question about the independence number $\mathfrak{i}$. In Blass's paper (Combinatorial Characteristics of the Continumm) it is mention that ...

**9**

votes

**1**answer

314 views

### splitting subsets of cardinals

Suppose $\mathbb{P}$ is a separative partial order of uniform density $\kappa$, i.e. for all $p \in \mathbb{P}$, the least size of dense set below $p$ is $\kappa$. Does forcing with $\mathbb{P}$ add ...

**8**

votes

**1**answer

225 views

### Destroying the Mahloness of a cardinal with $\kappa$.c.c. forcing

Question: Is it possible to have a Mahlo cardinal $\kappa$ such that there is a $\kappa$.c.c. forcing that makes it non-Mahlo?
If this is possible then this forcing must change the cofinality of all ...

**6**

votes

**1**answer

222 views

### Characterization of intermediate submodels of generic extensions

Question 1: Suppose that $V[G]$ is a set generic extension of $V$ by some forcing notion $P\in V,$ and suppose that $W$ is a model of $ZFC, V \subset W \subset V[G].$ Can we find a forcing notion ...

**2**

votes

**1**answer

145 views

### Intermediate Extensions Determined by Reals

Does there exist a forcing $P$ which adds a generic real in the sense that $V[G] = V[x]$ for some $x \in ({}^\omega\omega)^{V[G]}$, and for all reals $y \in ({}^\omega\omega)^{V[G]}$, if $V[y] \neq ...

**5**

votes

**1**answer

268 views

### Ultraproduct of Forcing Extensions & Forcing Extension of Ultraproduct

Notation:
$M[{\mathbb{P}}:G]$ denotes the forcing extension of $M$ by $\mathbb{P}$-generic filter $G$.
$\prod_{\mathcal{F}}\langle M_i~|~i\in I\rangle$ denotes the ultraproduct of models using the ...

**5**

votes

**2**answers

163 views

### absorption of strategically closed posets

It is a (folklore?) fact that if $\kappa$ is a regular cardinal, and $\mathbb{P}$ is a $\kappa$-closed poset such that $\Vdash_\mathbb{P} |\mathbb{P}| = \kappa$, then $\mathbb{P}$ is equivalent to ...

**7**

votes

**1**answer

147 views

### Preservation of ultrafilters by Sacks forcing

It is well-known that, if $p$ is a Ramsey (selective) ultrafilter on $\omega$, then after adding a Sacks real $p$ remains an ultrafilter (well, it's really the upwards closure of $p$ the one that's an ...

**10**

votes

**0**answers

168 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 ...

**4**

votes

**1**answer

137 views

### Absoluteness between $L_\kappa$ and $L$

Working in $L$, suppose $L \models \kappa$ is a cardinal and $(\mathbb{P}, <) \in L_\kappa$. Let $\varphi(x)$ be a $\Sigma_1^1$ formula. Let $\tau \in L_\kappa$ be a $\mathbb{P}$-name for an ...

**2**

votes

**1**answer

160 views

### Some random questions about forcing

Are there more general forms of forcing, in any of the following senses?
1) The forcing adds new ordinals to $M[G]$.
2) The forcing is developed on a less or more restrictive form of $\mathbb{P}$ ...

**4**

votes

**1**answer

169 views

### Can a Measureable Cardinal Become the Least Weakly Compact Cardinal in a Forcing Extension?

I am trying to establish whether it is consistent that some property holds at the least weakly compact cardinal. I know that the property holds at measureables.
Hence (hoping everything else goes ...

**10**

votes

**1**answer

322 views

### Does small forcing preserve CH?

Suppose CH holds and $\mathbb{P}$ is a poset of size $\omega_1$, such that forcing with $\mathbb{P}$ preserves $\omega_1$. Does forcing with $\mathbb{P}$ preserve CH? If $\mathbb{P}$ is proper then ...

**10**

votes

**2**answers

583 views

### Questions about Prikry forcing and Cohen forcing

I have some questions.
The first one is about the product of Prikry's forcing.
Let $\kappa$ be a measurable cardinal, $U_1, U_2$ be normal measures on $\kappa$ and let $\mathbb{P}_{U_1}, ...

**3**

votes

**1**answer

246 views

### What year was Hechler forcing created?

Hechler forcing is described on page 278, Jech.
Does anyone know when Hechler forcing was first used in a publication?

**10**

votes

**0**answers

245 views

### cardinals below the critical point of a generic embedding

This may be an easy question. Are the cardinals below the critical point of a precipitous ideal embedding always absolute between the generic ultrapower and the generic extension?
To focus on the ...

**8**

votes

**2**answers

237 views

### Forcing with Nontransitive Models

A common approach to forcing is to use countable transitive model $M \in V$ with $\mathbb{P} \in M$ and take a $G \in M$ (which always exists) to form a countable transitive model $M[G]$. Another ...

**5**

votes

**1**answer

202 views

### $\omega$ universally Baire sets, tree representations

I've recently encountered the notion of a universally Baire set, and I've tried to look at the paper by Feng, Magidor and Woodin where this notion is studied. There are several points that confuse me.
...

**13**

votes

**0**answers

562 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 ...

**8**

votes

**2**answers

294 views

### The (non-)absoluteness of second-order elementary equivalence

Elementary equivalence is set-theoretically absolute between any two transitive models of set theory; this is also true for the infinitary logics - e.g., $\mathcal{L}_{\omega_1\omega}$ - at least, ...

**7**

votes

**1**answer

126 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. Since there are many equivalent ...

**8**

votes

**2**answers

1k views

### Is there a Hotel California of set-theoretic geology?

Is there a universe which can always be forced to, which never can be forced from?

**3**

votes

**1**answer

183 views

### Adding Generic Reals to Forcing Extensions

I'm following the Jech's Multiple Forcing for a seminar group and I intend to show how to add one or some reals to extensions.
I studied Solovay's model and I can see why learning how to add random ...

**16**

votes

**2**answers

457 views

### Is the notion of fixed point property for topological spaces an absolute notion?

Recall that a topological space $X$ has the fixed point property (FPP) if any continuous function $f: X\to X$ has a fixed point.
Is the notion of FPP for topological spaces an absolute notion? More ...

**2**

votes

**0**answers

102 views

### Does the Lévy collapse obey this nice characterization? [duplicate]

This question is related to an issue in my answer to Monroe Eskew's question on the failure of Cantor-Bernstein for the Lévy collapse.
Question. Is the Lévy collapse $\text{Coll}(\omega,\lt\kappa)$ ...

**6**

votes

**1**answer

170 views

### Failure of Cantor-Bernstein for the Levy Collapse

Related to this question, is it possible to give an example of the failure of Cantor-Bernstein for complete embeddings of forcing notions involving the Levy Collapse $Col(\omega,<\kappa)$? Suppose ...

**2**

votes

**1**answer

206 views

### Forcing Notions with Unknown Real/Cardinal Preserving Situations

Question. Is there any set forcing notion $\mathbb{P}$ in one of the following categories?
(a) $\mathbb{P}$ preserves cardinals but it is still open whether $\mathbb{P}$ adds reals or not.
(b) ...

**5**

votes

**1**answer

147 views

### Function Approximation in c.c.c Forcings without AC in Ground Model

Consider the following basic theorem.
Theorem. If $M$ is a c.t.m of ZFC and $\mathbb{P}$ a c.c.c forcing notion in $M$ and $G$ a $\mathbb{P}$ - generic filter on $M$ then for all $A,B$ in $M$ and for ...

**1**

vote

**3**answers

293 views

### Can the structure of an ultrafilter determine the structure of its ultrapower?

Usually we work with ultrafilters as pure sets without any structure.
Q1. Is there any important notion of structure on an ultrafilter?
Q2. Is there any non-trivial notion of structure on ...