Pages that link to "Item:Q3968911"

The following pages link to Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen (Q3968911):

Displaying 23 items.

• Operational closure and stability (Q385076) (← links)
• A proof-theoretic account of classical principles of truth (Q385807) (← links)
• Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
• Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
• The strength of some Martin-Löf type theories (Q1344548) (← links)
• Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
• Supervaluation-style truth without supervaluations (Q1633214) (← links)
• Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
• Patterns of resemblance and Bachmann-Howard fixed points (Q2064043) (← links)
• \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
• Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
• On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
• Theories and ordinals in proof theory (Q2500821) (← links)
• A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
• Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
• From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts (Q3305630) (← links)
• AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS (Q4551993) (← links)
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
• TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
• Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ (Q5013900) (← links)
• Simplified Cut Elimination for Kripke-Platek Set Theory (Q5055279) (← links)
• Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
• Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)