**5**

votes

**1**answer

220 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

**1**answer

245 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

**3**answers

392 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

**1**answer

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

**3**

votes

**0**answers

166 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

**1**answer

475 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

**1**answer

150 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

**0**answers

240 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

**0**answers

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

**11**

votes

**1**answer

396 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

**1**answer

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

**11**

votes

**1**answer

333 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

**1**answer

473 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

**1**answer

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

**2**

votes

**0**answers

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

**3**

votes

**2**answers

291 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

**1**answer

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

**3**

votes

**1**answer

108 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

**1**answer

207 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

**0**answers

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

**10**

votes

**3**answers

559 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

**6**answers

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

**0**answers

250 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

**1**answer

253 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

**1**answer

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

**1**answer

278 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

**0**answers

439 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

**1**answer

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

**4**

votes

**1**answer

242 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

**2**answers

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

**0**

votes

**1**answer

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

**1**answer

153 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

**0**answers

195 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

**1**answer

152 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

**4**answers

520 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

**1**answer

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

**0**

votes

**1**answer

149 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

**1**answer

162 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

**1**answer

364 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

**1**answer

162 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

**0**answers

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

**2**answers

249 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

**0**answers

170 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

**1**answer

434 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

**2**answers

292 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

**1**answer

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

**5**

votes

**1**answer

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

**5**

votes

**0**answers

165 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

**2**answers

756 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

**1**answer

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