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 50
Randomness and Computability: Open Questions
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 390-410
-
- Article
- Export citation
- Cited by 48
Mathematical Fuzzy Logics
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 210-239
-
- Article
- Export citation
- Cited by 48
Church's Problem Revisited
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 245-263
-
- Article
- Export citation
- Cited by 48
Mass Problems and Randomness
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-27
-
- Article
- Export citation
- Cited by 47
The Impact of the Lambda Calculus in Logic and Computer Science
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 181-215
-
- Article
- Export citation
- Cited by 47
Gap Forcing: Generalizing the Lévy-Solovay Theorem
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 264-272
-
- Article
- Export citation
- Cited by 45
Describing Groups
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 305-339
-
- Article
- Export citation
- Cited by 44
Platonism and Mathematical Intuition in Kurt Gödel's Thought
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 44-74
-
- Article
- Export citation
- Cited by 42
On the Philosophical Development of Kurt Gödel
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 425-476
-
- Article
- Export citation
- Cited by 41
Analytic Ideals
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 339-348
-
- Article
- Export citation
- Cited by 39
Square in Core Models
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 305-314
-
- Article
- Export citation
- Cited by 39
On the Unusual Effectiveness of Logic in Computer Science
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 213-236
-
- Article
- Export citation
- Cited by 39
Automatic Continuity of Group Homomorphisms
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 184-214
-
- Article
- Export citation
- Cited by 38
Almost Everywhere Equivalence of Logics in Finite Model Theory
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 422-443
-
- Article
- Export citation
- Cited by 38
What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 359-377
-
- Article
- Export citation
- Cited by 38
The Discovery of My Completeness Proofs
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 127-158
-
- Article
- Export citation
- Cited by 37
IN SEARCH OF ULTIMATE-L THE 19TH MIDRASHA MATHEMATICAE LECTURES
-
- Published online by Cambridge University Press:
- 03 April 2017, pp. 1-109
-
- Article
-
- You have access
- Export citation
- Cited by 37
Step by Recursive Step: Church's Analysis of Effective Calculability
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 154-180
-
- Article
- Export citation
- Cited by 36
Gentzen's Proof of Normalization for Natural Deduction
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 240-257
-
- Article
- Export citation
- Cited by 36
Recent Advances in Ordinal Analysis: Π12 — CA and Related Systems
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 468-485
-
- Article
- Export citation