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 1
Don C. Ferguson. Infinite products of recursive equivalence types. The Journal of symbolic logic, vol. 33 (1968), pp. 221–230.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 590
-
- Article
- Export citation
- Cited by 1
Haskell B. Curry. Foundations of mathematical logic. McGraw-Hill Book Company, Inc., New York, San Francisco, Toronto, and London, 1963, xii + 408 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 149
-
- Article
- Export citation
- Cited by 1
Erik Stenius. Das Interpretationsproblem der formalisierten Zahlentheorie und ihre formate Widerspruchsfreiheit. Acta Academiae Aboensis, vol. 18 no. 3. Åbo Akademi, Åbo1952, 102 pp. With separate sheet of Berichtigungen.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-263
-
- Article
- Export citation
- Cited by 1
Ordinal definability in Jensen's model
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 608-620
-
- Article
- Export citation
- Cited by 1
Meeting of the Association for Symbolic Logic, Chicago 1975
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 551-560
-
- Article
- Export citation
- Cited by 1
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC
- Part of:
-
- Published online by Cambridge University Press:
- 17 March 2022, pp. 1469-1496
-
- Article
- Export citation
- Cited by 1
Almost local non-α-recursiveness
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 552-562
-
- Article
- Export citation
- Cited by 1
Interpolation theorems for Lk,k2+
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 535-549
-
- Article
- Export citation
- Cited by 1
THE MODAL LOGIC OF $\sigma $ -CENTERED FORCING AND RELATED FORCING CLASSES
- Part of:
-
- Published online by Cambridge University Press:
- 03 December 2020, pp. 1-24
-
- Article
- Export citation
- Cited by 1
THE TREE OF TUPLES OF A STRUCTURE
- Part of:
-
- Published online by Cambridge University Press:
- 07 September 2020, pp. 21-46
-
- Article
- Export citation
- Cited by 1
Elementary equivalence for abelian-by-finite and nilpotent groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1471-1480
-
- Article
- Export citation
- Cited by 1
Robert Goldblatt. Topoi. The categorial analysis of logic. Studies in logic and the foundations of mathematics, vol. 98. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, xv + 486 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 445-448
-
- Article
- Export citation
- Cited by 1
A BOREL MAXIMAL COFINITARY GROUP
- Part of:
-
- Published online by Cambridge University Press:
- 11 December 2023, pp. 1-14
-
- Article
-
- You have access
- HTML
- Export citation
- Cited by 1
Alfred Tarski and Steven Givant. A formalization of set theory without variables. American Mathematical Society colloquium publications, vol. 41. American Mathematical Society, Providence1987, xxi + 318 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 350-352
-
- Article
- Export citation
- Cited by 1
Ernest Nagel. Principles of the theory of probability. International encyclopedia of unified science, vol. 1, no. 6. The University of Chicago Press, Chicago1939, vii + 80 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
-
- Article
- Export citation
- Cited by 1
CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
- Part of:
-
- Published online by Cambridge University Press:
- 01 February 2021, pp. 162-177
-
- Article
- Export citation
- Cited by 1
G. S. Makanin. Equations in a free group. Mathematics of the USSR—Izvestiya, vol. 21 no. 3 (for 1983, pub. 1984), pp. 483–546. (English translation by G. A. Kandall of Uravnéniá v svobodnoj gruppé, Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 46 (1982), pp. 1199–1273.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1071-1073
-
- Article
- Export citation
- Cited by 1
Robert W. Floyd and Richard Beigel. The language of machines. An introduction to computability and formal languages. Computer Science Press, New York1994, xvii + 706 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 701-703
-
- Article
- Export citation
- Cited by 1
J. H. Conway. On numbers and games. L.M.S. monographs, no. 6. Academic Press, London, New York, and San Francisco, 1976, ix + 238 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1602-1604
-
- Article
- Export citation
- Cited by 1
A converse of the Barwise completeness theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 594-612
-
- Article
- Export citation