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
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-110
-
- Article
- Export citation
- Cited by 2
GENERIC AUTOMORPHISMS WITH PRESCRIBED FIXED FIELDS
-
- Published online by Cambridge University Press:
- 12 December 2014, pp. 985-1000
-
- Article
- Export citation
- Cited by 2
Masumi Honke. C. I. Lewis no bunsekiteki sinri to kêkenteki ninsiki ni kansuru iti kôsatu (A study of analytic truth and empirical knowledge in C. I. Lewis). Japanese with English abstract. Ronri zissyôsyugi, Bunseki tetugaku kenkyû ronsyû I (Logical positivism, Essays in philosophical analysis I), edited by Seizi Uyeda, Waseda University Press, Tokyo. 1954, pp. 121–159, 522–523.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 379
-
- Article
- Export citation
- Cited by 2
Irving M. Copi. Symbolic logic. Second, revised, edition of XIX 282. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1965, xviii + 395 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-255
-
- Article
- Export citation
- Cited by 2
Existence of some sparse sets of nonstandard natural numbers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 959-973
-
- Article
- Export citation
- Cited by 2
Garrett Birkhoff and John von Neumann. The logic of quantum mechanics. Annals of mathematics, 2 s. vol. 37 (1936), pp. 823–843.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 44-45
-
- Article
- Export citation
- Cited by 2
Johan van Benthem. Essays in logical semantics. Studies in linguistics and philosophy, vol. 29. D. Reidel Publishing Company, Dordrecht etc. 1986, xi + 225 pp. - Johan van Benthem. Determiners and logic. Linguistics and philosophy, vol. 6 (1983), pp. 447–478. - Johan van Benthem. Questions about quantifiers. The journal of symbolic logic, vol. 49 (1984), pp. 443–466. - Johan van Benthem. Foundations of conditional logic. Journal of philosophical logic, vol. 13 (1984), pp. 303–349.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 990-991
-
- Article
- Export citation
- Cited by 2
G. É. Minc. Analog téorémy Erbrana dlá néprédvarénnyh formul konstruktivnogo isčisléniá prédikatov. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, I, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Matématičéskogo Instituta im. V. A. Stéklova AN SSSR (LOMI), vol. 4, Moscow1967, pp. 123–133. - G. E. Mints. Analog of Herbrand's theorem for [non] prenex formulas of constructive predicate calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part I, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 4, Consultants Bureau, New York1969. pp. 47–51. (See Erratum, Studies in constructive mathematics and mathematical logic, Part II edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, p. 136.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 525-526
-
- Article
- Export citation
- Cited by 2
Jerzy Kuczyński. O twierdzeniu Gödla (Über den Satz von Gödel). Polnisch mit französischer Zusammenfassung. Kwartalnik filozoficzny, Bd. 14 (1938), S. 74–80.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
-
- Article
- Export citation
- Cited by 2
On subgroups of the additive group in differentially closed fields
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 369-391
-
- Article
- Export citation
- Cited by 2
D. Hilbert and W. Ackermann. Grundzüge der theoretischen Logik. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, vol. 27. 2nd. edn., Julius Springer, Berlin1938, viii + 133 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-84
-
- Article
- Export citation
- Cited by 2
ON THE STRENGTH OF TWO RECURRENCE THEOREMS
-
- Published online by Cambridge University Press:
- 29 September 2016, pp. 1357-1374
-
- Article
- Export citation
- Cited by 2
Barkley Rosser. The independence of Quine's axioms *200 and *201. The journal of symbolic logic, vol. 6 (1941), pp. 96–97.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
-
- Article
- Export citation
- Cited by 2
Transfering saturation, the finite cover property, and stability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-684
-
- Article
- Export citation
- Cited by 2
F. William Lawvere. Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences of the United States of America, vol. 50 (1963), pp. 869–872.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
-
- Article
- Export citation
- Cited by 2
On the number of minimal models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-480
-
- Article
- Export citation
- Cited by 2
Generalized quantifiers and elementary extensions of countable models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-348
-
- Article
- Export citation
- Cited by 2
John Gregory. Higher Souslin trees and the generalized continuum hypothesis. The journal of symbolic logic, vol. 41 (1976), pp. 663–671. - Richard Laver and Saharon Shelah. The ℵ2-Souslin hypothesis. Transactions of the American Mathematical Society, vol. 264(1981), pp. 411–417. - S. Shelah and L. Stanley. S-forcing, I. A “black-box” theorem for morasses, with applications to super-Souslin trees. Israel journal of mathematics, vol. 43 (1982), pp. 185–224. - S. Shelah and L. Stanley. Generalized Martin's axiom and Souslin's hypothesis for higher cardinals. Israel journal of mathematics, vol. 43 pp. 225–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-665
-
- Article
- Export citation
- Cited by 2
Michael R. Genesereth and Nils J. Nilsson. Logical foundations of artificial intelligence. Morgan Kaufmann Publishers, Los Altos, Calif., 1987, xviii + 405 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1304-1307
-
- Article
- Export citation
- Cited by 2
A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no α-recursive functional on the class of α-recursive functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-232
-
- Article
- Export citation