On Some Semi-constructive Theories Related to Kripke–Platek Set Theory

DOI10.1007/978-3-319-63334-3_13zbMath1429.03205OpenAlexW2794983383MaRDI QIDQ5214791

No author found.

Publication date: 5 February 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63334-3_13

zbMATH Keywords

functional interpretationspower Kripke-Platek set theoryintuitionistic Kripke-Platek set theory\(\Sigma\)-ordinalstrict-\(\Pi^1_1\) reflection

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Related Items (1)

The FAN principle and weak König's lemma in Herbrandized second-order arithmetic

Cites Work

• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• Bounded functional interpretation
• A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω
• Functional interpretation and inductive definitions
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Applications of Strict Π₁¹ predicates to infinitary logic
• A system of abstract constructive ordinals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Some Semi-constructive Theories Related to Kripke–Platek Set Theory