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

learn more… | top users | synonyms

5
votes
1answer
224 views

A button for individual reals

Hamkins introduced the notion of a "button" in forcing. This is a set-theoretic statement that can be forced, and can never be made false by further forcing. An example is $V \not= L$. Another ...
5
votes
1answer
247 views

References for higher descriptive set theory surveys

A student of Adi Jarden and mine attempts at generalizing results on selection principles from the Baire space $\omega^\omega$ to the higher Baire space $\kappa^\kappa$ ($\kappa$ uncountable), and ...
6
votes
3answers
395 views

When does the generalized Cantor space embed in a $\kappa$-compact space

The generalized Cantor space is the space $2^\kappa$, with basic open sets $$ [\sigma] := \{f\in 2^\kappa : \sigma\subseteq f\}, $$ for $\sigma\in 2^{<\kappa}$. A space is $\kappa$-compact if ...
8
votes
1answer
291 views

How long does the slow inefficient algorithm for computing the product in classical Laver tables take?

Let $(A_{n},*)$ denote the $n$-th classical Laver table. Let $X_{n}$ be the set of all finite sequences of elements from $A_{n}$. Define a function $E_{n}:X_{n}\rightarrow X_{n}$ by letting $E_{n}((...
3
votes
0answers
173 views

Borel equivalence relations in models of determinacy

The following appears as fact 3.1 in the slides from Hjorth's 2010 Tarski Lectures. Assume ${L(\mathbb R)} \models \mathrm{AD}$. Fact 3.1 For E and F Borel equivalence relations one has $$E \...
14
votes
1answer
492 views

Is there a class of mathematical structures with non-isomorphic natural representations as a standard Borel space?

Background. The field of Borel equivalence relation theory provides a robust, unifying theory that organizes most of the classification problems of classical mathematics into a hierarchy, allowing us ...
2
votes
1answer
155 views

Non-completeness of the Borel-Lebesgue measure and countable choice

Is it possible to prove the non-completeness of the Borel-Lebesgue measure on $\mathbb{R}$ (restricted to the Borel $\sigma$-algebra) without the full axiom of choice, but still with Countable Choice ?...
5
votes
0answers
252 views

Equivalence of the Banach-Tarski paradox

I am working on the Banach-Tarski paradox and the fact that the Hahn-Banach theorem implies that paradox. The proof involves the equivalence of the Hahn-Banach theorem and the fact that for every ...
10
votes
0answers
229 views

A variant of strong ideals, is it consistent?

Is it consistent relative to large cardinals that there is a precipitous ideal on $\omega_1$ forcing a generic elementary embedding $j : V \to M \subseteq V[G]$, such that $j(\omega_1) = \omega_n^V$ ...
12
votes
1answer
408 views

Changing cofinalities above supercompact cardinals

Question. Suppose $\kappa$ is a supercompact cardinal and $\lambda > \kappa$ is measurable (or even larger large cardinal if necessary). Is there a set generic extension of the universe in ...
1
vote
1answer
131 views

Tileable subsets of $\mathbb{Z}\times\mathbb{Z}$

For $t\in \mathbb{Z}\times\mathbb{Z}$ and $A\subseteq\mathbb{Z}\times\mathbb{Z}$ we set $t+A :=\{t+a: a\in A\}$. Call $A\subseteq\mathbb{Z}\times\mathbb{Z}$ tileable if there is $T\subseteq\mathbb{Z}\...
11
votes
1answer
339 views

Singular in $V$ regular in $HOD$

Prikry forcing can be used to produce a model $V$ of $ZFC$ such that fo rsome cardinal $\kappa$ we have: (1) $\kappa$ is singular in $V$ of cofinality $\omega,$ (2) $\kappa$ is regular (and in fact ...
12
votes
1answer
505 views

What is the motivation behind inner model theory?

Inner model theory aims to construct canonical inner models which captures as much of V as possible, which now is formulated more concretely as to build (fine structural) mice that contain many large ...
5
votes
1answer
193 views

Do strong embeddings always provide all the ultrafilters that exist?

Let $\kappa$ be a strong cardinal. Then for each $\lambda\geq\kappa$ does there exist a $\mu>\lambda$ such that if $U$ is a $\kappa$-complete ultrafilter on $\lambda$ and $j:V\rightarrow M,V_{\mu}\...
2
votes
0answers
340 views

A question on the consistency of a (seemingly) very weak set theory

I have preoccupied myself some with very weak set theories that suffice to interpret Robinson Arithmetic, as in this question Is Extensionality needed for the incompleteness of very weak set theories?....
3
votes
2answers
295 views

Linear space with (Hamel) basis and the axiom of choice

It is true that the axiom of choice is equivalent to the statement that every linear space has a Hamel basis. There are some linear spaces which definitely don't need axiom of choice to possess (...
5
votes
1answer
236 views

Is the set of subsequences of branches through a tree Borel?

Let $T$ be pruned subtree of $\omega^{<\omega}$. For my cases of interest, we may assume that $T$ is infinitely branching at every node, and consists of increasing sequences. Let $A=\{x\in\omega^{\...
3
votes
1answer
109 views

If $S$ is non-stationary in $[k]^{\omega}$ is there a choice-function on $S$ with bounded fibers?

Fodor's Lemma : When $k$ is a regular uncountable cardinal, and $T$ is a stationary subset of $k$, any regressive $f:T\to k$ has a fiber which is stationary in $k$. Corollary: $T$ is stationary in $...
3
votes
1answer
211 views

When is the generalized Cantor space $\kappa$-compact?

My M.Sc. student has the following question, that I assume has an answer in the literature, and we are looking for references. The generalized Cantor space is the space $2^\kappa$, with basic open ...
5
votes
0answers
76 views

How long does it take for the action of the braid monoids on Laver tables to become trivial?

Let $A_{n}$ denote the classical Laver table of cardinality $2^{n}$. Let $B_{n}^{*}$ denote the positive (including the identity) braid monoid on $n$ elements generated by $\sigma_{1},...,\sigma_{n}$....
10
votes
3answers
576 views

The universe of sets, existential quantification in set theory

Yesterday, I posted a question that was received in a different way than I intended it. I would like to ask it again by adding some context. In ZF one can prove $\not\exists x (\forall y (y\in x)).$ ...
2
votes
6answers
2k views

Looking for a source for Intended Interpretation

Hao Wang writes: "The originally intended, or standard, interpretation takes the ordinary nonnegative integers $\{0, 1, 2, \ldots \}$ as the domain, the symbols $0$ and $1$ as denoting zero and one, ...
1
vote
0answers
256 views

Can we strengthen the axiom of choice to settle the generalized continuum problem?

By the generalized continuum problem, I mean the following: given an infinite cardinal $\kappa$, find the order type of the set of all cardinals strictly between $\kappa$ and $2^\kappa$. Now whenever ...
1
vote
1answer
258 views

Ordinal of injectivity for a smooth regular curve with a finite arc-length

Let $\gamma: [a,b]\to\mathbb{R}^d$ defined by $$\gamma(t)=(\gamma_1(t),\dots,\gamma_d(t)) $$ be a smooth (i.e., $\gamma\in C^\infty (\mathbb{R}))$ and regular ($\gamma^\prime(t)\neq \vec 0$) curve ...
0
votes
1answer
130 views

Infinite graph with degrees given

Let $\kappa$ be an infinite cardinal and suppose $$n, d: \kappa \to \big((\kappa+1)\setminus \{0\}\big) = \{1, \ldots, \kappa\}$$ are arbitrary functions. Is there $E \subseteq \big\{\{x,y\}: x\neq y ...
6
votes
1answer
280 views

$\omega$-colorings of $\kappa^2$

Let $\kappa\le 2^{\aleph_0}$ be an infinite cardinal. We have a collection of functions $\{f_i|i<\kappa\}$ such that $f_i:i\rightarrow \omega$ and the collection is "triangle-free", i.e. there are ...
3
votes
0answers
451 views

What's Reeb's take on naive integers?

Georges Reeb's "claim Q" is the statement that "naive integers don't fill up $\mathbb{N}$". To anyone familiar with model theory this could easily be interpreted as the existence of nonstandard models ...
9
votes
1answer
286 views

Largeness and arithmetic progression properties of generic reals

Consider the following properties for a subset $A$ of $\mathbb{N}$: (1) $A$ is large: $\sum_{n \in A}$$ 1\over n$$=\infty,$ (2) $A^\infty=\limsup \frac{|A \cap \{ 1, \dots, n\}|}{n} >0$, (3) $A_\...
4
votes
1answer
244 views

Which models of set theory are locally presentable?

For the purposes of this question, let me fix a "true" universe of sets, which I will call the "true sets". Recall that a category is locally presentable if it is cocomplete and accessible. Both ...
4
votes
2answers
167 views

Bounding and dominating numbers ${\frak b}, {\frak d}$ via ultrafilters

Let $\omega^\omega$ denote the set of all functions $f:\omega\to\omega$ and suppose that ${\cal U}$ is a free ultrafilter on $\omega$. We write $f \leq_{\cal U} g$ if $$\{n\in\omega: f(n) \leq g(n)\}\...
0
votes
1answer
198 views

Does every ultrafilter contain sets of sup-measure $0$?

Let $\mathbb{N}$ be the set of positive integers and for $A\subseteq {\mathbb{N}}$ set $$m(A) = \text{lim sup}_{n\to\infty}\frac{|A\cap\{1,\ldots,n\}|}{n}.$$ Does every ultrafilter ${\cal U}$ on $\...
6
votes
1answer
154 views

Example to $2^\kappa\nrightarrow (3)^2_\kappa$, plus closed walks of odd length?

Let $\kappa$ be an infinite cardinal. Consider the following example to $2^\kappa\nrightarrow (3)^2_\kappa$. $V$ is a set of vertices, each of which is an element of $2^\kappa$. Color the edge ...
2
votes
0answers
199 views

About the limitation by size

This could be a big post, so I'll try to summarize my thoughts and divide them into several questions. When working in category theory, I used to choose the following definition. A category $C$ is ...
1
vote
1answer
156 views

Absoluteness and Tree Representations

Suppose $T$ is a tree on $\omega \times \omega \times \delta$ for some ordinal $\delta$ is a homogeneous tree (with some coherent set of measures witnessing homoegeneity). ($T$ can have additional ...
6
votes
4answers
534 views

Direct axiomatization of ordinal and cardinal numbers

Again, this question is related (**) to a previous one: in standard books on basic set theory, after stating the axioms of ZFC, ordinal numbers are introduced early on. Afterwards cardinals appear: ...
2
votes
1answer
170 views

Some very weak statements on choice

This is a follow-up question to Does $|(X\times\{0\}) \cup (X\times\{1\})| \leq |X|$ for $X$ infinite imply ${\sf AC}$? Consider the statements $(\text{S}1)$ For any infinite set $X$ there ...
1
vote
1answer
151 views

Frankl's union-closed sets conjecture for infinite families

This question is motivated by Frankl's union-closet sets conjecture. Let $X$ be a non-empty set. We say that a family ${\cal A} \subseteq {\cal P}(X)$ is union-closed if $\emptyset\notin{\cal A}$ and ...
2
votes
1answer
163 views

Does $|(X\times\{0\}) \cup (X\times\{1\})| \leq |X|$ for $X$ infinite imply ${\sf AC}$?

Consider the statement For any infinite set $X$ there is an injection $\varphi$ from $(X\times\{0\}) \cup (X\times\{1\})$ into $X$. Does this imply the ${\sf AC}$?
16
votes
1answer
370 views

A nice subcategory of the category of measurable spaces

Is there some notion of "nice" measurable spaces and "nice" maps between them which satisfies the following properties? The real line equipped with the Lebesgue $\sigma$-algebra is nice. Any ...
-3
votes
1answer
170 views

Axiom of countable choice need for the cantor-bernstein theorem [closed]

Is the axiom of countable choice need for proving the cantor-bernstein theorem?
2
votes
0answers
82 views

Is there a transcendental definable function between algebras of elementary embeddings?

Let $\lambda$ be a cardinal. Let $\mathcal{E}_{\lambda}$ be the set of all elementary embeddings from $V_{\lambda}$ to $V_{\lambda}$. If $f:V_{\lambda}\rightarrow V_{\lambda}$ is a function and $\...
5
votes
2answers
250 views

A weak kind of fixed point

Let $X$ be a set and let $\cal A$ be a non-empty subset of $P(X)$ with the property that whenever $A_1 \subseteq A_2 \subseteq \cdots $ is an increasing chain of elements of $\cal A$ then $\cup_i A_i \...
1
vote
0answers
174 views

Reference request: Models of isomorphic languages result into isomorphic categories

This is basically a reference request by someone who has not been educated as a logician and would like to be rigorous about certain preliminary aspects of model theory. Fix an uncountable universe $\...
7
votes
1answer
448 views

Taller models of ZFC

This question is somewhat related to a previous one, where I asked for new forms of infinite beyond the cardinal hierarchy. Using forcing techniques, at least the ones I know of, one starts from a ...
7
votes
2answers
313 views

How can any theory prove well-foundedness of ordinals above $\omega_1^{\text{CK}}$?

$\newcommand{\omegaoneck}{\omega_1^{\text{CK}}}$ Pardon the extremely basic question - this isn't quite my area - but I'm confused about the definition of proof theoretic ordinals. The proof ...
10
votes
1answer
352 views

Every measure on a set $X$ extends to the power set of $X$: Consistent or not with ZF?

Question. Is it consistent with ZF that every (countably additive, non-negative) measure $\mu: \Sigma \to \bf R$, where $\Sigma$ is a sigma-algebra on a given set $X$, extends to a (countably additive,...
4
votes
1answer
219 views

A Question on HOD, V and GCH

The theorem 1.1 of the following paper: Mohammad Golshani, V, HOD, and the GCH, Journal of Symbolic Logic. states that: Theorem: Assume $V\models ZFC+GCH+~\text{There exists a}~(\kappa+4)-\...
5
votes
0answers
166 views

Set theory and forcing from the point of view of a formal system $G^+$ of Gentzen type

There are four papers by Vladimir Alfeevich Kuznetsov, which discuss the above titled topic: (1) Some problems in set theory from the standpoint of a formal system G+ of Gentzen type. (Russian) Akad. ...
8
votes
2answers
772 views

Is platonism regarding arithmetic consistent with the multiverse view in set theory?

A "truth" platonist for arithmetic believes, given a statement in the language of arithmetic, that the problem whether the statement is true has a definite answer. Prof. Hamkins has argued for a ...
5
votes
1answer
274 views

Statements that Could be Forced by Ultrapowers

Ultrapower of a structure is a very flexible mathematical creature in comparison with the ground structure and its ordinary products. Depending on the nature of ground structure and the good ...