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 ...

learn more… | top users | synonyms

4
votes
2answers
190 views

Generic Ultrapower as a Class

If $X$ is a set and $I$ is an ideal on $X$. Let $\mathbb{P}$ be the forcing poset consisting of $I^+$ subsets of $X$ with the subset partial ordering. Let $G$ be $\mathbb{P}$-generic filter over $M$, ...
10
votes
0answers
249 views

cardinals below the critical point of a generic embedding

This may be an easy question. Are the cardinals below the critical point of a precipitous ideal embedding always absolute between the generic ultrapower and the generic extension? To focus on the ...
10
votes
1answer
339 views

Applications of SCH outside of set theory

Recall that the Singular Cardinals Hypothesis (SCH) says that if $\kappa$ is a singular cardinal and $2^{cf(\kappa)}<\kappa,$ then $\kappa^{cf(\kappa)}=\kappa^+.$ Clearly it has many applications ...
8
votes
2answers
251 views

Forcing with Nontransitive Models

A common approach to forcing is to use countable transitive model $M \in V$ with $\mathbb{P} \in M$ and take a $G \in M$ (which always exists) to form a countable transitive model $M[G]$. Another ...
7
votes
2answers
530 views

$\aleph$ looks like $\mathbb N$?

We all know the notation $\aleph_\lambda$ for the $\lambda$th (or, I guess, $\lambda+1$st) infinite cardinal number; in particular $\aleph_0$ is the cardinality of the the set of natural numbers ...
12
votes
0answers
560 views

Does every Aronszajn tree has a Suslin or a Special subtree?

