Difference between revisions of "Library"
From Cantor's Attic
Line 309: | Line 309: | ||
#Kanamori1977:EvolutionLargeCardinals bibtex=@article | #Kanamori1977:EvolutionLargeCardinals bibtex=@article | ||
− | + | {Kanamori1977:EvolutionLargeCardinals, | |
author = {Kanamori, Akihiro and Magidor, Menachem}, | author = {Kanamori, Akihiro and Magidor, Menachem}, | ||
title = {The evolution of large cardinal axioms in set theory}, | title = {The evolution of large cardinal axioms in set theory}, | ||
Line 330: | Line 330: | ||
PAGES = {xxii+536}, | PAGES = {xxii+536}, | ||
} | } | ||
+ | |||
+ | #Kanamori1978:StrongAxioms bibtex=@article | ||
+ | {Kanamori1978:StrongAxioms, | ||
+ | author = {Kanamori, Akihiro and Reinhardt, William N. and Solovay, Robert M.}, | ||
+ | title = {Strong axioms of infinity and elementary embeddings}, | ||
+ | note = {In ''Annals of Mathematical Logic'', '''13'''(1978)}, | ||
+ | year = {1978}, | ||
+ | url = {http://math.bu.edu/people/aki/d.pdf},} | ||
#Kunen1978:SaturatedIdeals bibtex=@article{Kunen1978:SaturatedIdeals, | #Kunen1978:SaturatedIdeals bibtex=@article{Kunen1978:SaturatedIdeals, |
Revision as of 12:10, 16 January 2012
Welcome to the library, our central repository for references cited here on Cantor's attic.
Library holdings
- Abramson, Fred and Harrington, Leo and Kleinberg, Eugene and Zwicker, William. Flipping properties: a unifying thread in the theory of large cardinals. Ann Math Logic 12(1):25--58, 1977. MR bibtex
- Blass, Andreas. Chapter 6: Cardinal characteristics of the continuum. Handbook of Set Theory , 2010. www bibtex
- Cantor, Georg. Contributions to the Founding of the Theory of Transfinite Numbers. Dover, New York, 1955. (Original year was 1915) www bibtex
- Cody, Brent and Gitman, Victoria. Easton's theorem for Ramsey and strongly Ramsey cardinals. (In preparation) bibtex
- Corazza, Paul. The Wholeness Axiom and Laver sequences. Annals of Pure and Applied Logic pp. 157--260, October, 2000. bibtex
- Corazza, Paul. The gap between ${\rm I}_3$ and the wholeness axiom. Fund Math 179(1):43--60, 2003. www DOI MR bibtex
- Dodd, Anthony and Jensen, Ronald. The core model. Ann Math Logic 20(1):43--75, 1981. www DOI MR bibtex
- Erdős, Paul and Hajnal, Andras. Some remarks concerning our paper ``On the structure of set-mappings''. Non-existence of a two-valued $\sigma $-measure for the first uncountable inaccessible cardinal. Acta Math Acad Sci Hungar 13:223--226, 1962. MR bibtex
- Gaifman, Haim. Elementary embeddings of models of set-theory and certain subtheories. Axiomatic set theory (Proc. Sympos. Pure Math., Vol. XIII, Part II, Univ. California, Los Angeles, Calif., 1967), pp. 33--101, Providence R.I., 1974. MR bibtex
- Gitman, Victoria. Ramsey-like cardinals. The Journal of Symbolic Logic 76(2):519-540, 2011. www arχiv MR bibtex
- Gitman, Victoria and Welch, Philip. Ramsey-like cardinals II. J Symbolic Logic 76(2):541--560, 2011. www arχiv MR bibtex
- Gitman, Victoria and Johnstone, Thomas. Indestructibility for Ramsey and Ramsey-like cardinals. (In preparation) bibtex
- Goldstern, Martin and Shelah, Saharon. The Bounded Proper Forcing Axiom. J Symbolic Logic 60(1):58--73, 1995. www bibtex
- Hamkins, Joel David and Lewis, Andy. Infinite time Turing machines. J Symbolic Logic 65(2):567--604, 2000. www arχiv DOI MR bibtex
- Hamkins, Joel David. Infinite time Turing machines. Minds and Machines 12(4):521--539, 2002. (special issue devoted to hypercomputation) www arχiv bibtex
- Hamkins, Joel David. Supertask computation. Classical and new paradigms of computation and their complexity hierarchies23:141--158, Dordrecht, 2004. (Papers of the conference ``Foundations of the Formal Sciences III'' held in Vienna, September 21-24, 2001) www arχiv DOI MR bibtex
- Hamkins, Joel David. The wholeness axioms and V=HOD. Arch Math Logic 40(1):1--8, 2001. www arχiv DOI MR bibtex
- Hamkins, Joel David. Tall cardinals. MLQ Math Log Q 55(1):68--86, 2009. www DOI MR bibtex
- Hamkins, Joel David and Kirmayer, Greg and Perlmutter, Norman. Generalizations of the Kunen inconsistency. (submitted) www arχiv bibtex
- Jech, Thomas J. Set Theory. Third, Springer, Berlin, 2003. bibtex
- Jensen, Ronald and Kunen, Kenneth. Some combinatorial properties of $L$ and $V$. Unpublished, 1969. www bibtex
- Kanamori, Akihiro and Magidor, Menachem. The evolution of large cardinal axioms in set theory. , Forschungsinst., Oberwolfach, 1977. (In ''Higher set theory'' (Proc. Conf., Math. Forschungsinst., Oberwolfach, 1977), Lecture Notes in Mathematics, '''669''') www bibtex
- Kanamori, Akihiro. The higher infinite. Second, Springer-Verlag, Berlin, 2009. (Large cardinals in set theory from their beginnings, Paperback reprint of the 2003 edition) bibtex
- Kanamori, Akihiro and Reinhardt, William N and Solovay, Robert M. Strong axioms of infinity and elementary embeddings. , 1978. (In ''Annals of Mathematical Logic'', '''13'''(1978)) www bibtex
- Kunen, Kenneth. Saturated Ideals. J Symbolic Logic 43(1):65--76, 1978. www bibtex
- Mitchell, William J. The Covering Lemma. Handbook of Set Theory , 2001. www bibtex
- Miyamoto, Tadatoshi. A note on weak segments of PFA. Proceedings of the sixth Asian logic conference pp. 175--197, 1998. bibtex
- Sharpe, Ian and Welch, Philip. Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties. Ann Pure Appl Logic 162(11):863--902, 2011. www DOI MR bibtex
- Schanker, Jason A. Partial Near Supecompactness. (Submitted preprint) bibtex
- Schanker, Jason A. Weakly measurable cardinals. MLQ Math Log Q 57(3):266--280, 2011. www DOI bibtex
- Schanker, Jason A. Weakly measurable cardinals and partial near supercompactness. Ph.D. Thesis, CUNY Graduate Center, 2011. bibtex
- Suzuki, Akira. Non-existence of generic elementary embeddings into the ground model. Tsukuba J Math 22(2):343--347, 1998. MR bibtex | Abstract
- Suzuki, Akira. No elementary embedding from $V$ into $V$ is definable from parameters. J Symbolic Logic 64(4):1591--1594, 1999. www DOI MR bibtex
- Welch, Philip. The Lengths of Infinite Time Turing Machine Computations. Bulletin of the London Mathematical Society 32(2):129--136, 2000. bibtex
- Welch, Philip. Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable reals. Journal of Symbolic Logic 65(3):1193--1203, 2000. bibtex
- Zapletal, Jindrich. A new proof of Kunen's inconsistency. Proc Amer Math Soc 124(7):2203--2204, 1996. www MR bibtex
User instructions
Cantor's attic users may make contributions to the library, in bibtex format, and then cite those references in other articles. Edit this page to make your contribution.