Difference between revisions of "Library"
From Cantor's Attic
Line 75: | Line 75: | ||
annote = {}, | annote = {}, | ||
eprint = {math/0212047}, | eprint = {math/0212047}, | ||
+ | url = {http://boolesrings.org/hamkins/turing-mm/}, | ||
} | } | ||
Line 129: | Line 130: | ||
MRREVIEWER = {Carlos A. Di Prisco}, | MRREVIEWER = {Carlos A. Di Prisco}, | ||
DOI = {10.1002/malq.200710084}, | DOI = {10.1002/malq.200710084}, | ||
− | URL = {http:// | + | URL = {http://boolesrings.org/hamkins/tallcardinals/}, |
} | } | ||
Revision as of 14:34, 5 January 2012
Welcome to the library, our central repository for references cited here on Cantor's attic.
Library holdings
- 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
- Hamkins, Joel David and Lewis, Andy. Infinite time {T}uring 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
- 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
- Apter, Arthur and Gitman, Victoria and Hamkins, Joel David. Inner models with large cardinal features usually obtained by forcing. Archive for Mathematical Logic (To appear) 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
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.