Question: Does every $\omega_1$-Aronszajn tree contains a Suslin sub-tree or a special Aronszajn sub-tree? Recall that Suslin trees are $\omega_1$-trees (trees of height $\omega_1$, and countable ...
14
votes
2answers
474 views

Pathological behavior of Borel sets?

Usually in set theory, Borel sets are much more nicely behaved than arbitrary sets of reals. One reason for this is Borel determinacy, which immediately yields measurability, Baireness, and the ...
5
votes
1answer
214 views

$\omega$ universally Baire sets, tree representations

I've recently encountered the notion of a universally Baire set, and I've tried to look at the paper by Feng, Magidor and Woodin where this notion is studied. There are several points that confuse me. ...
6
votes
1answer
214 views

regularity of ultrafilters

An ultrafilter $U$ is $(\mu,\kappa)$-regular if there is a sequence $\langle X_\alpha : \alpha < \kappa \rangle \subseteq U$ such that for all $y \in [\kappa]^\mu$, $\bigcap_{\alpha \in y} X_\alpha ...
8
votes
2answers
398 views

Covering the space by disjoint unit circles

Sierpinski has proved the following two interesting theorems. Theorem 1. The Euclidean plane $\mathbb{R}^2$ is not a union of nondegenerate disjoint circles. Theorem 2. The Euclidean space ...
7
votes
2answers
319 views

Which linearly ordered sets have the property that their completion is equipotent with their powerset?

As is well-known, ZFC proves the equipotency of $\mathbb{R}$ and $\mathcal{P}(\mathbb{Q}).$ Is there a nice characterization of those linearly ordered sets $L$ which, like $\mathbb{Q}$, have the ...
13
votes
0answers
566 views

Souslin trees and weakly compact cardinals

In Souslin trees on the first inaccessible cardinal it is asked if it is consistent that there are no $\kappa-$Souslin trees at the least inaccessible cardinal $\kappa$. In this question I would like ...
10
votes
2answers
425 views

Does there exist a supercompactness theorem?

Large cardinals such as weakly compact cardinals, measurable cardinals, strongly compact cardinals, and extendible cardinals all can be characterized in terms of a certain compactness theorem of ...
8
votes
2answers
310 views

The (non-)absoluteness of second-order elementary equivalence

Elementary equivalence is set-theoretically absolute between any two transitive models of set theory; this is also true for the infinitary logics - e.g., $\mathcal{L}_{\omega_1\omega}$ - at least, ...
8
votes
1answer
280 views

Canonical model for $\neg\mathsf{CH}$ and $\Omega$-logic

Recently I found this book by Woodin. In the introduction of it the author writes the following: The main result of this book is the identification of a canonical model in which the Continuum ...
5
votes
0answers
114 views

A result of Steel on characterizing lightface pointclasses

In the article Projectively wellordered inner models, Steel proves the following theorem (4.12): Theorem: Let $n < \omega$ and suppose $\mathcal{M}_n^{\sharp}$ exists. Let ...
7
votes
1answer
131 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 ...
5
votes
2answers
180 views

Can we have a $\kappa$-Suslin tree where $\kappa$ is above a measurable cardinal?

Question: Can we have a set theory in which there exists a $\kappa$-Suslin tree with $\kappa$ larger than the least measurable cardinal? A $\kappa$-Suslin tree is a tree with levels indexed by ...
-2
votes
1answer
154 views

is the existence of an inaccessible cardinal stronger than just CON(ZFC)? [closed]

is it even stronger than that ZFC has a transtitive model?
1
vote
3answers
286 views

Why doesn't choice imply global choice (in NBG)?

I thought ZFC proved the existence of an inductive well-ordering that is itself a set for any stage of V. NBG with only the regular AC should then prove/assert the existence of a class R of ordered ...
6
votes
1answer
196 views

questions about worldly cardinals

A cardinal $\kappa$ is worldly if $V_\kappa$ is a model of ZFC. How many $\beth$-fixed points are there smaller than the smallest worldly cardinal? How many worldly cardinals are there smaller than ...
17
votes
1answer
256 views

Linear maps between arbitrarily chosen vectors of vector spaces $V$ and $W$

I recently came across this question: Is the axiom of choice needed to prove the following statement: Let $V, W$ be vector spaces, and suppose $V \neq \{0\}$. Let $v \in V$, $v \neq 0$, $w \in W$. ...
5
votes
1answer
246 views

Woodin Cardinals and Inner Models

I have a few questions I have been thinking about that I could definitely use some insights on: Question 1. Since a Woodin cardinal is a "local" notion, defined with respect to some rank-initial ...
8
votes
2answers
1k views

Is there a Hotel California of set-theoretic geology?

Is there a universe which can always be forced to, which never can be forced from?
6
votes
1answer
401 views

Order homomorphism functions on $\omega_1$

Let $\omega_1$ be the first uncountable ordinal, same as the set of all countable ordinals. Let $F$ be the set of all functions $f$ from $\omega_1$ minus singleton $0$ into $\omega_1$ that are (a) ...
9
votes
1answer
359 views

Finitely generated group with $\aleph_0<X_G<2^{\aleph_0}$ normal subgroups?

Let $X_G$ be the number of normal subgroups of a group $G$. Are there examples of finitely generated groups $G$ where it is consistent to have $\aleph_0<X_G<2^{\aleph_0}$ normal subgroups? Also ...
1
vote
1answer
187 views

Would a non-constructible set become constructible if we had oracles of arbitrarily high cardinality for the halting problems of ordinal computers?

I still have trouble to grasp the concept of a non-constructible set, my intuition is that we could "avoid" the non-constructibility of many of them if we assume we have "ordinal computers" extended ...
3
votes
1answer
188 views

Adding Generic Reals to Forcing Extensions

I'm following the Jech's Multiple Forcing for a seminar group and I intend to show how to add one or some reals to extensions. I studied Solovay's model and I can see why learning how to add random ...
16
votes
2answers
470 views

Is the notion of fixed point property for topological spaces an absolute notion?

Recall that a topological space $X$ has the fixed point property (FPP) if any continuous function $f: X\to X$ has a fixed point. Is the notion of FPP for topological spaces an absolute notion? More ...
1
vote
1answer
396 views

Compactness and completeness in Gödel logic

The standard proof of the completeness theorem in first-order Gödel logic is based on a first-order countable language. I want to know that is there any proof of the completeness theorem in ...
10
votes
1answer
387 views

Ground Axiom and behaviors of continuum function

The Ground Axiom ($GA$) is the assertion that the universe of sets ($V$) is not a forcing extension of any inner model $W$ by nontrivial forcing $P\in W$. Is $GA$ consistent with any possible ...
8
votes
3answers
617 views

What set theoretical questions could never be answered by Turing machines of arbitrary cardinality?

Let us assume that there are Turing machines of arbitrary cardinality, by that I mean they can have input tapes of any arbitrarily high cardinality and compute for a number of steps also of ...
1
vote
1answer
79 views

Is there such a sufficient condition for “$X$ is a stationary subset of uncountable regular $\kappa$” involving limit points?

If $X$ is a set of ordinals, define $f(X, \alpha)$ such that $f(X, 0) = X$, $f(X, \beta + 1) = f(X, \beta) \cap Lim(f(X, \beta))$, where $Lim(Y) = \{$limit points of $Y\}$, and $f(X, \gamma) = \bigcap ...
4
votes
1answer
220 views

Perfect set property implies $\omega_1$ is a limit cardinal in $L$

Specker proved in 1957 that if in $V$ every set of real numbers has the perfect set property, than in $L$, $\omega_1^V$ is actually a limit cardinal. The original proof is in German, and I've been ...
2
votes
0answers
105 views

Does the Lévy collapse obey this nice characterization? [duplicate]

This question is related to an issue in my answer to Monroe Eskew's question on the failure of Cantor-Bernstein for the Lévy collapse. Question. Is the Lévy collapse $\text{Coll}(\omega,\lt\kappa)$ ...
6
votes
1answer
171 views

Failure of Cantor-Bernstein for the Levy Collapse

Related to this question, is it possible to give an example of the failure of Cantor-Bernstein for complete embeddings of forcing notions involving the Levy Collapse $Col(\omega,<\kappa)$? Suppose ...
8
votes
1answer
148 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 ...
5
votes
1answer
85 views

Property of $L$ Relating to Reflection

The idea of the question is whether it is ever possible that $L$ is so nice in the sense that $\{L_\alpha\}$ does not incorrectly "guess" a bigger inaccessible than $L$ really has, as long as ...
5
votes
1answer
216 views

A model of Krivine

In a paper by J.-L. Krivine, Modèles de ZF+AC dans lesquels tout ensemble de réels définissable en termes d'ordinaux est mesurable-Lebesgue [C. R. Acad. Sci. Paris Sér. A-B 269 (1969), A549–A552, ...
6
votes
1answer
185 views

Morley Phenomena for Special Families of Reals

Vaught's Conjecture is a dual form of Continuum Hypothesis in model theory. It asserts that for each complete consistent theory $T$ in a countable language if $I(T,\aleph_{0})>\aleph_{0}$ then ...
2
votes
1answer
209 views

Forcing Notions with Unknown Real/Cardinal Preserving Situations

Question. Is there any set forcing notion $\mathbb{P}$ in one of the following categories? (a) $\mathbb{P}$ preserves cardinals but it is still open whether $\mathbb{P}$ adds reals or not. (b) ...
5
votes
1answer
147 views

Function Approximation in c.c.c Forcings without AC in Ground Model

Consider the following basic theorem. Theorem. If $M$ is a c.t.m of ZFC and $\mathbb{P}$ a c.c.c forcing notion in $M$ and $G$ a $\mathbb{P}$ - generic filter on $M$ then for all $A,B$ in $M$ and for ...
0
votes
1answer
143 views

Absoluteness of definability (2)

Let $M,N$ be transitive models of set theory and $M \subset N$. Assume that in $M$ we prove that there exists an object $X$ that satisfies some set $T$ of first order properties and which is definable ...
2
votes
1answer
122 views

How many elementary equivalent models are unifiable by ultrapower?

Definition. A class $\mathcal{C}$ of pairwise elementary equivalent $\mathcal{L}$-structures is unifiable by ultrapower if there is an index set $I$ and an ultrafilter $F$ on it such that $\forall ...
9
votes
4answers
1k views

Are there non-diagonal proofs for Cantor's continuum and Godel's incompletness theorems?

There is a formal definition for the notion of a formal proof. Question 1. Is there any formal definition for the notion of a diagonal formal proof? Consider the following theorems both proved by ...
9
votes
1answer
189 views

Obtaining a lightface pointclass from a boldface one

Define a pointclass to be: boldface inductive-like if it is $\mathbb{R}$-parameterized, has the scale property, and is closed under $\wedge$, $\vee$, $\forall^\mathbb{R}$, $\exists^\mathbb{R}$, and ...
1
vote
3answers
293 views

Can the structure of an ultrafilter determine the structure of its ultrapower?

Usually we work with ultrafilters as pure sets without any structure. Q1. Is there any important notion of structure on an ultrafilter? Q2. Is there any non-trivial notion of structure on ...
5
votes
2answers
229 views

What are benefits of foundations with more than one sort of objects?

Amongst different foundations of mathematics, $ZF$ and $NF$ are talking about "sets" but $MK$ and $GB$ are talking about two sorts of objects "sets" and "classes". What are benefits of studying the ...
10
votes
3answers
865 views

Is it ever a good idea to use Keisler-Shelah to show elementary equivalence?

The most useful way I know to show that two structures are elementarily equivalent is Ehrenfeucht-Fraisse games. These are quite nice and intuitive, and even when I can't use them to solve my problem ...
11
votes
1answer
281 views

Independence results about independence results

Define $Ind(ZFC,\sigma)$ to be the assertion "The sentence $\sigma$ is independent from ZFC". I am looking for theorems in the form $Ind(ZFC, Ind (ZFC,\sigma))$. Are there such theorems in set ...