The Cantor's attic library
From Cantor's Attic
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.
- > Please add new entries in alphabetical order by first author. - 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.</!--->
- 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