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 170
Logics without the contraction rule
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-201
-
- Article
- Export citation
- Cited by 166
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 457-486
-
- Article
- Export citation
- Cited by 165
Computability and λ-definability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-163
-
- Article
- Export citation
- Cited by 165
Existence and feasibility in arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 494-508
-
- Article
- Export citation
- Cited by 165
Definability and decision problems in arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-114
-
- Article
- Export citation
- Cited by 160
Fair bets and inductive probabilities1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 263-273
-
- Article
- Export citation
- Cited by 158
Infinite time Turing machines
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 567-604
-
- Article
- Export citation
- Cited by 157
Transfinite recursive progressions of axiomatic theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-316
-
- Article
- Export citation
- Cited by 155
Extensions of some theorems of Gödel and Church
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-91
-
- Article
- Export citation
- Cited by 154
Solution of a problem of Leon Henkin1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-118
-
- Article
- Export citation
- Cited by 154
The determinacy of Blackwell games
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1565-1581
-
- Article
- Export citation
- Cited by 151
Flag algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1239-1282
-
- Article
- Export citation
- Cited by 150
Some undecidable problems involving elementary functions of a real variable
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 514-520
-
- Article
- Export citation
- Cited by 146
Reflecting on incompleteness1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-49
-
- Article
- Export citation
- Cited by 143
Semantics for relevant logics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-169
-
- Article
- Export citation
- Cited by 142
Coherence and the axioms of confirmation1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-28
-
- Article
- Export citation
- Cited by 140
On axiomatizability within a system
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 30-32
-
- Article
- Export citation
- Cited by 139
Toward useful type-free theories. I
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-111
-
- Article
- Export citation
- Cited by 134
The decision problem for some classes of sentences without quantifiers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-76
-
- Article
- Export citation
- Cited by 132
On strongly minimal sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 79-96
-
- Article
- Export citation