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
TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES
-
- Published online by Cambridge University Press:
- 23 October 2018, pp. 967-990
-
- Article
- Export citation
- Cited by 2
Topological differential fields and dimension functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1147-1164
-
- Article
- Export citation
- Cited by 2
Joseph Y. Halpern. Reasoning about knowledge: an overview. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos 1986, pp. 1–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-661
-
- Article
- Export citation
- Cited by 2
A P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS
-
- Published online by Cambridge University Press:
- 15 May 2017, pp. 778-786
-
- Article
- Export citation
- Cited by 2
Hanf numbers for omitting types over particular theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 583-588
-
- Article
- Export citation
- Cited by 2
B. A. Trahténbrot. Névozmožnost' algorifma dlá problémy razréšimosti na konéčnyh klassah (Impossibility of an algorithm for the decision problem in finite classes). Doklady Akademii Nauk SSSR, vol. 70 (1950), pp. 569–572.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 229
-
- Article
- Export citation
- Cited by 2
CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
-
- Published online by Cambridge University Press:
- 21 December 2018, pp. 1680-1682
-
- Article
- Export citation
- Cited by 2
Wildness implies undecidability for lattices over group rings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1429-1447
-
- Article
- Export citation
- Cited by 2
Saunders Mac Lane. Mathematics: form and function. Springer-Verlag, New York, Berlin, Heidelberg, and Tokyo, 1986, xi + 476 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 643-645
-
- Article
- Export citation
- Cited by 2
Willard V. Quine. A short course in logic. Chapters I-VII. Mimeographed. Harvard Cooperative Society, Cambridge, Mass., 1946, iv + 130 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-61
-
- Article
- Export citation
- Cited by 2
I. M. Bocheński Spitzfindigkeit. Festgabe an die Schweizerkatholihen, Universitätsverlag, Freiburg1954, pp. 334–352.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 382
-
- Article
- Export citation
- Cited by 2
On the jump classes of noncuppable enumeration degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-197
-
- Article
- Export citation
- Cited by 2
Relative Kolmogorov complexity and geometry
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1211-1239
-
- Article
- Export citation
- Cited by 2
CUPPING AND JUMP CLASSES IN THE COMPUTABLY ENUMERABLE DEGREES
- Part of:
-
- Published online by Cambridge University Press:
- 30 October 2020, pp. 1499-1545
-
- Article
- Export citation
- Cited by 2
Vaught's conjecture for modules over a serial ring
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-163
-
- Article
- Export citation
- Cited by 2
G. C. Smith. The Boole-De Morgan correspondence 1842–1864. Oxford logic guides. Clarendon Press, Oxford University Press, Oxford and New York1982, vii + 156 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 657-659
-
- Article
- Export citation
- Cited by 2
On existence conditions for elements and classes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-159
-
- Article
- Export citation
- Cited by 2
Closures in ℵ0-categorical bilinear maps
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 914-922
-
- Article
- Export citation
- Cited by 2
Construction of saturated quasi-minimal structure
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 9-22
-
- Article
- Export citation
- Cited by 2
On the completeness of some transfinite recursive progressions of axiomatic theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-76
-
- Article
- Export citation