Pages that link to "Item:Q911585"

The following pages link to Proof-theoretical analysis: Weak systems of functions and classes (Q911585):

Displaying 13 items.

• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP (Q476116) (← links)
• Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees (Q582289) (← links)
• Extended bar induction in applicative theories (Q753810) (← links)
• Arithmetical conservation results (Q1688961) (← links)
• Totality in applicative theories (Q1896484) (← links)
• Levels of truth (Q1903585) (← links)
• A Buchholz rule for modal fixed point logics (Q1942334) (← links)
• Notation systems for infinitary derivations (Q2277451) (← links)
• Metamathematical properties of a constructive multi-typed theory (Q2363505) (← links)
• Generalizations of the Kruskal-Friedman theorems (Q3491541) (← links)
• Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
• Generalizations of the one-dimensional version of the Kruskal-Friedman theorems (Q5752568) (← links)
• EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)