On Some Semi-constructive Theories Related to Kripke–Platek Set Theory (Q5214791)
From MaRDI portal
scientific article; zbMATH DE number 7163214
Language | Label | Description | Also known as |
---|---|---|---|
English | On Some Semi-constructive Theories Related to Kripke–Platek Set Theory |
scientific article; zbMATH DE number 7163214 |
Statements
On Some Semi-constructive Theories Related to Kripke–Platek Set Theory (English)
0 references
5 February 2020
0 references
intuitionistic Kripke-Platek set theory
0 references
functional interpretations
0 references
\(\Sigma\)-ordinal
0 references
strict-\(\Pi^1_1\) reflection
0 references
power Kripke-Platek set theory
0 references