Search Results
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 |
Forcing is a method first used to prove the continuum hypothesis is independent of the classical axioms of set theory
5
votes
Accepted
References for Forcing with Side Conditions
Todorcevic, Notes on Forcing Axioms, Chapter 7.
Itay Neeman, Forcing with side conditions. Oberwolfach, 2011. http://www.math.ucla.edu/~ineeman/
B. Velickovic, G. Venturi, Proper forcing remastered. …
4
votes
Canonical functions in set theory and their applications
In belated partial response to (A), canonical functions are certainly already defined in the Jech-Shelah paper: A note on canonical functions, where reference is made to the work F. Galvin and A. Hajn …
11
votes
Forcing as a replacement of induction and diagonal arguments
If two $\tau$--structures $A$ and $B$ in a vocabulary $\tau$ are partially isomorphic, then there is a forcing extension in which they are isomorphic. … Several interesting results first proved by forcing are also listed in the answers to the question: https://mathoverflow.net/a/53887/57583 …
11
votes
0
answers
295
views
Preserving Jonsson cardinals
A forcing $\mathbb{P}$ is Jonsson-preserving if $(V, V^{\mathbb{P}})$ is Jonsson-friendly, where $V^{\mathbb{P}}$ is the family of $\mathbb{P}$-generic extensions of $V$. … It follows that for example every ccc forcing is Jonsson-preserving. …
4
votes
If every nonseparable metric space contains a sequence of subsets with no convergent subsequ...
This answer is the proof given by Ashutosh, but formulated in terms of the splitting number.
Proposition
If the splitting number $s$ is $\aleph_{1}$, then every nonseparable metric space contains a s …
6
votes
2
answers
581
views
If every nonseparable metric space contains a sequence of subsets with no convergent subsequ...
If every nonseparable metric space contains a sequence of subsets with no convergent subsequence, does the Continuum Hypothesis hold?
The answer is negative, and in the interests of self-contained it …
7
votes
Examples of ZFC theorems proved via forcing
, Forcing with ideals and simple forcing notions, Israel J. … And the same authors have more in:
More on simple forcing notions and forcing with ideals, APAL, 59 (1993), 219-238. …
5
votes
Forcing as a tool to prove theorems
An example from elementary geometry is the very simple forcing argument to establish the non-axiomatizability (in infinitary logic) of Sperner spaces, due to Blass and Pambuccian: Blass, A.; Pambuccian …