Second order theories with ordinals and elementary comprehension

DOI10.1007/BF02391553zbMath0846.03028MaRDI QIDQ1908814

Gerhard Jäger, Thomas Strahm

Publication date: 22 September 1996

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

proof-theoretic strength; second-order arithmetic; bar induction; inductive definitions; subsystems of analysis; arithmetic comprehension; elementary second-order extensions; Peano arithmetic with ordinals

Mathematics Subject Classification ID

03F35: Second- and higher-order arithmetic and fragments

03F03: Proof theory in general (including proof-theoretic semantics)

03D70: Inductive definability

Related Items

Some theories with positive induction of ordinal strength φω0, The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule, Universes over Frege structures, Systems of explicit mathematics with non-constructive \(\mu\)-operator. II, Systems of explicit mathematics with non-constructive \(\mu\)-operator and join

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Fixed points in Peano arithmetic with ordinals
• Proof theory. An introduction
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
• Beweistheorie vonKPN
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• The role of parameters in bar rule and bar induction
• About the proof-theoretic ordinals of weak fixed point theories
• LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR