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 16
An abstraction algorithm for combinatory logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-224
-
- Article
- Export citation
- Cited by 16
The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-346
-
- Article
- Export citation
- Cited by 16
On natural deduction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-102
-
- Article
- Export citation
- Cited by 16
Ordinal analysis of terms of finite type
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 493-504
-
- Article
- Export citation
- Cited by 16
Linear sampling and the ∀∃∀ case of the decision problem1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-548
-
- Article
- Export citation
- Cited by 16
Examples of non-locality
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 765-782
-
- Article
- Export citation
- Cited by 16
Corps et chirurgie
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 528-533
-
- Article
- Export citation
- Cited by 16
The work of Kurt Gödel
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 761-778
-
- Article
- Export citation
- Cited by 16
Every 2-random real is Kolmogorov random
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 907-913
-
- Article
- Export citation
- Cited by 16
Finite algebras of relations are representable on finite sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-267
-
- Article
- Export citation
- Cited by 16
On Ackermann's set theory1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-166
-
- Article
- Export citation
- Cited by 16
A direct proof of the finite developments theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-343
-
- Article
- Export citation
- Cited by 16
A minimal degree not realizing least possible jump
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 571-574
-
- Article
- Export citation
- Cited by 16
Jensen's ⃞ principles and the Novák number of partially ordered sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 47-58
-
- Article
- Export citation
- Cited by 16
Definability and definable groups in simple theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 788-796
-
- Article
- Export citation
- Cited by 16
Small substructures and decidability issues for first-order logic with two variables
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 729-765
-
- Article
- Export citation
- Cited by 16
A note on Lascar strong types in simple theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 926-936
-
- Article
- Export citation
- Cited by 16
Decidability of the “almost all” theory of degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-506
-
- Article
- Export citation
- Cited by 16
Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1173-1178
-
- Article
- Export citation
- Cited by 16
The consistency strength of the free-subset property for ωω
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1198-1204
-
- Article
- Export citation