Theories of proof-theoretic strength (_+1)

DOI10.1515/9781501502620-007MaRDI QIDQ5221836zbMATH OpenOpenAlexFDO

Authors Ulrik Buchholtz, Gerhard Jäger, Thomas Strahm

Publication date 3 April 2020

Published in Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)

Full work available at URL https://boris.unibe.ch/71364/1/BuJaStr_fin.pdf

zbMATH Keywords

unfoldinginductive definitionsproof-theoretic ordinalssubsystems of second order arithmetic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Recommendations

• Some theories with positive induction of ordinal strength φω0
• Theories and ordinals in proof theory
• The model-theoretic ordinal analysis of theories of predicative strength
• Proof-theoretic strengths of weak theories for positive inductive definitions
• The proof-theoretic analysis of transfinitely iterated fixed point theories

Cited in

(5)

• The Operational Perspective: Three Routes
• Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$
• scientific article; zbMATH DE number 1114018 (Why is no real title available?)
• Unfolding schematic systems
• Reflecting and unfolding

This page was built for publication: Theories of proof-theoretic strength \(\psi(\Gamma_{\Omega+1})\)

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