# Questions tagged [set-theory]

forcing, large cardinals, descriptive set theory, infinite combinatorics, cardinal characteristics, forcing axioms, ultrapowers, measures, reflection, pcf theory, models of set theory, axioms of set theory, independence, axiom of choice, continuum hypothesis, determinacy, Borel equivalence relations, Boolean-valued models, embeddings, orders, relations, transfinite recursion, set theory as a foundation of mathematics, the philosophy of set theory.

3,450 questions
65 views

### Asymptotically discrete ultrafilters

Definition 1. A ultrafilter $\mathcal U$ on $\omega$ is called discrete (resp. nowhere dense) if for any injective map $f:\omega\to \mathbb R$ there is a set $U\in\mathcal U$ whose image $f(U)$ is a ...
135 views

### Sunflower lemma in a more general poset?

The sunflower lemma may be viewed as a statement about the poset $P_\omega(\omega_1)$, and the generalized sunflower lemma may be viewed as a statement about the poset $P_\lambda(\kappa)$ for $\kappa$ ...
147 views

320 views

261 views

### A question on the ultrafilter number

Let $\mathfrak{u}$ denote the ultrafilter number, which is defined to be the minimum cardinality of a subset of $\mathcal{P}(\mathbb N)$ which is a base for a nonprincipal ultrafilter on $\mathbb{N}$. ...
84 views

### Covering numbers - looking for a more combinatorial proof

For cardinals $\mu$, $\kappa$, $\theta$, and $\sigma$, the covering number $cov(\mu,\kappa,\theta,\sigma)$ is defined to be the minimum cardinality of a set $P\subseteq [\mu]^{<\kappa}$ such that ...
134 views

70 views

39 views

128 views

### Nonexistence of a 'product universal' compact Hausdorff pseudotopological space?

I'm largely following the definitions of this paper, but I will replicate the relevant ones here. I'm taking a pseudotopological space to be a set $X$ together with a relation $\rightarrow$ on the ...
32 views

254 views

### On infinite combinatorics of ultrafilters

Let $\mathcal{U}$ be (selective) ultrafilter and $\omega = \coprod_{i<\omega}S_i$ be partition of $\omega$ with small sets $S_i\notin\mathcal{U}$. All $S_i$ are infinite. Does there exist a system ...
68 views

### For each $n$ is it possible to have $\mathrm{crit}(x^{[n]}*y)>\mathrm{crit}(x^{[n-1]}*y)>\dots>\mathrm{crit}(x*y)$?

Suppose that $(X,*,1)$ satisfies the following identities: $x*(y*z)=(x*y)*(x*z),1*x=x,x*1=1$. Define the Fibonacci terms $t_{n}(x,y)$ for $n\geq 1$ by letting t_{1}(x,y)=y,t_{2}(x,y)=x,t_{n+2}(x,y)=...
26 views

### Vastness of inverse systems of Laver-like algebras

Suppose that $(X,*,1)$ satisfies the identities $x*(y*z)=(x*y)*(x*z),x*1=1,1*x=x$. Then we say that $(X,*,1)$ is a reduced Laver-like algebra if whenever $x_{n}\in X$ for all $n\in\omega$, there is ...
An $(X,*,1)$ that satisfies the identities $x*(y*z)=(x*y)*(x*z),1*x=x,x*1=1$ is said to be a reduced Laver-like algebra if whenever $x_{n}\in X$ for $n\in\omega$, there is some $N\in\omega$ where $x_{... 2answers 346 views ### Raising the index of accessibility In the standard reference books Locally presentable and accessible categories (Adamek-Rosicky, Theorem 2.11) and Accessible categories (Makkai-Pare,$\S$2.3), it is shown that for regular cardinals$\...
Consider the definition of measurable cardinal (this definition was found in Neil Barton's paper, "Large cardinals and the iterative conception of set"): Definition 8. A cardinal $\kappa$ is ...