Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis

DOI10.2307/2273321zbMath0525.03038OpenAlexW2087736341MaRDI QIDQ3039341

Gerhard Jäger, Solomon Feferman

Publication date: 1983

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

Full work available at URL: https://doi.org/10.2307/2273321

zbMATH Keywords

transfinite inductiondependent choicesbar ruleiterated comprehension

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)

Related Items

Reflecting on incompleteness, The role of parameters in bar rule and bar induction, The machinery of consistency proofs, From hierarchies to well-foundedness, The Operational Perspective: Three Routes, Fragments of arithmetic, The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule

Cites Work

• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• The syntax and semantics of infinitary languages
• Provable wellorderings of formal theories for transfinitely iterated inductive definitions
• Systems of predicative analysis