Pages that link to "Item:Q4749835"

The following pages link to A well-ordering proof for Feferman's theoryT 0 (Q4749835):

Displaying 28 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)
• Ordinal notations based on a hierarchy of inaccessible cardinals (Q1109768) (← links)
• Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
• The strength of some Martin-Löf type theories (Q1344548) (← links)
• On the proof-theoretic strength of monotone induction in explicit mathematics (Q1356976) (← links)
• Theories with self-application and computational complexity. (Q1427856) (← links)
• A theory of rules for enumerated classes of functions (Q1805407) (← links)
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
• A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (Q2111109) (← links)
• A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
• Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
• Reflections on reflections in explicit mathematics (Q2566068) (← links)
• Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory (Q2566070) (← links)
• The Operational Perspective: Three Routes (Q3305557) (← links)
• From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
• The strength of admissibility without foundation (Q3710526) (← links)
• Natural well-orderings (Q3772212) (← links)
• Realization of analysis into Explicit Mathematics (Q4328839) (← links)
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems (Q4873894) (← links)
• 1999 European Summer Meeting of the Association for Symbolic Logic (Q4953838) (← links)
• Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ (Q5013900) (← links)
• Cut-Elimination for SBL (Q5013907) (← links)
• An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe (Q5013908) (← links)
• The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
• Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
• RELATIVIZING OPERATIONAL SET THEORY (Q5346703) (← links)
• Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)