**6**

votes

**2**answers

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

**5**

votes

**2**answers

194 views

### When are all greater cardinals sharply greater?

Makkai and Paré introduced the following binary relation on regular cardinals: given $\kappa$ and $\lambda$, $\kappa \vartriangleleft \lambda$ (read, $\kappa$ is sharply less than $\lambda$) when ...

**0**

votes

**1**answer

642 views

### Is there any danger far from home? (Edited & Revised Version) [closed]

The notion of formal proof is defined by finite sequences ($<\omega$ - sequences) of sentences. In some sense if a sentence $\sigma$ is (finitely) provable from the theory $T$ it is very "near" to ...

**5**

votes

**2**answers

297 views

### Does ZF have an initial model?

Definition 1: A class $\mathcal{K}$ of countable transitive models of $\text{ZF}$ has an "initial member" $M$ if each member of $\mathcal{K}$ is a forcing extension of $M$ for some partial order ...

**5**

votes

**2**answers

138 views

### Formalizing Elementary Embeddings and Substructures in ZFC

The concept of elementary embedding is very important in the definition of several large cardinals ideas. The usual model-theoretic definition can not be expressed for some of these ideas within ...

**12**

votes

**0**answers

225 views

### capturing small sets in small factors

Suppose $\kappa$ is a regular cardinal and $P$ is a $\kappa$-c.c. partial order. I want to know when are small sets added by subforcings of size $<\kappa$. The following seems well-known:
...

**10**

votes

**2**answers

174 views

### What is the strength of chains of 1-extendibles?

Let $X$ be a collection of cardinals such that if $\kappa,\lambda\in X$ and $\kappa<\lambda$, then there is a non-trivial elementary embedding $j:V_{\kappa+1} \to V_{\lambda+1}$ with $crit(j) = ...

**5**

votes

**1**answer

238 views

### Failure of Shoenfield's Absoluteness

Shoenfield's absoluteness states that if $M \subseteq N$ are models of $ZF$ and $M \supseteq \omega_1^N$, then every $\Sigma^1_2$ formula with parameters in $M$ is absolute between $M$ and $N$. In ...

**5**

votes

**2**answers

216 views

### Prevalent singular cardinals hypothesis

The following notion is introduced by Assaf Rinot:
Definition. A singular cardinal $\kappa$ is a prevalent singular
cardinal iff there exists a family $\mathbb{A}\subset P(\kappa)$ with ...

**4**

votes

**2**answers

158 views

### On the number of models between a ground model and its forcing extension

Let $\kappa$ be a (finite or infinite) cardinal. Assuming consistency of $\text{ZFC}$ (and probabely some additional assumptions) is the following consistent with $\text{ZFC}$?
There is a countable ...

**4**

votes

**1**answer

147 views

### Discontinuous representations of GL(n,C) in ZF

Discontinuous linear representations of $GL(n,\mathbb{C})$ can be obtained from the so-called "wild" (field) automorphisms of $\mathbb{C}$; but these wild automorphisms in turn require some choice to ...

**3**

votes

**2**answers

149 views

### Joint Forcing Extension Property

Definition 1: A class $\mathcal{K}$ of countable transitive models of $\text{ZF}$ has strong "joint forcing extension property" (JFEP) iff for all $M,N\in \mathcal{K}$ there are forcing notions ...

**0**

votes

**1**answer

156 views

### About the rank of sets [closed]

Let us work in ZFC set theory, let A and B be two sets and C be the set of functions with domain A and range B.
Question: what can be said about c=rank(C), knowing a=rank(A) and b=rank(B) ?
Gérard ...

**7**

votes

**1**answer

249 views

### $\aleph_2$ Suslin Hypothesis

Is it still open whether ZFC+GCH is consistent with the statement that there are no $\aleph_2$-Suslin trees?

**8**

votes

**0**answers

429 views

### Full conditional probabilities and versions of AC?

