Bar induction and \(\omega\) model reflection

DOI10.1016/S0168-0072(98)00056-6zbMath0930.03087OpenAlexW2058431170MaRDI QIDQ1302306

Thomas Strahm, Gerhard Jäger

Publication date: 22 September 1999

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(98)00056-6

zbMATH Keywords

bar inductionSchütte deduction chains\(\omega\) model reflectioncompleteness of \(\omega\) logic

Mathematics Subject Classification ID

Structure of proofs (03F07) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Related Items

Δ₃^O-determinacy, comprehension and induction, Reducing ω-model reflection to iterated syntactic reflection, Generalized fusible numbers and their ordinals, Well ordering principles for iterated \(\Pi^1_1\)-comprehension, Set-theoretic reflection is equivalent to induction over well-founded classes, A few more dissimilarities between second-order arithmetic and set theory, An order-theoretic characterization of the Howard-Bachmann-hierarchy, \(\Pi_1^1\)-comprehension as a well-ordering principle, Deduction chains for common knowledge, PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS, A flexible type system for the small Veblen ordinal, Reverse mathematics and well-ordering principles: a pilot study

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item