**2**

votes

**1**answer

157 views

### Uncountable cardinals and Prufer $p$-groups

Let $A$ be an elementary Abelian uncountable $p$-group. Is it known if there is an action of a Prufer $q$-group (here $q$ is a prime not necessarily distinct from $p$) $C_{q^{\infty}}$ onto $A$ such ...

**13**

votes

**1**answer

549 views

### Analogues of Primitive Recursive Functions

Let $\mathbf{A}$ be an admissible set (possibly with urelements). I am wondering if there is some good notion of "primitive recursive arithmetic" relative to $\mathbf{A}$. More precisely, I would like ...

**24**

votes

**3**answers

2k views

### Interactions between (set theory, model theory) and (algebraic geometry, algebraic number theory ,…)

Set theory and model theory have many applications outside of logic, in particular in algebra, topology, analysis, ...
On the other hand model theory, in particular after Hrushovski, found many ...

**3**

votes

**0**answers

107 views

### A Result of Anders Bjorner: Matchings in countably infinite geometric lattices of finite height

Let $L$ be a countably infinite geometric lattice of finite height $r\ge3$. (A geometric lattice of height $r$ is an atomistic semimodular lattice such that every maximal chain has $r+1$ elements.)
...

**10**

votes

**3**answers

453 views

### Axiom of choice for sets of finite sets

The question I am going to ask is really to satisfy my curiosity, as I am not at all an expert of the subject and do not plan to really work on it. Hence, if you think the question is not suitable for ...

**1**

vote

**0**answers

59 views

### Outer measure preserving bijection

Suppose X is a Sierpinski set (So X is uncountable and every null subset of X is countable). Let f be a bijection on X. Must/Does there exist a non null subset Y of X such that for every subset W of ...

**54**

votes

**5**answers

3k views

### How do the compact Hausdorff topologies sit in the lattice of all topologies on a set?

This question is about the space of all topologies on a
fixed set X. We may order the topologies by refinement, so
that τ ≤ σ just in case every τ open set is open in σ.
...

**5**

votes

**2**answers

524 views

### A specific Model of ZFC

In his paper "Some Second Order Set Theory", Joel Hamkins asked whether there is a model of set theory $V$ that is elementary equivalent to $V[G]$, Whenever $G$ is $V$-generic for the collapse of a ...

**8**

votes

**1**answer

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

**7**

votes

**1**answer

152 views

### Characterizing L(R) Cardinals in HOD

We're working in L(R) under AD.
We know that
$\omega_1$ is the least measurable in HOD, $\Theta$ is the least woodin, $\delta^2_1$ is the least strong to the woodin, etc.
My question is about ...

**1**

vote

**0**answers

153 views

### The patterns of possibility for nontrivial automorphisms and nontrivial elementary embeddings of the universe

In their paper "The Role of the Foundation Axiom in the Kunen Inconsistency" (arXiv:1311.0814 [Math.LO]), Daghighi, Golshani, Hamkins, and Jerabek show that the patterns of possibility for the ...

**7**

votes

**1**answer

281 views

### Constructing unnatural transformations

In a nutshell, the question is: is it true that any explicit (not involving axiom of choice) pointwise transformation between sufficiently complicated functors is natural almost everywhere?
Let $C$ ...

**9**

votes

**1**answer

400 views

### Continuous functions and 2-bushy trees

The following problem was asked by Joe Miller in the fall of 2010 at a bar in Madison.
A subtree $T \subseteq 4^{< \omega}$ is $2$-bushy if for some node $\sigma \in T$, every node above $\sigma$ ...

**8**

votes

**6**answers

1k views

### Independent families of subsets of $\mathbb N$ of size continuum

