A consistency proof for some restrictions of Tait's reflection principles

DOI10.1002/MALQ.201200015MaRDI QIDQ4915225zbMATH OpenOpenAlexFDO

Authors Rupert McCallum

Publication date 9 April 2013

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1009.4242

zbMATH Keywords

large cardinalsreflection principlesSilver indiscernibles

Mathematics Subject Classification ID

Large cardinals (03E55)

Abstract: A new large-cardinal property is introduced which enables one to give a relative consistency proof of restricted versions of the reflection principles discussed by Tait in his essay "Constructing Cardinals from Below".

Recommendations

• A consistency result on weak reflection
• Constructive reflectivity principles for regular theories
• scientific article; zbMATH DE number 1088209
• Reflection algebras and conservation results for theories of iterated truth
• The consistency principle and an axiomatization of the \(\alpha\)-core
• scientific article; zbMATH DE number 4195909
• A note on iterated consistency and infinite proofs
• A theorem on the consistency of circumscription
• Positive provability logic for uniform reflection principles

Cites work

• scientific article; zbMATH DE number 3508498 (Why is no real title available?)
• scientific article; zbMATH DE number 2168558 (Why is no real title available?)
• On reflection principles
• Proper Forcing and Remarkable Cardinals

Cited in

(4)

• Higher order reflection principles
• Extending ideas of Tait for incorporating higher-order parameters in schemes of reflection
• Extending ideas of Tait for incorporating higher-order parameters in schemes of reflection
• LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION

This page was built for publication: A consistency proof for some restrictions of Tait's reflection principles

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