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

**2**

**0**answers

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

**-1**

**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

**3**

**1**answer

### A new generalisation of dimension? part 2

**2**

**0**answers

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

**3**

**1**answer

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

**2**

**0**answers

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

**4**

**0**answers

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

**6**

**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^*$?

**-1**

**1**answer

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

### Does the Hurwitz action of the braid group on rank-into-rank embeddings tend to increase the critical points?

**19**

**1**answer

### Fubini without CH

**3**

**1**answer

### Induced minors of $\{0,1\}^\omega$

**0**

**1**answer

### Axiom of Regularity (set theory) - trying to understand it [closed]

**-3**

**1**answer

### Can there be elementary embedding between a universe and a universe inside it?

**0**

**1**answer

### Strength of BTEE

**0**

**1**answer

### Finding a good transversal basis

**0**

**0**answers

### Is there a clear inconsistency with intense reflection of top properties of the universe?

**0**

**0**answers

### What is the consistency status of this theory?

**8**

**0**answers

### α-Mahlo vs weakly compact cardinals

**16**

**1**answer

### How is this fixed point theorem related to the axiom of choice?

**2**

**1**answer

### Can Ackermann set theory find a natural interpretation in light\heavy class dichotomy?

**11**

**0**answers

### Consistency strength of $j:L_δ→L_δ$ for some δ

**0**

**0**answers

### Is Reflective Set Theory stronger than $\small {\mathsf{ARC}}$?

**1**

**0**answers

### Does this axiomatic system satisfy requirements for founding mathematics?

**3**

**0**answers

### Arithmetic sums of Marczewski null sets

**5**

**1**answer

### Ordinal Exponentiation Levy Hierarchy

**10**

**0**answers

### Toposophy vs Set theoretical multiverse philosophy

**1**

**1**answer

### On a combinatorial set covering property

**2**

**1**answer

### Another question concerning p and t

**0**

**0**answers

### Can reflection in $V$ and reflection out of $V$ principles be used in the same theory?

**4**

**0**answers

### Can this reflective class theory interpret ZFC?

**7**

**1**answer

### Effective set= ordinal definable set

**-1**

**0**answers

### Why is $\omega^{\omega}$ countable? [migrated]

**0**

**0**answers

### What is the limit to iterating class comprehension, reflection and limitation of size?

**8**

**0**answers

### Reflection principle for intuitionistic Zermelo–Fraenkel?

**1**

**0**answers

### A new generalization of the dimension?

**3**

**1**answer

### What is the strength of adding limitation of size and a simple version of reflection to Ackermann set theory?

**6**

**0**answers