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 25
Embedding first order predicate logic in fragments of intuitionistic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 705-718
-
- Article
- Export citation
- Cited by 25
Transfer principle in quantum set theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-648
-
- Article
- Export citation
- Cited by 25
Syntactic translations and provably recursive functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 682-688
-
- Article
- Export citation
- Cited by 25
Degrees of formal systems1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-392
-
- Article
- Export citation
- Cited by 25
The combinatory foundations of mathematical logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 49-64
-
- Article
- Export citation
- Cited by 25
Some combinatorics of imperfect information
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-684
-
- Article
- Export citation
- Cited by 25
Axiomatizable theories with few axiomatizable extensions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 205-209
-
- Article
- Export citation
- Cited by 25
Definability of measures and ultrafilters
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-190
-
- Article
- Export citation
- Cited by 25
Ramsey's theorem and cone avoidance
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-578
-
- Article
- Export citation
- Cited by 25
Tores et p-groupes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 478-491
-
- Article
- Export citation
- Cited by 25
An extension of the Craig-Lyndon interpolation theorem1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-216
-
- Article
- Export citation
- Cited by 25
Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-286
-
- Article
- Export citation
- Cited by 25
FRAÏSSÉ LIMITS OF METRIC STRUCTURES
-
- Published online by Cambridge University Press:
- 13 March 2015, pp. 100-115
-
- Article
- Export citation
- Cited by 25
COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
-
- Published online by Cambridge University Press:
- 25 January 2017, pp. 77-97
-
- Article
- Export citation
- Cited by 25
On the relationship between ATR0 and
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 768-779
-
- Article
- Export citation
- Cited by 25
On subcreative sets and S-reducibility
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 669-677
-
- Article
- Export citation
- Cited by 25
Relation of Leśniewski's mereology to Boolean algebra
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 638-648
-
- Article
- Export citation
- Cited by 25
A theorem concerning the composition of functions of several variables ranging over a finite set
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-208
-
- Article
- Export citation
- Cited by 25
Functionals defined by transfinite recursion
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-174
-
- Article
- Export citation
- Cited by 25
Non-standard models for formal logics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-129
-
- Article
- Export citation