Difference between revisions of "Library"
From Cantor's Attic
Line 9: | Line 9: | ||
<!-- | <!-- | ||
− | Please add new entries in alphabetical order by first author. | + | Please add new entries below in alphabetical order by first author. |
- Follow our format for IDs with the form AuthornameYEAR:Titlefragment, e.g. GitmanHamkins2027:ZFCisInconsistent. | - Follow our format for IDs with the form AuthornameYEAR:Titlefragment, e.g. GitmanHamkins2027:ZFCisInconsistent. | ||
- Please endeavor to include an url field, doi field and eprint field, since these will become linkable, which makes the entry far more useful. | - Please endeavor to include an url field, doi field and eprint field, since these will become linkable, which makes the entry far more useful. | ||
+ | - You must not put spaces around the = sign in bibtex=@article{etc} | ||
+ | - Author field must have form: Lastname, First name. | ||
//--> | //--> | ||
Revision as of 10:31, 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.
- 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) 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