Difference between revisions of "Library"

From Cantor's Attic
Jump to: navigation, search
Line 13: Line 13:
 
  - Please endeavor to include url field, doi field and eprint field, since these will become linkable, which makes the entry far more useful.
 
  - Please endeavor to include url field, doi field and eprint field, since these will become linkable, which makes the entry far more useful.
  
#Corazza2000:WholenessAxiomAndLaverSequences bibtex= @article{CorazzaAPAL,
+
#Corazza2000:WholenessAxiomAndLaverSequences bibtex=@article{CorazzaAPAL,
 
     author = {Corazza, Paul},
 
     author = {Corazza, Paul},
 
     title = {The Wholeness Axiom and Laver sequences},
 
     title = {The Wholeness Axiom and Laver sequences},
Line 22: Line 22:
 
}
 
}
  
#Corazza2003:GapBetweenI3andWA bibtex= @ARTICLE{Corazza2003:WholenessAxiom,
+
#Corazza2003:GapBetweenI3andWA bibtex=@ARTICLE{Corazza2003:WholenessAxiom,
 
     AUTHOR = {Corazza, Paul},
 
     AUTHOR = {Corazza, Paul},
 
     TITLE = {The gap between {${\rm I}_3$} and the wholeness axiom},
 
     TITLE = {The gap between {${\rm I}_3$} and the wholeness axiom},
Line 39: Line 39:
 
}
 
}
  
#Hamkins2001:WholenessAxiomAndVequalHOD bibtex= @article{Hamkins2001:WholenessAxiom,
+
#HamkinsLewis2000:InfiniteTimeTM bibtex=@article {HamkinsLewis2000:InfiniteTimeTM,
 +
    AUTHOR = {Hamkins, Joel David and Lewis, Andy},
 +
    TITLE = {Infinite time {T}uring machines},
 +
  JOURNAL = {J. Symbolic Logic},
 +
  FJOURNAL = {The Journal of Symbolic Logic},
 +
    VOLUME = {65},
 +
      YEAR = {2000},
 +
    NUMBER = {2},
 +
    PAGES = {567--604},
 +
      ISSN = {0022-4812},
 +
    CODEN = {JSYLA6},
 +
  MRCLASS = {03D10 (03D25 68Q05)},
 +
  MRNUMBER = {1771072 (2001g:03072)},
 +
MRREVIEWER = {Robert M. Baer},
 +
      DOI = {10.2307/2586556},
 +
      URL = {http://dx.doi.org/10.2307/2586556},
 +
    eprint = {math/9808093}
 +
}
 +
 
 +
#Hamkins2002:Turing bibtex=@ARTICLE{Hamkins2002:Turing,
 +
  author =      {Joel David Hamkins},
 +
  title =        {Infinite time {T}uring machines},
 +
  journal =      {Minds and Machines},
 +
  year =        {2002},
 +
  volume =      {12},
 +
  number =      {4},
 +
  pages =        {521--539},
 +
  month =        {},
 +
  note =        {special issue devoted to hypercomputation},
 +
  key =          {},
 +
  annote =      {},
 +
  eprint = {math/0212047},
 +
}
 +
 
 +
#Hamkins2004:SupertaskComputation bibtex=@INPROCEEDINGS{Hamkins2004:SupertaskComputation,
 +
    AUTHOR = {Hamkins, Joel David},
 +
    TITLE = {Supertask computation},
 +
BOOKTITLE = {Classical and new paradigms of computation and their complexity hierarchies},
 +
    SERIES = {Trends Log. Stud. Log. Libr.},
 +
    VOLUME = {23},
 +
    PAGES = {141--158},
 +
PUBLISHER = {Kluwer Acad. Publ.},
 +
  ADDRESS = {Dordrecht},
 +
      YEAR = {2004},
 +
  MRCLASS = {03D10 (03D25 68Q05)},
 +
  MRNUMBER = {2155535},
 +
      DOI = {10.1007/978-1-4020-2776-5_8},
 +
      URL = {http://dx.doi.org/10.1007/978-1-4020-2776-5_8},
 +
      note = {Papers of the conference ``Foundations of the Formal Sciences III'' held in Vienna, September 21-24, 2001},
 +
    eprint = {math/0212049},
 +
      file = F,
 +
}
 +
 
 +
#Hamkins2001:WholenessAxiomAndVequalHOD bibtex=@article{Hamkins2001:WholenessAxiom,
 
     AUTHOR = {Hamkins, Joel David},
 
     AUTHOR = {Hamkins, Joel David},
 
     TITLE = {The wholeness axioms and {$V=\rm HOD$}},
 
     TITLE = {The wholeness axioms and {$V=\rm HOD$}},
Line 95: Line 148:
 
         NOTE = {To appear},
 
         NOTE = {To appear},
 
}
 
}
 +
 +
#Welch2000:LengthsOfITTM bibtex=@article{Welch2000:LengthsOfITTM,
 +
    author={Philip Welch},
 +
    title = {The Lengths of Infinite Time {Turing} Machine Computations},
 +
    journal = {Bulletin of the London Mathematical Society},
 +
    volume = {32},
 +
    number = {2},
 +
    pages = {129--136},
 +
    year = {2000},
 +
}
 +
 +
#Welch2000:Eventually bibtex=@article{Welch2000:Eventually,
 +
    author = {Philip Welch},
 +
    title = {Eventually Infinite Time {Turing} Machine Degrees: Infinite Time Decidable reals},
 +
    journal = {Journal of Symbolic Logic},
 +
    volume = {65},
 +
    year = {2000},
 +
    number = {3},
 +
    pages = {1193--1203},
 +
}
 +
  
 
</biblio>
 
</biblio>

Revision as of 07:19, 5 January 2012


Step up the ladder towards wisdom, photo by Sigfrid Lundberg

This is our central repository for references cited on Cantor's attic.

This page is still in experimental stages, but it will be up and working soon. [1, 2, 3, 4, 5, 6]

  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. The wholeness axioms and {$V=\rm HOD$}. Arch Math Logic 40(1):1--8, 2001. www   arχiv   DOI   MR   bibtex
  4. 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
  5. 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
  6. Hamkins, Joel D. Tall cardinals. MLQ Math Log Q 55(1):68--86, 2009. www   DOI   MR   bibtex