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

MaRDI QIDQ5869697FDOQ5869697

Rupert McCallum

Publication date: 28 September 2022

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited In (1)

• WEAKLY REMARKABLE CARDINALS, ERDŐS CARDINALS, AND THE GENERIC VOPĚNKA 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)