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 2
William J. Rapaport, Logical foundations for belief representation, Cognitive science, vol. 10 (1986), pp. 371–422.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 617-618
-
- Article
- Export citation
- Cited by 2
Nonisomorphism of lattices of recursively enumerable sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1177-1188
-
- Article
- Export citation
- Cited by 2
P. S. Novikoff. On the consistency of certain logical calculus. English with brief Russian abstract. Matématiĉéskij sbornik (Recueil mathématique), vol. 12 (54), no. 2 (1943), pp. 231–261.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-131
-
- Article
- Export citation
- Cited by 2
On many-one degrees1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-153
-
- Article
- Export citation
- Cited by 2
Alfred Tarski's work on general metamathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-50
-
- Article
- Export citation
- Cited by 2
Recursion theory in a lower semilattice
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 892-911
-
- Article
- Export citation
- Cited by 2
Ernst P. Specker. The axiom of choice in Quine's New foundations for mathematical logic. Proceedings of the National Academy of Sciences of the United States of America, vol. 39 (1953), pp. 972–975.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
-
- Article
- Export citation
- Cited by 2
Martin Davis, George Logemann, and Donald Loveland. A machine program for theorem-proving. Communications of the ACM, vol. 5 (1962), pp. 394–397.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
-
- Article
- Export citation
- Cited by 2
Reviews - Robert B. Lees. The grammar of English nominalizations. Publication twelve of the Indiana University Research Center in Anthropology, Folklore, and Linguistics; also Part II of the International journal of American linguistics, vol. 26 no. 3 (1960), xxvi + 205 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
-
- Article
- Export citation
- Cited by 2
Trichotomies for ideals of compact sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 586-598
-
- Article
- Export citation
- Cited by 2
A geometric zero-one law
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 929-938
-
- Article
- Export citation
- Cited by 2
G. É. Minc. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 783–786. - G. É. Minc. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by R. N. Goss. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1712–1715.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 524-525
-
- Article
- Export citation
- Cited by 2
Valuation theoretic content of the Marker-Steinhorn theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-93
-
- Article
- Export citation
- Cited by 2
The Church-Rosser property in symmetric combinatory logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-556
-
- Article
- Export citation
- Cited by 2
The consistency strength of an infinitary Ramsey property
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1158-1195
-
- Article
- Export citation
- Cited by 2
DENSITY-LIKE AND GENERALIZED DENSITY IDEALS
- Part of:
-
- Published online by Cambridge University Press:
- 23 November 2021, pp. 228-251
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 2
THE VARIETY OF COSET RELATION ALGEBRAS
-
- Published online by Cambridge University Press:
- 21 December 2018, pp. 1595-1609
-
- Article
- Export citation
- Cited by 2
On the role of implication in formal logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1076-1114
-
- Article
- Export citation
- Cited by 2
A recursion principle for linear orderings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-96
-
- Article
- Export citation
- Cited by 2
Correction to a paper on definability of ordinals in infinite logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
-
- Article
- Export citation