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 37
The ground axiom
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1299-1317
-
- Article
- Export citation
- Cited by 37
Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1239-1273
-
- Article
- Export citation
- Cited by 36
An algebraic study of tense logics with linear time
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 27-38
-
- Article
- Export citation
- Cited by 36
d-computable categoricity for algebraic fields
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1325-1351
-
- Article
- Export citation
- Cited by 36
On the syntactical construction of systems of modal logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-94
-
- Article
- Export citation
- Cited by 36
Modest theory of short chains. I
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-490
-
- Article
- Export citation
- Cited by 36
The elimination theorem when modality is present1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-265
-
- Article
- Export citation
- Cited by 36
Identity, variables, and impredicative definitions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-245
-
- Article
- Export citation
- Cited by 36
Derivation rules as anti-axioms in modal logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1003-1034
-
- Article
- Export citation
- Cited by 36
Weakly algebraizable logics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 641-668
-
- Article
- Export citation
- Cited by 36
Forking and Dividing in NTP2 theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-20
-
- Article
- Export citation
- Cited by 36
Fine hierarchies and Boolean terms
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-317
-
- Article
- Export citation
- Cited by 36
Adjoining dominating functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 94-101
-
- Article
- Export citation
- Cited by 36
A normal modal calculus between T and S4 without the finite model property
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-38
-
- Article
- Export citation
- Cited by 36
The infinite injury priority method1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-530
-
- Article
- Export citation
- Cited by 36
Orthomodularity is not elementary1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-404
-
- Article
- Export citation
- Cited by 36
Expansion of a model of a weakly o-minimal theory by a family of unary predicates
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1382-1414
-
- Article
- Export citation
- Cited by 35
Schnorr randomness
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 533-554
-
- Article
- Export citation
- Cited by 35
Continuity and nondiscontinuity in constructive mathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1349-1354
-
- Article
- Export citation
- Cited by 35
Sequent-systems for modal logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-168
-
- Article
- Export citation