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 41274

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 …
Carlos's user avatar
  • 1,688
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 …
Carlos's user avatar
  • 1,688
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 …
Carlos's user avatar
  • 1,688
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 …
Carlos's user avatar
  • 1,688
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 …
Carlos's user avatar
  • 1,688
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 …
Carlos's user avatar
  • 1,688
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 …
Carlos's user avatar
  • 1,688
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 …
Carlos's user avatar
  • 1,688
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 …
Carlos's user avatar
  • 1,688
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 …
Carlos's user avatar
  • 1,688
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 …
Carlos's user avatar
  • 1,688
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 …
Carlos's user avatar
  • 1,688
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 …
Carlos's user avatar
  • 1,688
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 …
Carlos's user avatar
  • 1,688
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 $ …
Carlos's user avatar
  • 1,688

15 30 50 per page