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

3
votes
0answers
342 views

Can there be ordinals larger than those contained in Ord, and if so, can they be used to extend the constructible universe $L$?

Can there be ordinals larger than those contained in Ord, the class of all ordinals,and if so, can these ordinals be used to extend the constructible universe $L$? In a simplified form, my question ...
15
votes
2answers
1k views

Is non-existence of the hyperreals consistent with ZF?

I know that it is possible to construct the hyperreal number system in ZFC by using the axiom of choice to obtain a non-principal ultrafilter. Would the non-existence of a set of hyperreals be ...
2
votes
1answer
132 views

A question regarding forcing extensions

Can one, for an infinite set A in ZFC, use forcing to add so many generic subsets of A as to make the collection of all subsets of A a proper class? Consider now a model $M$ of ZFC and use $Add( , ...
1
vote
2answers
125 views

A Question Regarding Defining Generic Extensions of ZF and ZFC in Morse-Kelly Set Theory

It is known that Morse-Kelly (MK) set theory forms a metatheory for ZFC. For example: MK proves Con(ZFC). In fact, Joel David Hamkins claims in his blog post "Kelly-Morse set theory implies Con(ZFC) ...
2
votes
2answers
118 views

Order in bijective-equivalent collections of proper classes in set-theory

We work in the set theory NBG (with local choice, but not global choice), because if there is global choice, every proper class is well-ordered, so that every proper class is bijective with the class ...
5
votes
1answer
239 views

Injection of the proper class of ordinals in every proper class

Is it possible to prove in the set theory NBG (with local choice but without global choice) that the proper class of ordinals injects in every proper class ?
2
votes
1answer
147 views

Injection of every proper class in the ordinal class

Is it possible in the set theory NBG (with local choice but without global choice) that every proper class injects in the proper class of ordinals ?
3
votes
0answers
98 views

Cores of infinite graphs

Let $\kappa$ be a cardinal and let $\textrm{Grph}(\kappa)$ be the set of graphs $G = (V,E)$ such that $V \subseteq \kappa$ and $E \subseteq \mathcal{P}_2(V) := \{\{a,b\} \subseteq V: a\neq b\}$. We ...
7
votes
0answers
238 views

Two questions about universally measurable sets

I have two questions about universally measurable sets: (1) Is there a universally measurable set of reals which does not have the Baire property? (2) Is there a universally measurable set of reals ...
4
votes
1answer
204 views

Transcendence degree of the surreals over the subfield generated by the ordinals

Consider the Grothendieck ring $K[\Omega]$ of the semiring $\Omega$ of all ordinals under the operations of natural sum and product. Its quotient field $K(\Omega)$ is naturally a subfield of the ...
7
votes
2answers
337 views

When can we reach a real by forcing?

I'm sure this is well-known, but: suppose I have a non-constructible real $r\in V-L$. Under what conditions is there a poset $\mathbb{P}\in L$ and a $G$ which is $\mathbb{P}$-generic over $L$, such ...
4
votes
1answer
147 views

Simplest non-constructible set of integers compatible with the nonexistence of $0^\sharp$?

What is the simplest non-constructible set of integers (say, in the analytical hierarchy) that is compatible with the nonexistence of $0^\sharp$? In particular, can there still be a non-constructible ...
4
votes
0answers
121 views

Is it provable in $\mathsf{ZF}$ that there is a group structure on any set $X$? [duplicate]

Given a set $X$ is it provable in $\mathsf{ZF}$ that there is a binary operation $\ast: X\times X\to X$ such that $(X,\ast)$ is a group?
3
votes
1answer
126 views

How many pairwise non-homeomorphic compact, zero-dimensional topologies are there on $\mathbb{N}$?

To make the question more precise: We call a topological space $(X,\tau)$ zero-dimensional if for $x\neq y \in X$ there is a clopen set $U\subseteq X$ with $x\in U, y\notin U$. Let $\mathcal{C}$ be ...
8
votes
2answers
166 views

Elementary embeddings with the same critical point

Question: Is it consistent (relative to the existence of large cardinals) that there is an elementary embedding $j\colon V\to M$ (where $M$ is transitive model) that factors as $j = j_n \circ k_n$ for ...
3
votes
1answer
122 views

A question on recursion in Kripke-Platek set theory with infinity and $\Sigma_{3}$-separation and $\Sigma_3$-collection

$\Sigma_{3}KP\omega$ be Kripke-Platek set theory with infinity and $\Sigma_{3}$-separation and $\Sigma_3$-collection. What strengthening of Barwise's Definition by $\Sigma$ Recursion (Theorem 6.4 on ...
14
votes
1answer
625 views

Is it possible to define higher cardinal arithmetics

In number theory there are several operators like ‎addition, ‎multiplication and ‎exponentiation defined from ‎$‎‎‎\omega‎‎\times‎‎\omega‎$ ‎to ‎‎$‎‎‎\omega‎$. Each ‎of ‎them ‎is defined as an ...
10
votes
2answers
431 views

Can a parent and child node have the same type in a well-founded digraph tree?

$\newcommand\toward{\rightharpoonup}$It would help me to understand something in a current research project if someone could provide an example of directed graph $\langle G,\toward\rangle$ with the ...
9
votes
2answers
261 views

When was Bounded Zermelo set theory first formulated?

Bounded Zermelo set theory, and many variants named for MacLane in some way, are used in equiconsistency proofs for Simple Theory of Types plus infinity, and for the Elementary Theory of the Category ...
1
vote
0answers
100 views

is the set of algebraic numbers equivalent to rays of R-dense projections? [closed]

ok, the title is made of words I made up for lack of vocabulary. so let's define the words I used in the title: $\mathbb{R}$-dense is a set dense in $\mathbb{R}$, rays of such a set means I take ...
4
votes
0answers
186 views

A question on the size of an admissible ordinal

Let $\mathbf{L}_{\varsigma}$ be the level of ordinal $\varsigma$ of Gödel's constructible universe $\mathbf{L}$. Let $\Sigma_{3}$-KP be Kripke-Platek set theory with infinity and ...
-5
votes
1answer
176 views

An axiomatic system with a set of constants that form a complete ordered field [closed]

I am developing a ZFC axiomatic system where together with the empty set, there is a singular (and huge) set of constants that are themselves sets and form a complete ordered field (cof) these ...
1
vote
1answer
216 views

At what level of the analytic hierarchy do Cohen reals lie?

In his doctoral thesis titled "Three models of ordinal computability", Benjamin Seyfferth proved the following theorems: i) A set $\mathtt A$ of reals is Ordinal Turing Machine-enumerable if and only ...
5
votes
2answers
371 views

