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

**10**

**0**answers

### On the Number of Parallel Automorphism Lines

**13**

**1**answer

### Do choice principles in all generic extensions imply AC in $V$?

**4**

**1**answer

### What are examples of non-equivalent virtualizations of a large cardinal?

**3**

**1**answer

### On the Actual Potential of Virtual Large Cardinals

**6**

**0**answers

### Does $0^{\#}$ imply that $L$'s set generic multiverse has irreconcilable theories?

**8**

**3**answers

### Locales as spaces of ideal/imaginary points

**14**

**1**answer

### What is the modal logic of outer multiverse?

**2**

**1**answer

### Problem on reading Jech's set theory about forcing (of Lemma 15.19)

**23**

**1**answer

### Forcing and Family Contentions: Who wins the disputes?

**3**

**0**answers

### Non-special $\aleph_2$-Aronszajn trees in the Laver-Shelah model for $\aleph_2$-Souslin hypothesis

**9**

**0**answers

### Analogue of strong stationary reflection from MM

**4**

**0**answers

### Generic two-cardinal behavior of first-order sentences

**14**

**0**answers

### Cohen/Random reals over intermediate models in countable support iterations

**11**

**2**answers

### Does $0^{\#}$ imply the failure of upward directedness in the set generic universe over $L$?

**6**

**1**answer

### Boolean ultrapower of V[G] by G

**9**

**2**answers

### On Applications of Forcing in Domain Theory

**6**

**1**answer

### distributivity of termspace forcing

**3**

**1**answer

### Strong Total Failures vs. Weak Instances of the Generalized Continuum Hypothesis

**5**

**1**answer

### Negation of CH implied by lots of special subtrees?

**9**

**2**answers

### Does Easton forcing preserve measurable cardinals?

**20**

**1**answer

### When will the real numbers be Borel?

**28**

**2**answers

### What is the dimension of the mathematical universe?

**9**

**0**answers

### How many iterations of inner models/generic extensions are sufficient?

**2**

**0**answers

### Which spaces are still Lindelöf after forcing with a Suslin tree?

**48**

**2**answers

### How to add essentially new knots to the universe?

**16**

**0**answers

### Gitik's work on Shelah's weak hypothesis

**4**

**0**answers

### Iterations of proper forcings defined in an inner model

**7**

**0**answers

### Specializing fat trees

**6**

**1**answer

### Intersection of two generic extensions

**4**

**0**answers

### Chain condition in iterated forcing

**3**

**1**answer

### Measurably-isomorphic subsets of polish spaces and the continuum hypothesis

**6**

**1**answer

### fake and weak cardinals

**3**

**0**answers

### distributivity of club shooting forcing destroyed in the limit

**4**

**0**answers

### weak square and tower forcing

**14**

**2**answers

### Proper topological spaces

**14**

**2**answers

### Is there a universal way to force the Axiom of Choice to be true?

**10**

**1**answer

### Complexity of $\Vdash_{\mathbb{P}}$ when $\mathbb{P}$ is a class definable iteration

**7**

**0**answers

### Direct limits of $\sigma$-centered forcing notions

**4**

**1**answer

### How to kill a $\Sigma_{n+1}$-correct cardinal softly(n>1)?

**14**

**3**answers

### Forcings predicted by core model theory $+$$ZFC$ results proved by the method of core model theory

**6**

**0**answers

### Combinatorial characterizations of potentially countably chromatic graphs

**7**

**1**answer

### Countable support iteration of proper forcings and the tree property

**6**

**2**answers

### Characterizations of infinite compact Abelian groups and probability spaces based on the forcing notion they give

**5**

**1**answer

### preservation of forcing rigidity in iterations

**7**

**1**answer

### What are the typical forcings to shoot a club through a stationary subset of $[\lambda]^\omega$

**22**

**1**answer

### Is the axiom $\Diamond\Box\varphi\to\Box\Diamond\varphi$ in c.c.c. forcing potentialism equivalent to the productivity of c.c.c. forcing?

**10**

**0**answers

### Iterated forcing with distributive forcing notions

**7**

**1**answer

### Restrictions of the Stationary Tower forcing providing various critical points

**10**

**1**answer

### Ways to add Aronszajn trees which are neither Souslin nor special

**6**

**0**answers