# Tagged Questions

The tag has no usage guidance.

249 views

### A kind of anti-Ramsey result

In contrast to classic results for arithmetic progressions of arbitrary length in one set at least of any finite partition of IN, it is easy to construct a partition in two sets of integers A and B ...
857 views

327 views

### Can there be a tree of height $\omega_2$ having all levels countable, with no cofinal branch?

For many years I had the idea that if a well-founded tree is both very tall and very narrow, then it must have a cofinal branch. For example, it is a fun exercise to show that any $\omega_1$-tree ...
1k views

### How hard is it to destroy a diamond? (with a real)

If we start with $V\models\lozenge$, it is not hard to force the failure of diamond. You can blow up the continuum, or destroy all the Suslin trees. You can blow up the continuum of $\aleph_1$, and ...
66 views

### Edge-disjoint path-systems in infinite digraphs

Let $D=(V,A)$ be a directed graph without backward-infinite paths and let $\{ s_i \}_{i<\lambda},U \subset V$ where $\lambda$ is some cardinal. Assume that for all $u\in U$ there is a ...
2k views

### Hilbert's Hotel

Hilbert's Hotel is a famous story about infinity attributed to David Hilbert (1862-1943). Is it documented that Hilbert's Hotel is in fact due to Hilbert, and if yes, where?
255 views

381 views

### On Consistency of an Existence

Let $\omega \leq \kappa <2^{\omega}$ , $\omega \leq\lambda \leq \kappa$ and $D(\kappa, \lambda)$ be the statement: For all $\mathfrak{B} \subseteq \mathbf{P}(\omega)$ with $|\mathfrak{B}|=\kappa$...
404 views

357 views

243 views

### Adding large sets not containing countable ground model sets

The question is motivated by Toni's question "Approximation of infinite set in generic extension" (see Approximation of infinite set in generic extension). Before I state the question, let me add ...
158 views

### About non-stationary sets of $\omega_1$

Suppose $A$ is a non stationary set of $\omega_1$. Define by induction the following sequence of sets:\ $A_0 = A$ $A_{\alpha+1} = A_{\alpha}'$ [$X'$ is the subset of $X$, of all points the are ...
164 views

### Separation of almost disjoint families by ground model almost disjoint families

Suppose that $V$ is a model of $\sf ZFC$, and for concreteness I should point that at this point I am interested in $V=L$ as a ground model. Suppose that $V[c]$ is a Cohen extension of $V$ where $c$ ...
461 views

### Determinacy from $\omega_1\rightarrow(\omega_1)^{\omega_1}$
Assuming the Axiom of Determinacy (abbreviated AD), Martin showed how to derive a rather strong partition on $\omega_1$, namely that $\omega_1\rightarrow(\omega_1)^{\omega_1}$. In "Infinitary ...