scientific article; zbMATH DE number 193575
From MaRDI portal
Publication:4040375
Recommendations
- scientific article; zbMATH DE number 1215496
- scientific article; zbMATH DE number 3914318
- 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
- Proof theory and ordinal analysis
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
Cited in
(46)- Proof-theoretic analysis of KPM
- 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
- Ordinal analysis by transformations
- Well-ordering proofs for Martin-Löf type theory
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice
- From subsystems of analysis to subsystems of set theory
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees
- Some set-theoretic reduction principles
- A proof-theoretical analysis of ptykes
- Proof-theoretic investigations on Kruskal's theorem
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal
- Elementary patterns of resemblance
- An extension of the omega-rule
- On Relating Theories: Proof-Theoretical Reduction
- A slow growing analogue to Buchholz' proof
- Lorenzen and constructive mathematics
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
- Transfinite dependent choice and ω-model reflection
- Two applications of analytic functors
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
- Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
- Proof theory of reflection
- Patterns of resemblance of order 2
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
- A Buchholz derivation system for the ordinal analysis of KP + Π3-reflection
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
- A Buchholz rule for modal fixed point logics
- Ein Wohlordnungsbeweis mit $$ \Delta^{1}_{2} $$-Komprehension und Bar-Induktion
- A subsystem of classical analysis proper to Takeuti's reduction method for \(\Pi ^ 1_ 1\)-analysis
- Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger
- Induction and inductive definitions in fragments of second order arithmetic
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
- The role of parameters in bar rule and bar induction
- Ordinal notations based on a weakly Mahlo cardinal
- Recent Advances in Ordinal Analysis: Π12— CA and Related Systems
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
- An order-theoretic characterization of the Howard-Bachmann-hierarchy
- A flexible type system for the small Veblen ordinal
- Ordinal diagrams for Π3-reflection
- Well-partial-orderings and the big Veblen number
- scientific article; zbMATH DE number 4150146 (Why is no real title available?)
- scientific article; zbMATH DE number 4066876 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4040375)
