- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Strong axioms of infinity and elementary embeddings
Annals of Mathematical Logic 13 (1):73 (1978)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Strong Axioms of Infinity and Elementary Embeddings.Carlos Augusto Di Prisco - 1986 - Journal of Symbolic Logic 51 (4):1066-1068.
Implications between strong large cardinal axioms.Richard Laver - 1997 - Annals of Pure and Applied Logic 90 (1-3):79-90.
Errata in "Strong Axioms of Infinity in NFU".M. Holmes - 2001 - Journal of Symbolic Logic 66 (4):1974-1974.
Lifting elementary embeddings j: V λ → V λ. [REVIEW]Paul Corazza - 2007 - Archive for Mathematical Logic 46 (2):61-72.
Errata in "strong axioms of infinity in NFU".M. Randall Holmes - 2001 - Journal of Symbolic Logic 66 (4):1974.
The spectrum of elementary embeddings j: V→ V.Paul Corazza - 2006 - Annals of Pure and Applied Logic 139 (1):327-399.
Reflection of elementary embedding axioms on the L[Vλ+1] hierarchy.Richard Laver - 2001 - Annals of Pure and Applied Logic 107 (1-3):227-238.
Double helix in large large cardinals and iteration of elementary embeddings.Kentaro Sato - 2007 - Annals of Pure and Applied Logic 146 (2):199-236.
Consistency of V = HOD with the wholeness axiom.Paul Corazza - 2000 - Archive for Mathematical Logic 39 (3):219-226.
The wholeness axiom and Laver sequences.Paul Corazza - 2000 - Annals of Pure and Applied Logic 105 (1-3):157-260.
Strong Axioms of Infinity and the Debate About Realism.Kai Hauser & W. Hugh Woodin - 2014 - Journal of Philosophy 111 (8):397-419.
On colimits and elementary embeddings.Joan Bagaria & Andrew Brooke-Taylor - 2013 - Journal of Symbolic Logic 78 (2):562-578.
Laver sequences for extendible and super-almost-huge cardinals.Paul Corazza - 1999 - Journal of Symbolic Logic 64 (3):963-983.
Infinitary Jónsson functions and elementary embeddings.Masahiro Shioya - 1994 - Archive for Mathematical Logic 33 (2):81-86.
Analytics
Added to PP
2014-01-17
Downloads
42 (#388,068)
6 months
4 (#851,472)
2014-01-17
Downloads
42 (#388,068)
6 months
4 (#851,472)
Historical graph of downloads
Author's Profile
Citations of this work
Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
A model of the generic Vopěnka principle in which the ordinals are not Mahlo.Victoria Gitman & Joel David Hamkins - 2019 - Archive for Mathematical Logic 58 (1-2):245-265.
References found in this work
On strong compactness and supercompactness.Telis K. Menas - 1975 - Annals of Mathematical Logic 7 (4):327-359.
Elementary embeddings and infinitary combinatorics.Kenneth Kunen - 1971 - Journal of Symbolic Logic 36 (3):407-413.
Sets constructible from sequences of ultrafilters.William J. Mitchell - 1974 - Journal of Symbolic Logic 39 (1):57-66.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Some weak versions of large cardinal axioms.Keith J. Devlin - 1973 - Annals of Mathematical Logic 5 (4):291.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-8fb5884b9-g9g5w uwo