Power Kripke–Platek set theory and the axiom of choice (Q5108033)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Power Kripke–Platek set theory and the axiom of choice |
scientific article; zbMATH DE number 7194708
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Power Kripke–Platek set theory and the axiom of choice |
scientific article; zbMATH DE number 7194708 |
Statements
Power Kripke–Platek set theory and the axiom of choice (English)
0 references
29 April 2020
0 references
power Kripke-Platek set theory
0 references
ordinal analysis
0 references
ordinal representation systems
0 references
proof-theoretic strength
0 references
power-admissible set
0 references
global axiom of choice
0 references
