Proving Theorems from Reflection

DOI10.1007/978-3-030-15655-8_4MaRDI QIDQ6075422zbMATH OpenOpenAlexFDO

Authors Philip D. Welch

Publication date 20 September 2023

Published in Synthese Library (Search for Journal in Brave)

Full work available at URL https://research-information.bris.ac.uk/en/publications/5f593268-df18-4dcc-801a-bb9e302015a1

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Consistency and independence results (03E35) Large cardinals (03E55)

Recommendations

• On reflection principles
• Global reflection principles
• Reflections on reflections in explicit mathematics
• scientific article; zbMATH DE number 1225791
• New axioms in set theory

Cites work

• A model of set-theory in which every set of reals is Lebesgue measurable
• A Proof of Projective Determinacy
• A strong reflection principle
• Axiom schemata of strong infinity in axiomatic set theory
• Borel determinacy
• Can you take Solovay's inaccessible away?
• Foundations of Mathematics
• Higher set theory and mathematical practice
• scientific article; zbMATH DE number 3909046 (Why is no real title available?)
• scientific article; zbMATH DE number 3508498 (Why is no real title available?)
• scientific article; zbMATH DE number 1093813 (Why is no real title available?)
• scientific article; zbMATH DE number 2168558 (Why is no real title available?)
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• scientific article; zbMATH DE number 3321262 (Why is no real title available?)
• Measurable cardinals and analytic games
• On reflection principles
• On the axiom of determinateness
• On the axiom of determinateness (II)
• Proper classes
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• The continuum hypothesis. I
• The continuum hypothesis. II.

Cited in

(4)

• The Structure of the Real Line
• scientific article; zbMATH DE number 937389 (Why is no real title available?)
• Maximality principles in the hyperuniverse programme
• Book review of: S. Centrone (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts

This page was built for publication: Proving Theorems from Reflection

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