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

**6**

**0**answers

### Is there any theorem achieving Conway's “Mathematician's Liberation Movement”

**14**

**0**answers

### Does inner model theory seek canonical models for large cardinals?

**1**

**0**answers

### Which varieties are compatible with the classical Laver tables?

**5**

**0**answers

### The descriptive complexity and definiteness of the space of all elementary embeddings $j:V_{\lambda+1}\rightarrow V_{\lambda+1}$

**3**

**0**answers

### Can a finitely generated algebra of rank-into-rank embeddings grow at rate $O(n\cdot\log(n))$?

**6**

**1**answer

### Covering compact Hausdorff spaces with closed $G_\delta$ sets

**6**

**2**answers

### Poset dimension and width (Dilworth's theorem)

**4**

**1**answer

### Stronger negation of AC given by rejecting “infinite hat” puzzles

**3**

**1**answer

### Hartogs' Number of the Reals and $\Theta$ without choice

**10**

**4**answers

### When is it okay to intersect infinite families of proper classes?

**0**

**0**answers

### Strength of $Δ^1_{2n}$ determinacy

**4**

**1**answer

### “Surjective cardinals” - using surjections rather than injections to define isomorphism classes of sets

**0**

**0**answers

### Can Laver tables go extinct?

**2**

**1**answer

### Hypergraph colorings with small fibers

**2**

**0**answers

### Is there a normal separable sequential $\aleph$-space with uncountable extent?

**0**

**1**answer

### Size of edge set of infinite hypergraphs with $\chi(H) = |V(G)|$

**2**

**0**answers

### Does the period of the first row in the odd size bad Laver tables grow without bound?

**8**

**0**answers

### Model for “$\kappa$ limit cardinal iff $2^\kappa$ limit cardinal”

**10**

**1**answer

### 'stationary' almost disjoint families

**1**

**0**answers

### How many critical points can you have below a Fibonacci term in an algebra of elementary embeddings?

**4**

**1**answer

### Is each cosmic space cometrizable?

**2**

**0**answers

### 3 questions around the Stone space of the free $\sigma$-algebra on $\omega_1$ free generators

**8**

**1**answer

### A strictly decreasing function between uncountable subsets of the reals

**11**

**1**answer

### ZF(C) and category theory

**4**

**1**answer

### (non) separability of the power set

**9**

**2**answers

### Terminology about trees

**4**

**1**answer

### Are there any I1 embeddings with interweaving critical sequences?

**5**

**1**answer

### Variant of Sierpiński's result on non-atomic measures

**8**

**0**answers

### Topological applications of $\mathfrak{p}=\mathfrak{t}$

**0**

**1**answer

### Smallest $\beta$ such that it is provable that $2^{\aleph_\beta} > 2^{\aleph_0}$

**1**

**0**answers

### A linear ordering on the quotient algebras of elementary embeddings?

**2**

**0**answers

### A Baire space with meager projections

**2**

**1**answer

### A new generalisation of dimension? part 2

**3**

**0**answers

### What is the computational complexity of equivalence up to a critical point in the one generator free self-distributive algebra?

**4**

**1**answer

### Does measurability of cardinal $\kappa$ imply measurability of $2^\kappa$?

**3**

**0**answers

### Arriving at the critical points in an algebra of elementary embeddings in a unique way

**9**

**1**answer

### What is known about topological groups of countable spread in ZFC?

**7**

**1**answer

### Is a Borel image of a Polish space analytic?

**3**

**0**answers

### Can algebras of elementary embeddings be sufficiently described by two element subalgebras?

**1**

**0**answers

### Random variables over large measurable cardinals

**7**

**0**answers

### If $j_{1},…,j_{n}:V_{\lambda+1}\rightarrow V_{\lambda+1}$ are elementary embeddings, then does $j_{1}(A)=…=j_{n}(A)=A$ for some linear order $A$?

**15**

**1**answer

### Axiom of Choice versus V=L in opposition to large cardinals

**4**

**0**answers

### Examples of Yang-Baxter monoids

**8**

**0**answers

### Proper classes in Bounded Zermelo set theory

**1**

**0**answers

### Consistency of reflective sequences

**4**

**0**answers

### Permutative Yang-Baxter monoids

**3**

**0**answers

### final coalgebra of the 𝓟${_{<κ}}$(A×X) endo-functor in $Set^*$?

**0**

**0**answers

### What is the consistency strength of this kind of iterating Berkeley cardinals?

**0**

**1**answer

### Why the restrictions in the definition of Berkeley cardinals?

**3**

**0**answers