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 30
Partial realizations of Hilbert's program
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-363
-
- Article
- Export citation
- Cited by 30
An unsolvable problem in number theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-232
-
- Article
- Export citation
- Cited by 30
Consequences of the provability of NP ⊆ P/poly
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1353-1371
-
- Article
- Export citation
- Cited by 30
The λ-calculus is ω-incomplete
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-317
-
- Article
- Export citation
- Cited by 30
The model theory of ordered differential fields
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-91
-
- Article
- Export citation
- Cited by 30
A sheaf representation and duality for finitely presented Heyting algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 911-939
-
- Article
- Export citation
- Cited by 30
Degrees of unsolvability of constructible sets of integers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-513
-
- Article
- Export citation
- Cited by 30
Degrees of recursively enumerable sets which have no maximal supersets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 431-443
-
- Article
- Export citation
- Cited by 30
Quantification and the empty domain
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-179
-
- Article
- Export citation
- Cited by 30
Natural language, sortal reducibility and generalized quantifiers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-325
-
- Article
- Export citation
- Cited by 30
Coordinatisation and canonical bases in simple theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-309
-
- Article
- Export citation
- Cited by 30
On undecidable statements in enlarged systems of logic and the concept of truth
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-112
-
- Article
- Export citation
- Cited by 30
Universally free logic and standard quantification theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 8-26
-
- Article
- Export citation
- Cited by 30
On modal logics between K × K × K and S5 × S5 × S5
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-234
-
- Article
- Export citation
- Cited by 29
Comparing DNR and WWKL
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1089-1104
-
- Article
- Export citation
- Cited by 29
μ-definable sets of integers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-313
-
- Article
- Export citation
- Cited by 29
The equational theory of CA3 is undecidable1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 311-316
-
- Article
- Export citation
- Cited by 29
Ultrafilters on ω
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 624-639
-
- Article
- Export citation
- Cited by 29
On Universals1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-84
-
- Article
- Export citation
- Cited by 29
Problems
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
-
- Article
- Export citation