Tagged Questions

2
votes
1answer
204 views

Set Theory exercise.

I find myself unable to solve question 24.1 of T. Jech's Set Theory: If $\beta<\omega_1$ and if $2^{\aleph_{\alpha}}\leq\aleph_{\alpha+\beta}$ for a stationary set of $\ …
3
votes
1answer
99 views

Well-Ordering theorem of cardinal$\kappa$

I've heard from others about the WO($\kappa$) as a counterpart of AC($\kappa$), but I cannot find a suitable way to express it in ZF since "every set of cardnality $\kappa$ can be …
1
vote
2answers
127 views

A question about large real closed fields

A real closed field can be ordered in one and only one way, and is therefore provided with a unique order topology. Given any infinite cardinal number k, does there always exist a …
6
votes
1answer
181 views

Does the generalized $\Delta$-system lemma imply some weak version of the GCH?

Let $\Delta(\kappa, \mu)$ be the statement: "let $F$ be a family of cardinality $\kappa$ of sets of cardinality less than $\mu$. Then there is a family $G \subset F$ of cardinality …
8
votes
1answer
246 views

Cardinals without choice: interpolation (reference wanted)

Is there a published reference for this ZF theorem? Let $m,n\in\mathbb{N}$. If $a_1,\dots,a_m$ and $b_1,\dots,b_n$ are cardinals such that $a_i\le b_j$ for all $i$ and $j$, then t …
8
votes
1answer
324 views

Does this property of a partially ordered set have a name?

What do you call a poset with this property? For any elements $a,b,c,d$ such that $\{a,b\}\le\{c,d\}$, there is an element x such that $\{a,b\}\le x\le\{c,d\}$. (Equivalently, for …
5
votes
2answers
213 views

collapsing successor of singular

Let $\lambda$ be a singular cardinal. Is it consistent that there is a forcing of size $\lambda^+$ that collapses $\lambda^+$ while preserving all cardinals below $\lambda$? (Not …
4
votes
0answers
112 views

From universal measurability to measurability

Let $(\Omega,\Sigma)$ be a measurable space and $K$ be a compact metrizable space endowed with its Borel $\sigma$-algebra $\mathcal{B}(K)$. Let $A\subseteq\Omega\times K$ be …
7
votes
1answer
328 views

How long can it take to generate a $\sigma$-algebra?

I want to know if there is a $\sigma$-algebra such that for every countable ordinal $\alpha$ the $\sigma$-algebra can be generated in more than $\alpha$ steps but less than $\omega …
10
votes
1answer
306 views

Forcing mildly over a worldly cardinal.

A cardinal $\theta$ is worldly if $V_{\theta}$ is a model of ZFC. We could force to collapse $\theta$ to a successor cardinal, for example, and destroy the worldliness of $\theta$ …
4
votes
1answer
162 views

Question about Shelah’s version of “Shooting a club” found in PIF

Suppose $S \subset \omega_{1}$ is stationary co-stationary. Then there is a forcing notion $P_{S}$ which shoots a closed unbounded $C \subset S$ without collapsing cardinals (or …
5
votes
1answer
328 views

Showing a filter with a certain property on the power set of $\mathbb{Z}$ is a one point filter

Let $\mathcal{P}_0(X)$ the Power set of $X$ without the empty set and let $\dot{x}:=\{A\subseteq X: x \in A\}$ the one point filter generated by $x$. Furtermore let $$ \mathcal{A} …
10
votes
2answers
351 views

If ZFC has a transitive model, does it have one of arbitrary size?

It is known that the consistency strength of $\sf ZFC+\rm Con(\sf ZFC)$ is greater than that of $\sf ZFC$ itself, but still weaker than asserting that $\sf ZFC$ has a transitive mo …
5
votes
1answer
224 views

Partition relation, almost a Ramsey cardinal?

Is it consistent with ZFC to have a cardinal $\kappa$ which is not Ramsey and $\kappa \rightarrow [\kappa]^{<\omega}_{\omega,n}$ holds for some $n\in \omega$? The partition rel …
9
votes
2answers
155 views

Is it possible to reconstruct an order type from its initial segments?

Suppose $T$ is a totally ordered set without a maximal element, $\tau$ is the order type of $T$, $S$ is the set of order types of all proper initial segments (downward closed sub …

1 2 3 4 5 83 next
15 30 50 per page