Recent Advances in Ordinal Analysis: Π12— CA and Related Systems

DOI10.2307/421132MaRDI QIDQ4873894zbMATH OpenOpenAlexFDO

Authors Michael Rathjen

Publication date 9 February 1997

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0104-toc.htm

zbMATH Keywords

\(\Pi^ 1_ 1\)-comprehensionadmissible setsiterated \(\Pi^ 1_ 2\)-comprehensionKPioperator controlled derivationsordinal analysisordinal notationsproof theorysubsystems of analysis

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 733387
• scientific article; zbMATH DE number 5057388
• Proof theory and ordinal analysis
• scientific article; zbMATH DE number 1136111

Cites work

• A well-ordering proof for Feferman's theoryT 0
• Beweistheorie vonKPN
• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
• Consistency proofs of subsystems of classical analysis
• scientific article; zbMATH DE number 3167150 (Why is no real title available?)
• scientific article; zbMATH DE number 193575 (Why is no real title available?)
• Introduction to \(\Pi^1_2\)-logic
• Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
• On the strength of several versions of Dirichlet's (“pigeon-hole”-)principle in the sense of first-order logic
• Projective determinacy
• Proof theory and ordinal analysis
• Proof theory of reflection
• Proof-theoretic analysis of KPM
• Strong axioms of infinity and elementary embeddings
• Systems of predicative analysis
• The fine structure of the constructible hierarchy
• The strength of some Martin-Löf type theories

Cited in

(26)

• Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems
• Ordinal analysis by transformations
• Epsilon substitution for \(ID_1\) via cut-elimination
• An ordinal analysis of stability
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Mathematical proof theory in the light of ordinal analysis
• Huge reflection
• Combinatory logic with polymorphic types
• Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
• Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
• From subsystems of analysis to subsystems of set theory
• REVERSE MATHEMATICS OF MF SPACES
• Thinning operators and \(\Pi_4\)-reflection
• scientific article; zbMATH DE number 4066876 (Why is no real title available?)
• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• scientific article; zbMATH DE number 1136111 (Why is no real title available?)
• Ordinal diagrams for Π₃-reflection
• Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa
• Strong unfoldability, shrewdness and combinatorial consequences
• A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
• Normal forms for elementary patterns
• LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION
• Does mathematics need new axioms?
• In memoriam: Kenneth Jon Barwise, 1942--2000
• Elementary patterns of resemblance
• Computational expressivity of (circular) proofs with fixed points

This page was built for publication: Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4873894)