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

MaRDI QIDQ5883189zbMATH OpenFDO

Authors Rupert McCallum

Publication date 29 March 2023

zbMATH Keywords

large cardinalsreflection principles

Mathematics Subject Classification ID

Large cardinals (03E55)

Recommendations

• Extending ideas of Tait for incorporating higher-order parameters in schemes of reflection
• A consistency proof for some restrictions of Tait's reflection principles
• A strong reflection principle
• Higher order reflection principles
• On reflection principles

Cited in

(1)

• Generic compactness reformulated

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 Q5883189)