Unfolding schematic systems

DOI10.1007/978-3-319-63334-3_8MaRDI QIDQ5214786zbMATH OpenOpenAlexFDO

Authors Thomas Strahm

Publication date 5 February 2020

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-63334-3_8

zbMATH Keywords

unfoldinginductive definitionsfeasible arithmeticnon-finitist arithmeticfinitist arithmeticschematic systems

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) First-order arithmetic and fragments (03F30) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• Unfolding finitist arithmetic
• The unfolding of non-finitist arithmetic
• scientific article; zbMATH DE number 4116521
• Publication:4893132
• Reflecting on incompleteness

Cites work

• scientific article; zbMATH DE number 4160708 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 47172 (Why is no real title available?)
• scientific article; zbMATH DE number 3556031 (Why is no real title available?)
• scientific article; zbMATH DE number 922612 (Why is no real title available?)
• scientific article; zbMATH DE number 1390027 (Why is no real title available?)
• scientific article; zbMATH DE number 3225350 (Why is no real title available?)
• scientific article; zbMATH DE number 3237808 (Why is no real title available?)
• scientific article; zbMATH DE number 3305097 (Why is no real title available?)
• scientific article; zbMATH DE number 3330710 (Why is no real title available?)
• A feasible theory of truth over combinatory algebra
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• Herbrand analyses
• Incompleteness along paths in progressions of theories
• Nested recursion
• On Feferman's operational set theory \textsf{OST}
• Operational set theory and small large cardinals
• Outline of a Theory of Truth
• Reflecting on incompleteness
• Systems of predicative analysis
• The Operational Perspective: Three Routes
• The non-constructive operator, fixed point theories with ordinals, and the bar rule
• The role of parameters in bar rule and bar induction
• The unfolding of non-finitist arithmetic
• Theories of proof-theoretic strength \(\psi(\Gamma_{\Omega+1})\)
• Transfinite Progressions: A Second Look at Completeness
• Transfinite recursive progressions of axiomatic theories
• Unfolding finitist arithmetic
• Weak theories of truth and explicit mathematics

Cited in

(4)

• scientific article; zbMATH DE number 922612 (Why is no real title available?)
• Predicativity and Feferman
• Unfolding finitist arithmetic
• Reflecting and unfolding

This page was built for publication: Unfolding schematic systems

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