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

**4**

**0**answers

### Is each cover of the plane by lines minimizable?

**4**

**2**answers

### Counting without one-to-one correspondence?

**-1**

**0**answers

### Existence of a disjoint set of same cardinality [on hold]

**0**

**1**answer

### Can the union of difference sets in towers equal $\omega$?

**3**

**1**answer

### On filters possessing a countable network

**4**

**0**answers

### $MK+CC$ as a foundation for category theory

**7**

**2**answers

### “Mächtigkeit” versus “Kardinalität”?

**7**

**0**answers

### Examples of set theory problems which are solved using methods outside of logic

**12**

**1**answer

### Does this consequence of measurability in terms of games of length $\omega+1$ imply measurability?

**3**

**1**answer

### Partition theorems for located words

**4**

**1**answer

### Minimal covers in hypergraphs with finite edges

**10**

**0**answers

### On the Number of Parallel Automorphism Lines

**2**

**1**answer

### Maximality with respect to the splitting property

**0**

**1**answer

### Upward generators of $[\omega]^\omega$

**9**

**2**answers

### Can we have an infinite sequence of decreasing cardinality all terms of which have equal sized power sets?

**34**

**7**answers

### Paradoxical Mathematical Objects Pending for Construction [duplicate]

**6**

**1**answer

### Interpreting a space in Baire space: how many facts do I need to understand the whole thing?

**6**

**2**answers

### Are there known examples of sets whose power set is equal in size to power set of larger sets only in absence of choice?

**2**

**1**answer

### Example of self-dual hypergraph with infinite edges

**8**

**1**answer

### Whence “Durchschnitt” and “Vereinigung”?

**8**

**0**answers

### Universally meager spaces and large cardinals

**11**

**1**answer

### Fixed points of injective self-maps

**4**

**0**answers

### Can there be a segment of regular cardinals with the tree property capped by an almost-strongly-compact?

**-2**

**0**answers

### Set models of ZFC and their perspectives on themselves and on other models [migrated]

**13**

**1**answer

### Do choice principles in all generic extensions imply AC in $V$?

**32**

**2**answers

### How to find Erdős' treasure trove?

**10**

**1**answer

### Set-theoretical multiverses and their representation as functors? Why *the* multiverse?

**5**

**1**answer

### “König's theorem” for $T_2$-spaces?

**12**

**2**answers

### Set theory bootstrapping

**18**

**2**answers

### Mathematical Evidence Backing $|\mathbb{R}|=\aleph_2$

**7**

**2**answers

### Non-separable metric probability space

**9**

**2**answers

### What are the reflective subcategories of the category of presentable categories?

**3**

**1**answer

### What is the consistency strength of non-existence of outer automorphisms of Calkin algebra?

**9**

**1**answer

### Embeddings of Boolean algebras in $\wp(\omega)/Fin$

**4**

**1**answer

### What are examples of non-equivalent virtualizations of a large cardinal?

**3**

**1**answer

### On the Actual Potential of Virtual Large Cardinals

**3**

**1**answer

### Connected spaces where every dense set is large

**6**

**0**answers

### Does $0^{\#}$ imply that $L$'s set generic multiverse has irreconcilable theories?

**9**

**0**answers

### Which finite sets could be packed into a square?

**9**

**1**answer

### Is every complete Boolean algebra isomorphic to the quotient of a powerset algebra?

**5**

**0**answers

### Co-cones in the Turing degrees

**1**

**2**answers

### Bipartite subgraphs with lots of edges

**9**

**1**answer

### On the Large Cardinal Strength of Normal Moore Space Conjecture

**9**

**1**answer

### A reference to infinite version of the Sunflower Lemma

**6**

**1**answer

### Cohen generics over the ground model still Cohen over other generic extensions?

**14**

**1**answer

### What is the modal logic of outer multiverse?

**11**

**1**answer

### The Tall Tale of Terminating Transfinite Towers

**6**

**2**answers

### Paul Mahlo's Original Large Cardinal Paper

**13**

**2**answers

### Who first chose the names Alice and Bob for players A and B? [closed]

**2**

**1**answer