Well-Ordering Principles in Proof Theory and Reverse Mathematics
From MaRDI portal
(Redirected from Publication:5055281)
Well-Ordering Principles in Proof Theory and Reverse Mathematics (scientific article; zbMATH DE number 7632450)
Well-Ordering Principles in Proof Theory and Reverse Mathematics (scientific article; zbMATH DE number 7632450)
Recommendations
- Reverse mathematics and well-ordering principles
- Proof-theoretic strengths of the well-ordering principles
- Weak comparability of well orderings and reverse mathematics
- Reverse mathematics and well-ordering principles: a pilot study
- Reverse mathematics and completeness theorems for intuitionistic logic
- scientific article; zbMATH DE number 4068863
- Intuitionistically provable recursive well-orderings
- scientific article; zbMATH DE number 4197982
- Reverse mathematics and order theoretic fixed point theorems
- A Note on (Meta)predicative Wellordering Proofs
Cites work
- \(\Pi_1^1\)-comprehension as a well-ordering principle
- A categorical construction of Bachmann–Howard fixed points
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
- Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
- Beweistheorie vonKPN
- Computable aspects of the Bachmann-Howard principle
- Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie
- Ein System des Verknüpfenden Schliessens
- Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
- Fixed points in Peano arithmetic with ordinals
- scientific article; zbMATH DE number 440486 (Why is no real title available?)
- scientific article; zbMATH DE number 3113496 (Why is no real title available?)
- scientific article; zbMATH DE number 3167150 (Why is no real title available?)
- scientific article; zbMATH DE number 6536275 (Why is no real title available?)
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- scientific article; zbMATH DE number 4079410 (Why is no real title available?)
- scientific article; zbMATH DE number 193575 (Why is no real title available?)
- scientific article; zbMATH DE number 3494394 (Why is no real title available?)
- scientific article; zbMATH DE number 3572133 (Why is no real title available?)
- scientific article; zbMATH DE number 3577197 (Why is no real title available?)
- scientific article; zbMATH DE number 1390277 (Why is no real title available?)
- scientific article; zbMATH DE number 3204549 (Why is no real title available?)
- scientific article; zbMATH DE number 3333259 (Why is no real title available?)
- scientific article; zbMATH DE number 3346320 (Why is no real title available?)
- scientific article; zbMATH DE number 3030933 (Why is no real title available?)
- scientific article; zbMATH DE number 3061667 (Why is no real title available?)
- Induktive Definitionen und Dilatoren. (Inductive definitions and dilators)
- Introduction to \(\Pi^1_2\)-logic
- Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968
- Investigations of subsystems of second order arithmetic and set theory in strength between \(\Pi^1_1\)-CA and \(\Delta^1_2\)-\(\text{CA}+\text{BI}\). I
- Open questions in reverse mathematics
- Proof theory
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals
- Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection
- Proof theory of reflection
- Proof theory. An introduction
- Proof theory. The first step into impredicativity
- Proof-theoretic analysis of KPM
- Proof-theoretic investigations on Kruskal's theorem
- Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
- Reverse mathematics and ordinal exponentiation
- Reverse mathematics and well-ordering principles
- Reverse mathematics and well-ordering principles: a pilot study
- Set recursion and \(\Pi ^ 1_ 2\)-logic
- Subsystems of second order arithmetic
- Systems of predicative analysis
- Systems of predicative analysis, II: Representations of ordinals
- The foundations of mathematics. A study in the philosophy of science
- The Recursively Mahlo Property in Second Order Arithmetic
- The strength of Martin-Löf type theory with a superuniverse. II
- The Veblen functions for computability theorists
- Well-ordering principles and bar induction
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
- Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
- Π12-logic, Part 1: Dilators
Cited in
(16)- Reverse mathematics and well-ordering principles: a pilot study
- Well-ordering proofs for Martin-Löf type theory
- Some results on cut-elimination, provable well-orderings, induction and reflection
- Intuitionistically provable recursive well-orderings
- Splittings and disjunctions in reverse mathematics
- \(\Pi_1^1\)-comprehension as a well-ordering principle
- Zermelo’s Well-Ordering Theorem in Type Theory
- The Mathematical Import of Zermelo's Well-Ordering Theorem
- A Note on (Meta)predicative Wellordering Proofs
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
- Hilbert’s Axiomatisches Denken
- Partial impredicativity in reverse mathematics
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- Induction on dilators and Bachmann-Howard fixed points
- Reductions of well-ordering principles to combinatorial theorems
This page was built for publication: Well-Ordering Principles in Proof Theory and Reverse Mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055281)