A family $\mathcal F$ of subsets of $\mathbb N$ is independent if for any two finite, disjoint
subsets $\mathcal A,\mathcal B\subseteq\mathcal F$ the set
$$\bigcap_{A\in\mathcal ...

**22**

votes

**2**answers

390 views

### Mid point free sets

Given a subset X of unit interval, can we find a subset Y of X of same outer measure as X such that Y does not contain three points of the form x, y and (x+y)/2?
I can do this assuming CH but can we ...

**107**

votes

**15**answers

19k views

### Why worry about the axiom of choice?

As I understand it, it has been proven that the axiom of choice is independent of the other axioms of set theory. Yet I still see people fuss about whether or not theorem X depends on it, and I don't ...

**5**

votes

**1**answer

232 views

### Logical strength of “choice functions exist for well-ordered families”?

A colleague of mine suggested the following weakening of the axiom of choice:
If $\mathscr{F} := \{F_\alpha\}$ is a well-ordered family of non-empty sets (i.e., there is a bijection between ...

**5**

votes

**2**answers

252 views

### The role of the rigid relation principle ($RR$) in the Kunen inconsistency

Consider the rigid relation ($RR$) principle, i.e.
"every set admits a rigid binary relation", that is,"that for every set $A$ there is a binary relation $R$ on $A$ such that the structure $(A,R)$ is ...

**0**

votes

**0**answers

33 views

### Calculate optimal path through changing network? [migrated]

Apologies if this question is not suited for this forum. The question extends beyond my knowledge of mathematics and programming, it is quite hard to get my head around it let alone put it in to ...

**4**

votes

**0**answers

204 views

### Is there some absoluteness between the Boolean valued universe $V^{B}$ and $V$?

It is well known that if $\phi$ is a $\Delta_{1}$-formula and $x_{1},..,x_{n}$ in $V$ and $V[G]$ is a forcing extension, then $V\models\phi(x_{1},...,x_{n})$ if and only if ...

**1**

vote

**0**answers

168 views

### Existence of $\lambda$-transitive linear orders for $\lambda \geq \aleph_0$

A linear order $(L, <)$ is $\lambda$-transitive iff any order-preserving bijection between sets of size $\lambda$ can be extended to an order automorphism of $L$.
For $\lambda < \aleph_0$, ...

**7**

votes

**1**answer

183 views

### Dedekind-finite arithmetic vs natural numbers arithmetic

It is known that the Dedekind-finite cardinals are closed under addition and multiplication, so one may do arithmetic in them, as opposed to only natural numbers.
How much can those two arithmetics ...

**13**

votes

**6**answers

1k views

### The origins of forcing in mathematical logic and other branches of mathematics

As everyone knows, forcing was created by Cohen to answer questions in set theory.
Question 1. What are the first applications of set theoretic forcing in other branches of mathematical logic, like ...

**23**

votes

**4**answers

915 views

### Forcing as a replacement of induction and diagonal arguments

Let me give some examples motivating the question.
The use of forcing instead of induction: For this consider Cantor's theorem:
Theorem 1. Any two countable dense linear orders $I, J$ without end ...

**6**

votes

**2**answers

741 views

### Is there a “large powerset axiom” so extreme that it disproves the existence of strongly inaccessible cardinals?

If $\kappa$ is a strongly compact cardinal, then the singular cardinal hypothesis holds above $\kappa$. Hence the existence of large cardinals at the level of "strongly compact" or above is ...

**12**

votes

**6**answers

808 views

### Application of Fraïssé construction in set theory

As you know Fraïssé limit construction and its generalization, Hrushovski's construction, have many applications in model theory to build models with interesting property.
Now I would like to know ...

**1**

vote

**1**answer

119 views

### Does the countable $\sigma$-product of a separable Hilbert space have a first countable topology?

Let $\mathcal{l}^2$ be "the" separable real infinite dimensional hilbert space, e.g. the space of square-summable sequences of real numbers.
Let $\Box^{\mathbb{N}}\mathcal{l}^2$ be the countable ...

**13**

votes

**3**answers

1k views

### Applications of set theory in physics

In the introduction of the paper "Links between physics and set theory", the following quote of Eris Chric is stated:
"Set theory perhaps is too important to be left just to ...

**3**

votes

**2**answers

278 views

### Impact of the axiom of replacement on finite sets

The axiom of replacement is usually used to prove the existence of large sets, to provide a reflection principle, for transfinite recursion… However, I am wondering how it affects finite sets. Let me ...

**17**

votes

**2**answers

1k views

### Philosophical arguments in defense (or against) large cardinals

The question is essentially what is asked in the title. I split it into two parts
(A) (Arguments supporting the existence of large cardinals) What are the main philosophical arguments in defense ...

**4**

votes

**1**answer

140 views

### Existence of $\kappa$-Suslin trees above a measurable cardinal

We have learned from Joel David Hamkins and Monroe Eskew that:
Answers:
Having a measurable cardinal $\delta$ we can force a $\kappa$-Suslin tree for many $\kappa$'s above $\delta$.
But is the ...

**3**

votes

**1**answer

99 views

### Infinite non-splittable graphs

Let $G=(V,E)$ be a graph. For $v\in V$ we set $N(v)=\{w\in V:\{v,w\}\in E\}$. We say that $G$ is splittable if there are $S,T\subseteq V$ with $S\cap T=\emptyset$ and $S\cup T = V$ such that
for all ...

**9**

votes

**0**answers

138 views

### Consistency strength of $\aleph_2$-Souslin hypothesis

Question 1. What is known about the consistency strength of $\aleph_2$-Souslin hypothesis?
Question 2. What is known about the consistency strength of having both $\aleph_2$-Souslin hypotheis and ...

**95**

votes

**12**answers

18k views

### Knuth's intuition that Goldbach might be unprovable

Knuth's intuition that Goldbach's conjecture (every even number greater than 2 can be written as a sum of two primes) might be one of the statements that can neither be proved nor disproved really ...

**6**

votes

**1**answer

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

**5**

votes

**0**answers

161 views

### Can the first ordinal in which $V\neq HOD$ be $\aleph_\omega$?

Assume that $V\neq HOD$ and let $\kappa = \min \{\alpha\in On \mid \mathcal{P}(\alpha) \not\subseteq HOD\}$.
Clearly, $\kappa$ is a cardinal.
Question: Is it consistent that $\kappa = ...

**7**

votes

**1**answer

219 views

### Notions of infinity in $\mathsf{ZF}$ without choice

Consider the following statements about a given set $X$ in in $\mathsf{ZF}$:
(1) There is $x_0\in X$ such that there is a surjective map $\varphi: X\setminus\{x_0\}\to X$.
(2) There is an injective ...

**0**

votes

**1**answer

187 views

### Definable surjections in $J$-structures

Recall that a $J$-structure is an amenable structure of the form ($J_{\alpha}^A,B$) where $A$ and $B$ are predicates and $\alpha$ is a limit ordinal. Then if you let $M=J_{\alpha}^A$, there is a ...

**54**

votes

**17**answers

6k views

### Proofs of the uncountability of the reals.

Recently, I learnt in my analysis class the proof of the uncountability of the reals via the Nested Interval Theorem. At first, I was excited to see a variant proof (as it did not use the diagonal ...

**6**

votes

**0**answers

148 views

### A generalization of SOCA

Roughly speaking, SOCA (Semi Open Coloring Axiom) says that for an open coloring of the unordered pairs over an uncountable separable metric space you can always find an uncountable homogeneous subset ...

**6**

votes

**2**answers

150 views

### Reference for proof that consistency of $\omega_1$-Erdos cardinal implies Con(Chang's Conjecture)

What is a good source for Silver's proof (or a more modern version) that Con($\exists \omega_1$-Erdos cardinal) implies Con(Chang's Conjecture)?
Silver's original proof seems to have never been ...

**0**

votes

**0**answers

48 views

### Number of “small” subsets to a “large” set [migrated]

For the following we assume the axiom of choice.
Let $X$ be a set of cardinality $l$ for some infinite cardinal number $l$, and let $p(X)$ be the number of subsets of $X$ that have cardinality ...

**29**

votes

**2**answers

903 views

### Does an existence of large cardinals have implications in number theory or combinatorics?

Does an existence of large cardinals have implications in more down-to-earth fields like number theory, finite combinatorics, graph theory, Ramsey theory or computability theory? Are there any ...

**11**

votes

**1**answer

236 views

### A classic cardinal characteristic of the continuum in disguise?

We believe the answer to the following question, that is relevant to a joint research project with Piotr Szewczak, should be known. We would appreciate any help or pointer.
Needed definitions may be ...

**1**

vote

**0**answers

164 views

### In set theory, is there a name for a function which maps the empty set to zero and all the others to one? [closed]

I would like to avoid inventing something which might be standard.
Thus, I'am asking if there is a name for a function which is defined as $f$:
Let $S$ be any set, then $f(S)=0$ if $S$ is empty and ...

**3**

votes

**0**answers

136 views

### A property of the Frechet filter and every ultrafilter

(Joint question with Piotr Szewczak.)
Definitions and notation. By filter we mean a filter on $\omega$ containing the cofinite sets at least.
For a filter $\mathcal{F}$, let ...

**-2**

votes

**0**answers

15 views

### Approximate point spectrum is complement of set of points of regular type [migrated]

I have a question concerning the approximate point spectrum of a closed linear operator. I need to show that the approximate point spectrum is the complement of the set of points of regular type, ...

**8**

votes

**3**answers

345 views

### Freiling's Axiom of Symmetry Concretized

Freiling's Axiom of Symmetry says that for any function $f:[0,1]\to \mathcal{P}([0,1])$ such that for every $x\in [0,1]$ we have $|f(x)|=\aleph_0$, then there exist $y,z\in [0,1]$ such that $z\notin ...

**13**

votes

**7**answers

1k views

### Finding the largest integer describable with a string of symbols of predefined length

(This question is motivated by the reading of the article Large numbers and unprovable theorems by Joel Spencer, which can be found at ...

**13**

votes

**4**answers

1k views

### Is there a natural bijection from $\mathbb{N}$ to $\mathbb{Q}$?

In a conversation where it came up that the Pythagoreans probably found an enumeration of the rational numbers I erroneously remarked that Georg Cantor found a natural bijection from $\mathbb{N}$ to ...