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

**4**

**0**answers

### Asymptotically discrete ultrafilters

**3**

**0**answers

### Sunflower lemma in a more general poset?

**5**

**1**answer

### Relation between ultrafilters ${\scr U}$ and ${\scr U} \otimes {\scr U}$ [on hold]

**-1**

**0**answers

### Can we get rid of the primitive symbol $V$ in Ackermann's set theory this way?

**1**

**1**answer

### Dense subfilter of selective ultrafilter

**3**

**1**answer

### Models of $\mathsf{ZFC}$ with neither $P$- nor $Q$-points

**3**

**1**answer

### Finite covers of Boolean algebras by their subalgebras

**-1**

**0**answers

### Largest subset of the powerset of a countable set in which no set includes another [duplicate]

**0**

**0**answers

### Subsets of the unit interval [migrated]

**2**

**2**answers

### (Types of) induction on infinite chains

**5**

**0**answers

### Metrically Ramsey ultrafilters

**2**

**1**answer

### The property of the dense subfilter of a selective ultrafilter

**0**

**0**answers

### Some kind of idempotence of dense filter

**0**

**1**answer

### Semi-rigid boolean algebras

**4**

**0**answers

### Is Ackermann's set theory minus class comprehension equal to ZF?

**5**

**1**answer

### Amorphous proper classes in MK

**40**

**0**answers

### How many algebraic closures can a field have?

**15**

**1**answer

### Is Global Choice conservative over Zermelo with Choice?

**0**

**1**answer

### Finitely additive measure on Cartesian square of countable set

**9**

**2**answers

### Examples of transfinite towers

**0**

**1**answer

### Maximal elements in the Rudin-Keisler ordering

**10**

**2**answers

### On the absoluteness of higher Borel sets?

**1**

**0**answers

### Why does $p_{n}(i,1)=1$ so often where the polynomials $p_{n}$ are obtained from the classical Laver tables

**0**

**0**answers

### Infinite products of complex numbers or matrices arising from rank-into-rank embeddings

**8**

**1**answer

### A question on the ultrafilter number

**2**

**0**answers

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

**7**

**1**answer

### Non-tensor-representable ultrafilters on $\omega$

**7**

**1**answer

### Is there an abstract theory of club sets and stationary sets?

**2**

**1**answer

### Minimal cardinality of a filter base of a non-principal uniform ultrafilters

**1**

**0**answers

### Growth rate of the critical points of the Fibonacci terms $t_{n}(x,y)$ vs $t_{n}(1,1)$ in the classical Laver tables

**1**

**0**answers

### Attraction in Laver tables

**8**

**1**answer

### Axiom of choice and algebraic tensor product

**5**

**1**answer

### Amalgamation via elementary embeddings

**1**

**0**answers

### Multiple roots in the classical Laver tables

**4**

**0**answers

### Universal and strong $Q$-sets

**4**

**1**answer

### Is this lemma equivalent to the axiom of choice?

**1**

**1**answer

### Maximizing “happy” vertices in splitting an infinite graph

**3**

**1**answer

### The example of the idempotent filter or subsets family with finite intersections property

**1**

**0**answers

### Can we have $\sup\{\alpha\mid(x*x)^{\sharp}(\alpha)>x^{\sharp}(\alpha)\}=\infty$ in an algebra resembling the algebras of elementary embeddings?

**1**

**0**answers

### In the classical Laver tables, do we have $o_{n}(1)<o_{n}(2)$ for any $n>8$?

**3**

**1**answer

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

**1**

**0**answers

### What possible order type can the critical points of these algebras with one generator achieve?

**8**

**2**answers

### Small uncountable cardinals related to $\sigma$-continuity

**6**

**1**answer

### Which branches of mathematics can be done just in terms of morphisms and composition?

**6**

**1**answer

### On infinite combinatorics of ultrafilters

**2**

**0**answers

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

**1**

**0**answers

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

**1**

**0**answers

### Can we always extend a finitely generated reduced Laver-like algebra to a vast inverse system of Laver-like algebras?

**15**

**2**answers

### Raising the index of accessibility

**-4**

**2**answers