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 35
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
Questions of decidability and undecidability in Number Theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-371
-
- Article
- Export citation
- Cited by 35
Fibring: completeness preservation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 414-439
-
- Article
- Export citation
- Cited by 34
Warren S. McCulloch and Walter Pitts. A logical calculus of the ideas immanent in nervous activity. Bulletin of mathematical biophysics, vol. 5 (1943), pp. 115–133.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 49-50
-
- Article
- Export citation
- Cited by 34
The independence of connectives
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 426-436
-
- Article
- Export citation
- Cited by 34
Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-263
-
- Article
- Export citation
- Cited by 34
λμ-calculus and Böhm's theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 407-413
-
- Article
- Export citation
- Cited by 34
On ω-consistency and related properties
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-252
-
- Article
- Export citation
- Cited by 34
Decidability and essential undecidability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-54
-
- Article
- Export citation
- Cited by 34
Proofs of non-deducibility in intuitionistic functional calculus
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 204-207
-
- Article
- Export citation
- Cited by 34
On the strong semantical completeness of the intuitionistic predicate calculus
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-7
-
- Article
- Export citation
- Cited by 34
The elimination theorem when modality is present1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-265
-
- Article
- Export citation
- Cited by 34
Inconsistent models of arithmetic Part II: the general case
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1519-1529
-
- Article
- Export citation
- Cited by 34
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 34
Minimal degrees and the jump operator1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-271
-
- Article
- Export citation
- Cited by 34
The ground axiom
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1299-1317
-
- Article
- Export citation
- Cited by 33
Recursively enumerable generic sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 809-823
-
- Article
- Export citation
- Cited by 33
Deducibility and many-valuedness
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 610-622
-
- Article
- Export citation
- Cited by 33
Continuity properties in constructive mathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-565
-
- Article
- Export citation
- Cited by 33
Incompleteness along paths in progressions of theories1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-390
-
- Article
- Export citation