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 9
Describing ordinals using functionals of transfinite type
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-47
-
- Article
- Export citation
- Cited by 9
“Helping”: several formalizations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 555-566
-
- Article
- Export citation
- Cited by 9
MM. Borel, Tits, Zil′ber et le Général Nonsense
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-131
-
- Article
- Export citation
- Cited by 9
A formalization of the theory of ordinal numbers1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-317
-
- Article
- Export citation
- Cited by 9
The decidability of dependency in intuitionistic propositional logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 498-504
-
- Article
- Export citation
- Cited by 9
Theories of presheaf type
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 923-934
-
- Article
- Export citation
- Cited by 9
Subgroups of stable groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-156
-
- Article
- Export citation
- Cited by 9
Reductions of Hilbert's tenth problem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-187
-
- Article
- Export citation
- Cited by 9
Relational semantics and a relational proof system for full Lambek calculus
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-637
-
- Article
- Export citation
- Cited by 9
Forcing and reducibilities
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-310
-
- Article
- Export citation
- Cited by 9
On the axiom of extensionality, Part II1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-300
-
- Article
- Export citation
- Cited by 9
INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN
-
- Published online by Cambridge University Press:
- 29 June 2016, pp. 742-754
-
- Article
- Export citation
- Cited by 9
Finitely approximate groups and actions Part I: The Ribes–Zalesskiĭ property
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1297-1306
-
- Article
- Export citation
- Cited by 9
Corrections to Canonical expressions in Boolean algebra
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
-
- Article
- Export citation
- Cited by 9
Countable models of nonmultidimensional ℵ0-stable theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-205
-
- Article
- Export citation
- Cited by 9
Sentences implying their own provability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 777-789
-
- Article
- Export citation
- Cited by 9
Church-Rosser theorem for typed functional systems1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 782-790
-
- Article
- Export citation
- Cited by 9
A computably categorical structure whose expansion by a constant has infinite computable dimension
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1199-1241
-
- Article
- Export citation
- Cited by 9
Infinite chains and antichains in computable partial Orderings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 923-934
-
- Article
- Export citation
- Cited by 9
Some results for implicational calculi
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-39
-
- Article
- Export citation