Second order theories with ordinals and elementary comprehension
From MaRDI portal
Publication:1908814
DOI10.1007/BF02391553zbMath0846.03028OpenAlexW2069440181MaRDI QIDQ1908814
Publication date: 22 September 1996
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02391553
proof-theoretic strengthsecond-order arithmeticbar inductioninductive definitionssubsystems of analysisarithmetic comprehensionelementary second-order extensionsPeano arithmetic with ordinals
Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Inductive definability (03D70)
Related Items (7)
Systems of explicit mathematics with non-constructive \(\mu\)-operator. II ⋮ Some theories with positive induction of ordinal strength φω0 ⋮ Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory ⋮ THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES ⋮ The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule ⋮ Systems of explicit mathematics with non-constructive \(\mu\)-operator and join ⋮ Universes over Frege structures
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
This page was built for publication: Second order theories with ordinals and elementary comprehension
