Proving Theorems from Reflection
From MaRDI portal
Publication:6075422
DOI10.1007/978-3-030-15655-8_4zbMath1528.03211OpenAlexW2944392834MaRDI QIDQ6075422
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
Consistency and independence results (03E35) Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Can you take Solovay's inaccessible away?
- Borel determinacy
- Axiom schemata of strong infinity in axiomatic set theory
- A model of set-theory in which every set of reals is Lebesgue measurable
- Proper classes
- Supercompact cardinals, sets of reals, and weakly homogeneous trees
- A Proof of Projective Determinacy
- A STRONG REFLECTION PRINCIPLE
- On the axiom of determinateness
- Foundations of Mathematics
- On the axiom of determinateness (II)
- Higher set theory and mathematical practice
- Measurable cardinals and analytic games
- On reflection principles
