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, large cardinals, descriptive set theory, infinite combinatorics, cardinal characteristics, forcing axioms, ultrapowers, measures, reflection, pcf theory, models of set theory, axioms of set theory, independence, axiom of choice, continuum hypothesis, determinacy, Borel equivalence relations, Boolean-valued models, embeddings, orders, relations, transfinite recursion, set theory as a foundation of mathematics, the philosophy of set theory.
13
votes
1
answer
859
views
Ultrafilter theorem and translation invariant measures
The usual Vitali construction of a non-Lebesgue measurable set generalizes to a proof that there are no (non-trivial) translation invariant measures on $\mathcal P\mathbb R$.
On the other hand, there …
11
votes
1
answer
832
views
Erdős cardinals and ineffable cardinals
In Cantor's Attic it is stated that an $\omega$-Erdős cardinal is a stationary limit of ineffable cardinals, and Jech book is given as a reference, but I cannot find this result in that book. I have s …
10
votes
1
answer
343
views
On the definition of the $\alpha$-iterable cardinals
I am reading the paper Ramsey-like cardinals II by Victoria Gitman and Philip Welch (Journal of Symbolic Logic, vol. 76, no. 2. pp. 541-560, 2011) and maybe I am missing something.
According to the d …
10
votes
Accepted
Paradoxical Decompositions
A positive answer is proved in S. Wagon's book "The Banach-Tarski Paradox", Theorem 13.2. Specifically, the statement proved there is:
Con(ZF) $\leftrightarrow$ Con(ZF + DC + GM),
where GM is the ex …
10
votes
1
answer
450
views
Erdős cardinals and $0^\sharp$
It is well-known that if the Erdős cardinal $\kappa(\omega_1)$ exists, then $0^\sharp$ exists, but what if $\kappa(\lambda)$ exists for a limit ordinal $\omega_1^L\leq \lambda<\omega_1$? Does this sti …
9
votes
1
answer
1k
views
Uncountable disjoint closed coverings of $[0,1]$
It is well known that the unit interval $[0,1]$ cannot be decomposed as a countable union of pairwise disjoint closed (nonempty) subsets. See for instance this math.stackexchange question. The proof u …
8
votes
1
answer
168
views
Does being special on a club imply being special?
Let $T$ be an Aronszajn-tree, $C\subset \omega_1$ a club set and $f:\bigcup\limits_{\alpha\in C}T_\alpha\longrightarrow \mathbb Q$ a strictly increasing function (where $T_\alpha$ is the $\alpha$-leve …
7
votes
1
answer
576
views
Does OCA imply $2^{\aleph_0}=\aleph_2$?
Is it known whether Todorcevic's Open Coloring Axiom implies $2^{\aleph_0}=\aleph_2$?
The only consistency proofs for OCA that I know are the following:
1) PFA implies OCA (and also $2^{\aleph_0}=\a …
7
votes
1
answer
255
views
Generic filters of inverse limits
Maybe this doubt is silly, but I do not understand the final step of the proof of Lemma 5.2 in Hamkins' paper Fragile measurability, Journal of Symbolic Logic 59 (1994) 262-282.
There, $\mathbb P_\la …
7
votes
2
answers
829
views
Is the forcing relation defined for mathematical formulas?
Meta-matematical formulas of the language of set-theory (which are not sets, but just sequences of signs) should not be confused with mathematical ones (i.e. formulas coded as sets, e.g. finite sequen …
6
votes
Transfer of results from one model of set theory to another
Being an isomorphism between two (first order) structures is a $\Delta_0$-property, and hence, it is absolute for transitive models.
Thus, being isomorphic is a $\Sigma_1$-property, and it is upwards …
6
votes
2
answers
768
views
A question on rank-to-rank embeddings
Consider a non-trivial elementary embedding $j:V_\lambda\to V_\lambda$ and, for each $A\subset V_\lambda$, set $j(A)=\bigcup_{\delta<\lambda}j(A\cap V_\delta)$.
In Implications between strong large c …
6
votes
1
answer
237
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 def …
6
votes
1
answer
374
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 $\m …
6
votes
1
answer
687
views
A question about the first Cohen model
Consider the first Cohen model, i.e. let $M$ be a countable transitive model of ZFC + $V=L$, let $\mathbb P$ be the poset consisting of finite partial functions from $\omega\times\omega$ to $2$, let $ …