Remarks on Levy's reflection axiom

DOI10.1002/malq.19930390111zbMath0803.03030OpenAlexW2056782738WikidataQ114696407 ScholiaQ114696407MaRDI QIDQ4304801

Martin Dowd

Publication date: 31 August 1994

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

Full work available at URL: https://doi.org/10.1002/malq.19930390111

zbMATH Keywords

continuum hypothesishigher typesMahlo cardinalsindescribable cardinalsLevy's reflection axiom

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Axiomatics of classical set theory and its fragments (03E30)

Cites Work

• Unnamed Item
• Set theory. An introduction to large cardinals
• A transfinite type theory with type variables
• Axiom schemata of strong infinity in axiomatic set theory

This page was built for publication: Remarks on Levy's reflection axiom