Difference between revisions of "Library"
From Cantor's Attic
Line 3: | Line 3: | ||
[[file:StepUpTheLadderTowardsWisdomBySigfridLundberg.jpg | thumb | right | Step up the ladder towards wisdom, photo by Sigfrid Lundberg]] | [[file:StepUpTheLadderTowardsWisdomBySigfridLundberg.jpg | thumb | right | 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 == | ||
<!-- | <!-- | ||
Line 15: | Line 14: | ||
- Author field must have form: Lastname, First name. | - Author field must have form: Lastname, First name. | ||
//--> | //--> | ||
− | |||
<biblio force=true> | <biblio force=true> | ||
Line 174: | Line 172: | ||
pages = {1193--1203}, | pages = {1193--1203}, | ||
} | } | ||
− | |||
</biblio> | </biblio> | ||
+ | |||
+ | == 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. |
Revision as of 14:04, 5 January 2012
Welcome to the library, our central repository for references cited here on Cantor's attic.
Library holdings
- 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
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.