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