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

**1**

**1**answer

### Compare direct limits of two pairwise isomorphic direct systems

**12**

**0**answers

### Universal locally countable partial order

**0**

**0**answers

### Good texts (other than Kunen and Jech) on set theory, specifically on consistency proofs (reflection theorems, absoluteness, etc) [on hold]

**4**

**1**answer

### A simple proof for a case where: $\mathbf{L}_\mu \models ZF^-$?

**21**

**9**answers

### Defining the standard model of PA so that a space alien could understand

**4**

**1**answer

### Turing independent refinement

**0**

**0**answers

### Cardinal exponentiation [migrated]

**7**

**1**answer

### Exterior powers and choice

**6**

**1**answer

### Generic saturation of inner models

**22**

**7**answers

### Why not adopt the constructibility axiom $V=L$?

**12**

**1**answer

### Existence of a model of ZFC in which the natural numbers are really the natural numbers

**3**

**1**answer

### Is there a universally meager air space?

**2**

**1**answer

### Injective choice function for “lines” in an infinite cardinal

**10**

**1**answer

### Does the statement 'there exists a first-order theory $T$ with no saturated models' have any set theoretic strength?

**18**

**2**answers