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

**19**

**1**answer

### Fubini without CH

**2**

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

**1**

**1**answer

### Strength of BTEE

**-1**

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

**13**

**0**answers

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

**0**

**0**answers

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

**2**

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

**11**

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

**0**

**0**answers

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

**9**

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

### measure of generic reals in forcing extensions

**0**

**0**answers

### What is the consistency strength of this kind of reflection principle?

**3**

**0**answers

### Embeddability into $\beta\omega$ and $\omega^*$

**2**

**1**answer

### Non-discrete $T_2$-space $(X,\tau)$ with $2^{|X|}$ retracts

**9**

**1**answer

### Rothberger property for finite covers

**1**

**1**answer

### Descending almost-contained subsets of $\omega$ [closed]

**4**

**0**answers

### A strong plus-one hypothesis

**10**

**3**answers

### Are inclusions “canonical” injections?

**4**

**0**answers

### A question about the products of power set sigma algebras

**3**

**0**answers

### Compactification of Tychonoff spaces without full axiom of choice

**9**

**0**answers

### Sacks property for higher cardinals

**13**

**0**answers

### Covering S2 with great circles

**7**

**1**answer

### Destroying Suslin, nothing special

**0**

**0**answers

### Is “ZF+ V=L” an upper limit theory for cardinal decidability (per its strength)?

**3**

**0**answers

### Formal foundations done properly [closed]

**8**

**1**answer

### Is there a minimal extension of $L$ that is not a forcing extension?

**7**

**1**answer

### Does $\mathsf{MA}^+(\sigma-{\rm closed})$ imply there are no Kurepa Trees?

**5**

**0**answers

### The surreal numbers under a change of universe

**5**

**1**answer

### Base zero-dimensional spaces

**22**

**3**answers

### How many sigma algebras exist on $\mathbb{R}$?

**1**

**1**answer

### What is the strength of this strict constructible iterative hierarchy?

**1**

**1**answer

### Is Replacement motivated by ranked iterative conception of sets?

**16**

**1**answer

### Is there a pair of non-isomorphic structures each of which is isomorphic to an ultrapower of the other?

**4**

**0**answers