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 9
Theories of presheaf type
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 923-934
-
- Article
- Export citation
- Cited by 9
A formalization of the theory of ordinal numbers1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-317
-
- Article
- Export citation
- Cited by 9
Decision problems concerning S-arithmetic groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 743-772
-
- Article
- Export citation
- Cited by 9
Sentences implying their own provability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 777-789
-
- Article
- Export citation
- Cited by 9
Some results for implicational calculi
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-39
-
- Article
- Export citation
- Cited by 9
Reductions of Hilbert's tenth problem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-187
-
- Article
- Export citation
- Cited by 9
Finitely approximate groups and actions Part I: The Ribes–Zalesskiĭ property
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1297-1306
-
- Article
- Export citation
- Cited by 9
The Π20 enumeration degrees are not dense
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1364-1379
-
- Article
- Export citation
- Cited by 8
On the consistency of Quine's New foundations for mathematical logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 15-24
-
- Article
- Export citation
- Cited by 8
Some structural results concerning supercompact cardinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1919-1927
-
- Article
- Export citation
- Cited by 8
COHERENT SYSTEMS OF FINITE SUPPORT ITERATIONS
-
- Published online by Cambridge University Press:
- 05 February 2018, pp. 208-236
-
- Article
- Export citation
- Cited by 8
THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
-
- Published online by Cambridge University Press:
- 01 May 2018, pp. 187-207
-
- Article
- Export citation
- Cited by 8
The Hanf number for complete Lω1,ω-sentences (without GCH)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 575-578
-
- Article
- Export citation
- Cited by 8
THE EXACT STRENGTH OF THE CLASS FORCING THEOREM
- Part of:
-
- Published online by Cambridge University Press:
- 29 July 2020, pp. 869-905
-
- Article
- Export citation
- Cited by 8
Ultraproducts of finite sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 47-57
-
- Article
- Export citation
- Cited by 8
Finite-to-one maps
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1251-1253
-
- Article
- Export citation
- Cited by 8
Quantifier elimination for neocompact sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1442-1472
-
- Article
- Export citation
- Cited by 8
On the degeneracy of the full AGM-theory of theory-revision
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-676
-
- Article
- Export citation
- Cited by 8
Resultats optimaux sur l'existence d'une partie entiere dans les corps ordonnes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-333
-
- Article
- Export citation
- Cited by 8
An extension of the Cobham-Semënov Theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-211
-
- Article
- Export citation