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 57583

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. …
Avshalom's user avatar
  • 2,111
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 …
Avshalom's user avatar
  • 2,111
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 …
Avshalom's user avatar
  • 2,111
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. …
Avshalom's user avatar
  • 2,111
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 …
Avshalom's user avatar
  • 2,111
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 …
Avshalom's user avatar
  • 2,111
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 …
Avshalom's user avatar
  • 2,111