A probability is a finitely additive measure on a boolean algebra with total measure $1$.
A function $P:\scr B \times (\scr B - \{ 0 \})$ is a full conditional probability on $\scr B$ (for a boolean ...

**3**

votes

**0**answers

137 views

### Does ZF prove that every $\Sigma_n$-axiom of ZF is true?

According to a famous result by Levy truth of $\Sigma_n$-formulas is definable using a $\Sigma_n$-formulas (that means: If you insert a Gödel number of a formula into this defining formula, they are ...

**9**

votes

**0**answers

190 views

### Are there trees for $(\Sigma^2_1)^{\text{uB}}$?

If there is a proper class of Woodin cardinals, then Woodin showed (using stationary towers) that $(\Sigma^2_1)^{\text{uB}}$ statements are generically absolute, where $\text{uB}$ denotes the ...

**7**

votes

**1**answer

191 views

### A special c.c.c forcing notion and adding minimal generic reals

This question is related to my question "Forcing with c.c.c forcing notions, Cohen reals and Random reals".
A natural way to answer Prikry's conjecture is to build a c.c.c. forcing notion which adds ...

**7**

votes

**1**answer

262 views

### Is definability of a basis for $\mathbb{R^N}$ independent of ZFC?

By $\mathbb{R^N}$ I mean the real vector space with the natural componentwise addition and scalar multiplication. Certainly ZFC+(V=L) gives definable bases, but does ZFC?

**26**

votes

**2**answers

819 views

### Continuous functions $f$ with $f(A)$ linearly independent when $A$ is independent

Is there any characterization of continuous functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ such that for any linearly independent set $A$ (over the rationals) $f(A)$ is also linearly independent ?

**8**

votes

**1**answer

341 views

### Shelah's book on “Classification Theory”

As we know one of the most important and fundamental books in stability, simplicity, forking and ... classification theory, is Shelah's "Classification Theory" where lots of original ideas of the ...

**5**

votes

**3**answers

262 views

### Consistency strength of the failure of Shelah's Strong Hypothesis (SSH)

Some known facts about SSH (Shelah's Strong Hypothesis):
i) "$0^\sharp$ does not exist" implies SSH.
ii) SSH implies SCH (Singular Cardinal Hypothesis).
iii) The failure of SCH is equiconsistent ...

**16**

votes

**2**answers

699 views

### An order type $\tau$ equal to its power $\tau^n, n>2$

(This is a re-post of my old unanswered question from Math.SE)
For purposes of this question, let's concern ourselves only with linear (but not necessarily well-founded) order types.
Recall that:
...

**7**

votes

**0**answers

127 views

### Other variants of the Shelah's Weak Hypothesis

The paper "Splitting families of sets in ZFC", of Menachem Kojman, presents these variants of the Shelah's Weak Hypothesis:
$$
(\textrm{SWH}_n) \textrm{ There are no infinite } \nu \textrm{ and } ...

**8**

votes

**2**answers

397 views

### Is the tree of large cardinals linear?

Kanamori in the introduction of his book "The Higher Infinite" says:
"The investigation of large cardinal hypotheses is indeed a mainstream of modern set theory, and they have been found to play a ...

**5**

votes

**1**answer

174 views

### Computing $L$-rank (constructible universe)

I posted this question on Math StackExchange but did not get a full answer. I hope it's not a problem if I ask again here.
Is there a way to compute explicitly the $L$−rank $\rho(\bigcup x)$ of ...

**4**

votes

**4**answers

386 views

### Strength of some claims about finitely additive measures on infinite sets?

Assume ZF. Consider the claim:
(1) For any infinite set $\Omega$, there is a finitely additive probability measure $\mu:2^\Omega\to[0,1]$ with $\mu(A) = 0$ whenever $|A|<|\Omega|$.
Then (1) is ...

**2**

votes

**1**answer

193 views

### Forcing Language

I asked the following question (slightly paraphrased) about a week ago in Stack exchange but no one knew the answer to the particular question. I was hoping someone here might be able to help me.
...

**14**

votes

**4**answers

1k views

### A New Continuum Hypothesis (Revised Version)

