Pages that link to "Kripke–Platek set theory"
Jump to navigation
Jump to search
The following pages link to Kripke–Platek set theory:
Displaying 22 items.
- Mathematical logic (← links)
- Set theory (← links)
- Saul Kripke (← links)
- Axiom of empty set (← links)
- Axiom of power set (← links)
- Equinumerosity (← links)
- Descriptive set theory (← links)
- Kripke–Platek set theory with urelements (← links)
- List of first-order theories (← links)
- Large countable ordinal (← links)
- Admissible ordinal (← links)
- Constructive set theory (← links)
- Admissible set (← links)
- Bounded quantifier (← links)
- Alpha recursion theory (← links)
- Hyperarithmetical theory (← links)
- Subcountability (← links)
- Ordinal analysis (← links)
- Nonrecursive ordinal (← links)
- Ordinal collapsing function (← links)
- Axiom schema of predicative separation (← links)
- Testwiki:Reference desk/Archives/Mathematics/2010 December 2 (← links)