Difference between revisions of "Library"

From Cantor's Attic
Jump to: navigation, search
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://dx.doi.org/10.1002/malq.200710084},
+
       URL = {http://boolesrings.org/hamkins/tallcardinals/},
 
}
 
}
  

Revision as of 14:34, 5 January 2012


Step up the ladder towards wisdom, photo by Sigfrid Lundberg

Welcome to the library, our central repository for references cited here on Cantor's attic.

Library holdings

  1. Corazza, Paul. The Wholeness Axiom and Laver sequences. Annals of Pure and Applied Logic pp. 157--260, October, 2000. bibtex
  2. Corazza, Paul. The gap between {${\rm I}_3$} and the wholeness axiom. Fund Math 179(1):43--60, 2003. www   DOI   MR   bibtex
  3. 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
  4. Hamkins, Joel David. Infinite time Turing machines. Minds and Machines 12(4):521--539, 2002. (special issue devoted to hypercomputation) www   arχiv   bibtex
  5. 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
  6. Hamkins, Joel David. The wholeness axioms and V=HOD. Arch Math Logic 40(1):1--8, 2001. www   arχiv   DOI   MR   bibtex
  7. Hamkins, Joel David. Tall cardinals. MLQ Math Log Q 55(1):68--86, 2009. www   DOI   MR   bibtex
  8. 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
  9. 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
  10. Welch, Philip. The Lengths of Infinite Time {Turing} Machine Computations. Bulletin of the London Mathematical Society 32(2):129--136, 2000. bibtex
  11. 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.