Theories of proof-theoretic strength (_+1)

DOI10.1515/9781501502620-007zbMATH Open1433.03137OpenAlexW2313258673MaRDI QIDQ5221836FDOQ5221836

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

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

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)

Cited In (5)

• The Operational Perspective: Three Routes
• Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$
• Unfolding schematic systems
• Title not available (Why is that?)
• 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)