**1**

vote

**2**answers

286 views

### Have axioms / axiom schemata of this flavour been proposed or otherwise considered?

With the exception of a few miscellaneous cases, the axioms (and/or schemeta) of ZFC can roughly be divided into two kinds:
Those that guarantee the existence of more complicated sets, given that ...

**4**

votes

**3**answers

490 views

### Knaster Tarski theorem, example needed

http://en.wikipedia.org/wiki/Knaster%E2%80%93Tarski_theorem
Let $L$ be a complete lattice and let $f : L \to L$ be an order-preserving function. Then the set of fixed points of $f$ in $L$ is also a ...

**-3**

votes

**0**answers

80 views

### Prove that (AxB)∩(CxD)=(A∩C)x(B∩D) [on hold]

Prove that $(A\times B)\cap (C\times D) = (A\cap C)\times (B\cap D)$
where $\times$ represents the Cartesian product.

**6**

votes

**2**answers

322 views

### How to show that the chromatic number > aleph_0

Let $V =\{ f | \exists _{\alpha<\omega_1} ( f:\alpha \rightarrow \mathbb{N} \wedge f $ is $ 1-1) \}$. We define $E\subseteq [V]^2 $, such that $\forall_{f,g\in V } (<f,g>\in E ...

**3**

votes

**1**answer

222 views

### Suslin lines hereditarily Lindelof

I need to prove that every suslin line is hereditarily Lindelof. Any idea will be helpfull.

**3**

votes

**1**answer

230 views

### What year was Hechler forcing created?

Hechler forcing is described on page 278, Jech.
Does anyone know when Hechler forcing was first used in a publication?

**4**

votes

**0**answers

125 views

### $\infty$-Borel Determinacy?

An $\infty$-Borel set is a set $X\subseteq\mathbb{R}$ which has an $\infty$-Borel code - a set $r$ coding the construction of $X$ via open sets, complementation, and well-ordered unions (see ...

**10**

votes

**0**answers

311 views

### Intermediate submodels without Boolean algebras

My question is motivated by the following well-known fact regarding intermediate submodels of generic extensions. I would like to know if it can be proven using posets without the need for Boolean ...

**-2**

votes

**0**answers

88 views

### Formal definition of function: equality [closed]

Consider this formal definition of function, which does not require $A$ to be domain.
\vspace{0.5cm}
\textit{Let $A$, $B$ be sets, then $F\subseteq A \times B$ is said to be a function iff
...

**13**

votes

**1**answer

338 views

### Random reals and strongly meager sets

Adding a single Cohen real makes the set of reals from the ground model strong measure zero (see this question).
The notion of strong measure zero sets has its dual concept in the category branch -- ...

**4**

votes

**2**answers

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

**13**

votes

**0**answers

183 views

### A question about small sets of reals

In ZFC, does there exist an uncountable set of reals $A$ such that for every closed measure zero set of reals $B$, $ A + B = \{a+b : a \in A, b \in B\} \neq \mathbb{R}$?
This question is motivated ...

**9**

votes

**0**answers

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

**5**

votes

**0**answers

362 views

### Different approaches to the multiverse of sets

There are some different approaches to the multiverse of sets, in particular:
1) The approach by Woodin,
2) The approach by Sy Friedman, ...,
3) The approach by Hamkins.
I wonder to know if ...

**46**

votes

**12**answers

8k views

### Logic in mathematics and philosophy

What are the relations between logic as an area of (modern) philosophy and mathematical logic.
The world "modern" refers to 20th century and later, and I am curious mainly about the second half of ...

**9**

votes

**1**answer

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

**7**

votes

**2**answers

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

**11**

votes

**0**answers

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

**7**

votes

**2**answers

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

**7**

votes

**1**answer

532 views

### A topological space for which having the ccc is independent of ZFC?

It is well known that a generalized Cantor space $2^A$ is separable if and only if $|A| \leq 2^{\aleph_0}$. This means that one cannot decide in $ZFC$ whether the space $2^{\omega_2}$ is separable or ...

**14**

votes

**2**answers

395 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

**1**answer

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

**0**

votes

**0**answers

12 views

### the lexicographix order [migrated]

If it is given ordinals $\alpha$ and $\beta$, the lexicographix order on $\alpha \times \beta$,$\leq_{lex}$ is given by: $(\gamma_0,\delta_0)<_lex(\gamma_1,\delta_1)$ if and only if either ...

**6**

votes

**1**answer

175 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

**2**answers

327 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

**2**answers

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

**9**

votes

**0**answers

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

**23**

votes

**3**answers

729 views

### Does every set of reals contain a measure-zero set of the same cardinality? Does it contain a meager set of the same cardinality?

This question arises from an issue in my post on Ashutosh's excellent question on Restrictions of the null/meager ideal.
Question 1. Does every set of reals contain a measure-zero subset
of the same ...

**8**

votes

**1**answer

415 views

### A question about the Axiom of Choice

Let AC denote the Axiom of Choice. Let PP denote the so-called "Partition Principle" which states that "If S is a non-empty set and T is a non-empty set of pairwise disjoint subsets
of S, then S can ...

**8**

votes

**2**answers

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

**5**

votes

**1**answer

308 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 regressive functions
$f$ from $\omega_1$ minus singleton $0$ into $\omega_1$,
...

**9**

votes

**1**answer

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

**7**

votes

**1**answer

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

**12**

votes

**1**answer

294 views

### Families of pairwise incomparable subsets of the integers

Certain maximal objects whose existence follows from Zorn's Lemma have received some
set-theoretic attention.
Examples are maximal independent families and maximal almost disjoint families.
There is ...

**9**

votes

**1**answer

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

**6**

votes

**0**answers

131 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

**0**answers

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

**5**

votes

**2**answers

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

**1**

vote

**3**answers

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

**-3**

votes

**1**answer

118 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?

**5**

votes

**1**answer

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

**15**

votes

**1**answer

233 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

**1**answer

229 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

**2**answers

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?

**22**

votes

**15**answers

4k views

### What's a magical theorem in logic?

Some theorems are magical: their hypotheses are easy to meet, and when invoked (as lemmas) in the midst of an otherwise routine proof, they deliver the desired conclusion more or less ...

**9**

votes

**1**answer

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

**8**

votes

**1**answer

397 views

### Can all aleph_2-dense subsets of R be isomorphic?

Let $\kappa$ be an infinite cardinal. For a subset $A \subseteq \mathbb{R}$, we say that $A$ is $\kappa$-dense if $|A \cap (a, b)| = \kappa$ for every interval $(a, b)$. By Cantor, any two ...

**15**

votes

**1**answer

820 views

### Gödel's Constructible Universe in Infinitary Logics (A Possible Approach to HOD Problem)

Gödel's constructible universe ($L$) is defined using definable power set operator in first order logic ($\mathcal{L}_{\omega ,\omega}$). One can produce such a universe in infinitary logics in ...

**1**

vote

**1**answer

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

**16**

votes

**2**answers

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