From subsystems of analysis to subsystems of set theory

DOI10.1007/978-3-319-29198-7_9MaRDI QIDQ3305559zbMATH OpenOpenAlexFDO

Authors Wolfram Pohlers

Publication date 7 August 2020

Published in Advances in Proof Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-29198-7_9

zbMATH Keywords

proof theoryPeano arithmeticordinal analysisaxiom systemramify analysis

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• Mathematical proof theory in the light of ordinal analysis
• scientific article; zbMATH DE number 193575
• scientific article; zbMATH DE number 1215496
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems
• Proof theory and ordinal analysis

Cites work

• scientific article; zbMATH DE number 3833954 (Why is no real title available?)
• scientific article; zbMATH DE number 432702 (Why is no real title available?)
• scientific article; zbMATH DE number 4039890 (Why is no real title available?)
• scientific article; zbMATH DE number 3702644 (Why is no real title available?)
• scientific article; zbMATH DE number 108324 (Why is no real title available?)
• scientific article; zbMATH DE number 193575 (Why is no real title available?)
• scientific article; zbMATH DE number 3487445 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3545638 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1102104 (Why is no real title available?)
• scientific article; zbMATH DE number 922625 (Why is no real title available?)
• scientific article; zbMATH DE number 3346319 (Why is no real title available?)
• A Uniform Approach to Fundamental Sequences and Hierarchies
• A generalization of the concept of ω-consistency
• A system of abstract constructive ordinals
• A well-ordering proof for Feferman's theoryT 0
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Applications of cut-free infinitary derivations to generalized recursion theory
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Beweistheorie vonKPN
• Consistency proofs of subsystems of classical analysis
• Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions
• Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• Elementary induction on abstract structures
• Explaining the Gentzen-Takeuti reduction steps: A second-order system
• Hilbert’s Programme and Ordinal Analysis
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• On ω-consistency and related properties
• Ordinals connected with formal theories for transfinitely iterated inductive definitions
• Proof theory. The first step into impredicativity
• Set theoretic foundations for constructive analysis
• Systems of predicative analysis

Cited in

(4)

• scientific article; zbMATH DE number 7587811 (Why is no real title available?)
• Iterated inductive definitions revisited
• On regular set systems containing regular subsystems
• On the Performance of Axiom Systems

This page was built for publication: From subsystems of analysis to subsystems of set theory

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