Difference between revisions of "Library"
From Cantor's Attic
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
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]
- 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. The wholeness axioms and {$V=\rm HOD$}. Arch Math Logic 40(1):1--8, 2001. www arχiv 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
- Hamkins, Joel D. Tall cardinals. MLQ Math Log Q 55(1):68--86, 2009. www DOI MR bibtex