Most cited
This page lists all time most cited articles for this title. Please use the publication date filters on the left if you would like to restrict this list to recently published content, for example to articles published in the last three years. The number of times each article was cited is displayed to the right of its title and can be clicked to access a list of all titles this article has been cited by.
- Cited by 1
J. T. Moore. Set mapping reflection. Journal of Mathematical Logic, vol. 5 (2005), pp. 87–97. - J. T. Moore. A five element basis for the uncountable linear orders. Annals of Mathematics, vol. 163 (2006), pp. 669–688.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 322-325
-
- Article
- Export citation
- Cited by 1
From sets and types to topology and analysis—towards practicable foundations for constructive mathematics, edited by Laura Crosilla and Peter Schuster, Oxford Logic Guides, vol. 48. Clarendon Press, 2005, xix + 450 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 611-612
-
- Article
- Export citation
- Cited by 1
I. Jané. Reflections on Skolem's relativity of set-theoretical concepts. The Philosopher's Annual, edited by Patrick Grim, Peter Ludlow, and Gary Mar, vol. XXIV. CSLI Publications, Stanford, 2003, pp. 95–121 - C. Wright. On being in a quandary: relativism, vagueness, logical revisionism. The Philosopher's Annual, edited by Patrick Grim, Peter Ludlow, and Gary Mar, vol. XXIV. CSLI Publications, Stanford, 2003, pp. 273–325
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 84-89
-
- Article
- Export citation
- Cited by 1
P. G. Odifreddi. Classical recursion theory. Volume II. Studies in logic and the foundations of mathematics, vol. 143. Elsevier, Amsterdam etc. 1999, xvi + 949 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 71-73
-
- Article
- Export citation
- Cited by 1
The Bulletin of Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-3
-
- Article
- Export citation
- Cited by 1
2014 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Westin Gaslamp Quarter San Diego, California April 16–17, 2014
-
- Published online by Cambridge University Press:
- 04 June 2015, pp. 193-200
-
- Article
- Export citation
- Cited by 1
Benjamin C. Pierce. Types and programming languages. The MIT Press, Cambridge, Massachusetts, 2002, xxi + 623 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 213-214
-
- Article
- Export citation
- Cited by 1
TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES
- Part of:
-
- Published online by Cambridge University Press:
- 10 February 2023, pp. 465-502
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 1
The Princeton Companion to Mathematics, edited by Timothy Gowers (June Barrow-Green and Imre Leader, associate editors), Princeton University Press, 2008, 1008 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 431-436
-
- Article
- Export citation
- Cited by 1
Handbook of logic in artificial intelligence and logic programming, Volume 3, Nonmonotonic reasoning and uncertain reasoning, edited by Dov M. Gabbay, C. J. Hogger, and J. A. Robinson, with D. Nute, Handbooks of logic in computer science and artificial intelligence and logic programming, Clarendon Press, Oxford University Press, Oxford, New York, etc., 1994, xix + 529 pp.–
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 480-484
-
- Article
- Export citation
- Cited by 1
2013 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 512-518
-
- Article
- Export citation
- Cited by 1
In Memoriam: Vladimir Aleksandrovich Smirnov 1931–1996
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 371-372
-
- Article
-
- You have access
- Export citation
- Cited by 1
Anita Burdman Feferman and Solomon Feferman. Alfred Tarski, Life and Logic Cambridge University Press, Cambridge, 2004, vi + 425 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 535-540
-
- Article
- Export citation
- Cited by 1
AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS
-
- Published online by Cambridge University Press:
- 01 April 2019, pp. 34-100
-
- Article
- Export citation
- Cited by 1
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 620-624
-
- Article
- Export citation
- Cited by 1
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 687-692
-
- Article
- Export citation
- Cited by 1
The essential Turing, edited by B. Jack Copeland, Oxford University Press, 2004, vii + 613 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 541-542
-
- Article
- Export citation
- Cited by 1
J. Michael Dunn and Gary M. Hardegree. Algebraic methods in philosophical logic. Oxford logic guides, no. 41. Clarendon Press, Oxford University Press, Oxford, New York, etc., 2001, xv + 470 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 231-234
-
- Article
- Export citation
- Cited by 1
Jeremy Avigad and Solomon Feferman. Gödel's functional (“Dialectica”) interpretation. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 337–405.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 469-470
-
- Article
- Export citation
- Cited by 1
John L. Bell. The continuous and the infinitesimal in mathematics and philosophy. Polimetrica, International Scientific Publisher, Monza-Milano, 2005, 349 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 361-363
-
- Article
- Export citation