About the proof-theoretic ordinals of weak fixed point theories

DOI10.2307/2275451zbMath0766.03033OpenAlexW2037020648MaRDI QIDQ4032884

Gerhard Jäger, Barbara Primo

Publication date: 1 April 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/115096/1/S0022481200022556.pdf

zbMATH Keywords

cut-eliminationsecond-order arithmeticproof-theoretic ordinalsinduction axiomramified analysisarithmetic comprehension axiomfixed-point axioms

Mathematics Subject Classification ID

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

Related Items (3)

Second order theories with ordinals and elementary comprehension ⋮ Non-elementary speed-ups in logic calculi ⋮ Some results on cut-elimination, provable well-orderings, induction and reflection

Cites Work

• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Unnamed Item

This page was built for publication: About the proof-theoretic ordinals of weak fixed point theories