Gorelic's Forcing for large Lindelöf spaces with points $G_\delta$

I am trying to understand a step for proving that there exists large Hausdorff Lindelöf Spaces with points $G_\delta$ using forcing. I am following Isaac Gorelic's "The Baire Category And Forcing ...
5
votes
0answers
69 views

Large discrete subspaces in spaces of separately continuous functions

For topological spaces $X,Y,Z$ let $SC_p(X\times Y,Z)$ be the space of separately continuous functions $f:X\times Y\to Z$ endowed with the topology of pointwise convergence. It is easy to see that ...
7
votes
2answers
305 views

Possible cardinality and weight of an ordered field

Is it true (in ZFC) that for any regular infinite cardinal $\kappa$ there exists an ordered field of weight $\kappa$ and cardinality $2^\kappa$ (or at least $>\kappa$)? The field of real numbers ...
10
votes
2answers
389 views

Number of paths through infinite trees with given “growth rates”

(Preface: This may be a naive or easy question for experts....) Consider an infinite tree, rooted on the left, where each node has two children; the number of nodes at each level (distance from the ...
3
votes
1answer
312 views

Are there sets which are computable in one model, but uncomputable in another?

Suppose we have two models of set theory, $U$ and $V$ which have the same $\Bbb N$. Is it possible that there is a set $A\subseteq\Bbb N$ such that, in $U$, this set is computable, i.e. there is a ...
3
votes
1answer
149 views

Uniformizing a relation on ordered sets

Suppose $A$ and $B$ are (complete) ordered sets. Suppose $R\subseteq A\times B$, and $f(a)=\inf\{b : (a,b)\in R\}$ $g(b)=\inf\{a : (a,b)\in R\}$ then what can we call $f$ and $g$? Perhaps there is ...
3
votes
1answer
126 views

About the Caratheodory class.

Let $X$ a set, and $\mathcal{P}(X)$ the class of its subset's. Let $\mathcal{A}\subset \mathcal{P}(X)$, we call a map $L: \mathcal{P}(X)\to[0, \infty]$ $\mathcal{A}$-regular if for any $S\subset X$ ...
8
votes
2answers
353 views

centeredness in forcing iterations

Suppose $A$ is a complete subalgebra of a complete boolean algebra $B$, and $B$ is $\kappa$-centered. Let $G \subset A$ be a generic ultrafilter. Is $B/G$ $\kappa$-centered in $V[G]$? Naively, we ...
11
votes
3answers
1k views

Difference between ZFC and ZF+GCH

I hear that the axiom of choice (AC) derives from The generalized continuum hypothesis(GCH). And also hear that both AC and GCH are independent of Zermelo–Fraenkel set theory(ZF). So, I'm just ...
8
votes
1answer
261 views

A question about three forcings

Let $P_1$ be the finite support iteration of random forcings of length $\omega$. Let $P_2 = \text{Random} \times \text{Random}$ and $P_3 = \text{Random} \times \text{Cohen}$. Are $P_i, P_j$, for $1 ...
3
votes
2answers
288 views

A Question related to the Formula Hierarchy

Let large Latin symbols as $X$ and $Y$ denote sets of natural numbers and small symbols as $n$ and $n´$ denote natural numbers and small Greek letters stand for formulas. Suppose $\alpha$ is ...
4
votes
1answer
153 views

almost huge embeddings and stationary correctness

Suppose $\kappa$ is an almost huge cardinal. Using the characterization of Theorem 24.11 in Kanamori's book, one can show that if $j : V \to M$ is an embedding derived from an almost-huge tower of ...
10
votes
1answer
383 views

Is there an $L$ like inner model for $\sf Z$?

Godel proved the consistency of the axiom of choice with the axioms of $\sf ZF$ by showing that given any model of $\sf ZF$, there is a definable class which satisfies $\sf ZFC$. The proof uses a lot ...
9
votes
0answers
255 views

Reinhardt cardinals and iterability

Work in $ZF$. Let $j:V\to V$ be a non-trivial elementary embedding which is iterable, so that we can iterate it and form models $M_\alpha, \alpha\in ON,$ with $M_0=V,$ and elementary embeddings ...
7
votes
0answers
170 views

Countable choice in $L(\mathbb{R}^*_G)$

Let $\lambda$ be a singular strong limit cardinal and let $G \subset \text{Col}(\omega,\mathord{<}\lambda)$ be a $V$-generic filter. Let $\mathbb{R}^*_G = \bigcup_{\alpha < \lambda} ...
7
votes
0answers
139 views

Does $\mathsf{fReR}_0$ prove the existence of the cartesian product of two sets

$\mathsf{fReR}_0$ is the set-theoretical system whose axioms consist of: (1) Axiom of extensionality: $\forall z\in x\ (z\in y)\wedge\forall z\in y\ (z\in x)\rightarrow x=y$ (2) Axiom of empty set: ...
1
vote
1answer
200 views

Can (how) one distinguish germs of continuous functions by a countable set of params?

Continuous functions can be distinguished by their values at say rational points of [0 1]. Germs of analytic functions can be distinguished by derivatives at a point. So in both cases we see ...
3
votes
2answers
228 views

A question on Gandy-Jensen system and the rudimentary functions

Let $\mathrm{R}_0,\cdots,\mathrm{R}_8$ be the following functions: $\mathrm{R}_0(x,y)=\{x,y\}$ $\mathrm{R}_1(x,y)=x-y$ $\mathrm{R}_2(x)=\bigcup x$ $\mathrm{R}_3(x,y)=x\times y$ ...
7
votes
1answer
268 views

On $V$-decisive and weakly homogeneous forcings

Suppose that $\Bbb P$ is a forcing in $V$, we say that $\Bbb P$ is $V$-decisive if whenever $\varphi(x_1,\ldots,x_n)$ is a statement in the language of forcing, and $u_1,\ldots,u_n\in V$ then $1_{\Bbb ...
6
votes
0answers
218 views

Canonical functions in set theory and their applications

Given regular cardinal $\kappa>\omega,$ we can define the canonical functions $f_\alpha: \kappa\to \kappa,$ for $\alpha<\kappa^+.$ Some of their properties are presented in Chapter 22 of the ...
5
votes
1answer
602 views

About the hypothesis of Zorn's lemma

The proofs I know of Zorn's lemma give the following refinement: Let $(X,<)$ be a partially ordered set such that every well-ordered subset of $X$ has an upperbound. Then $X$ has a maximal ...
10
votes
3answers
467 views

The continuum hypothesis for packing shapes without overlapping

Consider the finite cross $C$ (=union of line segments $\overline{(0, -1)(0, 1)}$ and $\overline{(-1, 0)(1, 0)}$) and the unit half-circle $H$. It is easy to see that we may pack continuum-many ...
6
votes
1answer
222 views

Can the Cohen forcing collapse cardinals?

Let $\kappa$ be a regular cardinal, and let $\mathbb{P} = Add(\kappa,1)$ be the standard forcing notion for adding a new subset of $\kappa$ using partial function from $\kappa$ to $2$ with domain of ...
2
votes
2answers
103 views

proof that “small” sets in an extension by iterated forcing already appear in an earlier stage

In Kunen's book (introduction to independence proofs, ) the following lemma is proved (chapter 8, lemma 5.14): Assume that in M, $\alpha$ is a limit ordinal, $( ( \mathbb{P}_\xi : \xi \leq \alpha) , ...
13
votes
4answers
1k views

Is it possible to formulate the axiom of choice as the existence of a survival strategy?

Consider the following situation: There is an infinite set $G$ of giraffes. A lion comes and announces a set $C$ of all possible colours and an infinite cardinal $\kappa$. The hungry lion ...
6
votes
1answer
226 views

non(Meager) in Random times Random extension

Suppose the least size of a non meager set of reals is $\kappa$. Is it still $\kappa$ after forcing with Random $\times$ Random?
4
votes
0answers
154 views

Recursively Pointed Sacks Forcing and Preserving $\omega_1$

Let $\mathbb{P}$ denote recursively pointed Sacks forcing. This is forcing with recursively pointed perfect trees ordered by inclusion. A tree $T \subseteq {}^{<\omega}2$ is recursively pointed if ...