Extending ideas of Tait for incorporating higher-order parameters in schemes of reflection

MaRDI QIDQ5869697zbMATH OpenFDO

Authors Rupert McCallum

Publication date 28 September 2022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• A consistency proof for some restrictions of Tait's reflection principles
• A strong reflection principle
• Higher order reflection principles
• On reflection principles
• scientific article; zbMATH DE number 1873429

Cited in

(3)

• WEAKLY REMARKABLE CARDINALS, ERDŐS CARDINALS, AND THE GENERIC VOPĚNKA PRINCIPLE
• Extending ideas of Tait for incorporating higher-order parameters in schemes of reflection
• A strong reflection principle

This page was built for publication: Extending ideas of Tait for incorporating higher-order parameters in schemes of reflection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5869697)