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 12
Why Solovay real produces Cohen real
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 957-968
-
- Article
- Export citation
- Cited by 12
Intensional logic in extensional language
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-328
-
- Article
- Export citation
- Cited by 12
THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS
-
- Published online by Cambridge University Press:
- 17 April 2014, pp. 208-222
-
- Article
- Export citation
- Cited by 12
COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM
- Part of:
-
- Published online by Cambridge University Press:
- 26 October 2020, pp. 1664-1686
-
- Article
- Export citation
- Cited by 12
Reducts of (C, +, ·) which contain +
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1243-1251
-
- Article
- Export citation
- Cited by 12
Learning via queries in [+, <]
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 53-81
-
- Article
- Export citation
- Cited by 12
Discernible elements in models for Peano arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-292
-
- Article
- Export citation
- Cited by 11
Bibliography of Alfred Tarski
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 913-941
-
- Article
- Export citation
- Cited by 11
On the consistency of an impredicative subsystem of Quine's NF
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-136
-
- Article
- Export citation
- Cited by 11
Lambek's categorical proof theory and Läuchli's abstract realizability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 200-230
-
- Article
- Export citation
- Cited by 11
About some symmetries of negation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-485
-
- Article
- Export citation
- Cited by 11
Selection in abstract recursion theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-158
-
- Article
- Export citation
- Cited by 11
Trees and nest structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 303-321
-
- Article
- Export citation
- Cited by 11
Σ2 -collection and the infinite injury priority method
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-221
-
- Article
- Export citation
- Cited by 11
Parsimony hierarchies for inductive inference
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-327
-
- Article
- Export citation
- Cited by 11
Fragments of first order logic, I: universal Horn logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-237
-
- Article
- Export citation
- Cited by 11
On the intersection of closed unbounded sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-189
-
- Article
- Export citation
- Cited by 11
Completeness and incompleteness for intuitionistic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1315-1327
-
- Article
- Export citation
- Cited by 11
Flat algebras and the translation of universal Horn logic to equational logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-128
-
- Article
- Export citation
- Cited by 11
Relative decidability and definability in henselian valued fields
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1240-1260
-
- Article
- Export citation