Define $N_n$ as $n$ th natural number: $N_0=0, N_1=1, N_2=2, ...$.
What happens after exponentiation?
We have the following equation: $2^{N_n}=N_{2^{n}}$.
(Which says: For all finite cardinal $n$ ...

**5**

votes

**1**answer

193 views

### $\Sigma_1$ Statements and Forcing Extensions

Assuming consistency of $\text{ZFC}$ (with some large cardinal axiom), is the following statement consistent with $\text{ZFC}$?
Any $\Sigma_1$ statement with parameters $\omega_1,\omega_2$ which ...

**5**

votes

**1**answer

165 views

### Forcing over models of determinacy

Consider a ctm $\mathfrak{M}$ of $ZF+AD^+$. Is it possible to force over $\mathfrak{M}$ to get a model of ZFC which satisfies further the following:
Every projectively definable family of sets of ...

**4**

votes

**1**answer

244 views

### Consistency Strength of the Failure of Square on Singular Cardinals

Q1. What is the consistency strength of the failure of square on singular cardinals?
Q2. What are known as partial results in this direction?

**6**

votes

**2**answers

223 views

### Possible Choices for Cofinality of $\aleph_n$ without Choice

$\text{ZFC}$ proves that each $\aleph_{n}$ for $n\in \omega$ is a regular cardinal. But it seems without the Axiom of Choice there are many consistent possible choices for cofinality of such ...

**8**

votes

**1**answer

247 views

### Weak threads in $\square (\kappa, <\kappa)$ sequences

The following definition is well known ($\kappa$ is regular uncountable cardinal):
Definition: a sequence $\mathcal{C} = \langle \mathcal{C}_\alpha | \alpha < \kappa,\,\alpha \text{ limit ...

**2**

votes

**2**answers

503 views

### Can this informal argument (for the fact that almost all reals in the unit interval are irrational) be saved?

In the textbook from which I am teaching a Discrete Math course, the authors propose randomly generating an infinite sequence of decimal digits $d_1, d_2, \dots$. We are to think of this as the ...

**14**

votes

**1**answer

312 views

### Non-dense uncountable linear orderings

While I was working on my paper I came across this question:
$\mathbf{Question}$. Suppose $(X,<)$ is an uncountable linear ordering of cardinality $\kappa$. Is there a subset $Y$ of $X$ such that ...

**6**

votes

**1**answer

166 views

### An explicit construction of reals added after some forcing notions

Consider the forcing notion(s) introduced by Friedman (or Mitchell or Neeman) for adding a club subset of $\omega_2$ by finite conditions. In the generic extension CH fails, but I can't see the reals ...

**5**

votes

**0**answers

138 views

### Impact of Supercompacts on Measurables

It is consistent that the least measurable cardinal can carry exactly one normal measure but in almost all models for this theory there is no supercompact cardinal. It seems existence of a ...

**4**

votes

**3**answers

391 views

### Infinite Partitions of the Primes and Sums of Reciprocals (Revised)

I have revised my original post. The questions I asked there were not well-put or even thought through. I don't want to delete, however, since some of the comments may be of interest to other MO ...

**2**

votes

**2**answers

239 views

### Projectively definable family of sets of reals

Is there a model of set theory in which:
Every projectively definable family of sets of reals has an OD or projectively definable member;
Every OD or projectively definable set of reals has the ...

**7**

votes

**4**answers

438 views

### A Special Pair of Models for ZFC (New Version)

Are there two models $M$ and $N$ for $\text{ZFC}$ such that:
(1) $M\subseteq N$
(2) $\aleph_{1}^{N}=\aleph_{1}^{M}$
(3) $\aleph_{2}^{N}=\aleph_{\omega +1}^{M}$
Update: According to Peter's useful ...

**7**

votes

**0**answers

136 views

### Critical Points of Rank-into-Rank Embeddings

A rank-into-rank embedding is a non-trivial elmentary embedding from a rank initial segment of $V$ into itself: $j:V_\delta\prec V_\delta$. Define the critical sequence of such an embedding by setting ...

**10**

votes

**2**answers

336 views

### Is sigma-additivity of Lebesgue measure deducible from ZF?

Is sigma-additivity (countable additivity) of Lebesgue measure (say on measurable subsets of the real line) deducible from the Zermelo-Fraenkel set theory (without the axiom of choice)?
Note 1. ...

**10**

votes

**2**answers

401 views

### Ways to define “definability”

The notion of a definable set is not expressible in the language of set theory: there is no formula $\delta(x)$ that is equivalent with there being a formula $\phi(y)$ such that $x = \lbrace y : ...

**6**

votes

**2**answers

331 views

### The First Failure of GCH in Large Cardinals Smaller than Measurables

A well known theorem by Scott says:
If $\kappa$ is a measurable cardinal and $\mu$ a normal measure on it and $\mu (\lbrace\lambda\in\kappa~|~2^{\lambda}=\lambda^{+}\rbrace)=1$ then ...

**3**

votes

**1**answer

168 views

### Failure of GCH at indescribable cardinals

Can $\Pi^m_n$ indescribable cardinal be the first one where $\text{GCH}$ fails?
Hauser showed in
Hauser,K.: Indescribable cardinals and elementary embeddings.
J. Symb. Logic 56, 439457 (1991)
that ...

**5**

votes

**0**answers

130 views

### Solovay's Theorem on Partitions of Stationary Sets and Weak Choice Principles

There is a weak choice principle called $DC_\lambda$ which holds in $L(V_{\lambda+1})$ under the assumption of a non-trivial elementary embedding $$j:L(V_{\lambda+1})\prec L(V_{\lambda+1})$$ and it is ...

**11**

votes

**1**answer

167 views

### extending elementary embeddings from initial segments of V to all of V

Suppose $j:V_\lambda \rightarrow V_\eta$ is (elementary and) cofinal. Can $j$ be extended to all of $V$?
(Subsidiary question: What conditions are there on an ultrafilter/extender/whatever so that ...

**14**

votes

**3**answers

264 views

### Does an ultrapower of an Aronszajn tree have an $\omega_{1}$-branch?

Throughout this question, I shall let $A^{\mathcal{U}}$ denote the ultrapower of a structure $A$ by an ultrafilter $\mathcal{U}$. Suppose that $T$ is an Aronszajn tree and $\mathcal{U}$ is an ...

**7**

votes

**1**answer

251 views

### Countable Product of Class Forcing Notions

Is the following consistent?
There are definable class forcing notions $\lbrace \mathbb{P}_{n}\rbrace_{n\in \omega}$ such that:
The product of any finitly many of them preserves $\text{ZFC}$ and ...