Axiom schemata of strong infinity in axiomatic set theory

DOI10.2140/pjm.1960.10.223zbMath0201.32602OpenAlexW2053454736WikidataQ30039779 ScholiaQ30039779MaRDI QIDQ2540888

Azriel Levy

Publication date: 1960

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/pjm.1960.10.223

Related Items

LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION, TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY, The metatheory of sets, Principles of reflection and second-order logic, Transcendence of cardinals, Tarski's staggering existential assumptions, Remarks on Levy's reflection axiom, The iterative conception of set. A (bi-)modal axiomatisation, On the formal definition of categories, Proving Theorems from Reflection, Substitutional validity for modal logic, Forcing for the impredicative theory of classes, The Mathematical Development of Set Theory from Cantor to Cohen, Transfinite recursion and computation in the iterative conception of set, Toward a modal-structural interpretation of set theory, A Partition Property Characterizing Cardinals Hyperinaccessible of Finite Type, Gödel and Set Theory, FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION, THE POTENTIAL HIERARCHY OF SETS, On some new metamathematical results concerning set theory, On models with power-like orderings, On power-like models for hyperinaccessible cardinals, Levy and set theory, Internal set theory: A new approach to nonstandard analysis, Gödel's Program Revisited Part I: The Turn to Phenomenology, Bernays and Set Theory, Proper classes as members of extended sets, A generalization of Mahlo's method for obtaining large cardinal numbers, Generalized Quantifiers and Compact Logic, Measurable cardinals and the continuum hypothesis, A Proof of Projective Determinacy, Constructive Versions of Ordinal Number Classes, Expansions of models of ZFC