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
G. E. Minc. Teoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional′nymi simvolami. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 273–275. - G. E. Minc. Herbrand's theorem for the predicate calculus with equality and functional symbols. English translation of the preceding by Leo F. Boron. Soviet mathematics, vol. 7 no. 4 (1966), pp. 911–914.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
-
- Article
- Export citation
- Cited by 2
Supplements of bounded permutation groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-102
-
- Article
- Export citation
- Cited by 2
Discouraging results for ultraimaginary independence theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 846-850
-
- Article
- Export citation
- Cited by 2
Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 1–5. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 1–5. - Gottlob Frege. Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. English translation of 491 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 5–82. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 5–82. - Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 592–595. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 83–86. - Kurt Gödel. Some metamathematical results on completeness and consistency. English translation of 4181 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 595–596. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 86–87. - Kurt Gödel. On formally undecidable propositions of Principia mathematica and related systems I. English translation of 4183 by Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 596–616. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 87–107. - Kurt Gödel. On completeness and consistency. English translation of 4188 by Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 616–617. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 107–108.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 405
-
- Article
- Export citation
- Cited by 2
CLASSIFICATION OF $\omega $-CATEGORICAL MONADICALLY STABLE STRUCTURES
- Part of:
-
- Published online by Cambridge University Press:
- 19 September 2023, pp. 460-495
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 2
Paul Lorenzen. Einführung in die operative Logik und Mathematik. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Göttingen-Heidelberg1955, VII + 298 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-290
-
- Article
- Export citation
- Cited by 2
On essentially low, canonically well-generated Boolean algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 369-396
-
- Article
- Export citation
- Cited by 2
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
-
- Article
- Export citation
- Cited by 2
CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL
- Part of:
-
- Published online by Cambridge University Press:
- 15 February 2021, pp. 564-584
-
- Article
- Export citation
- Cited by 2
Recursively enumerable sets which are uniform for finite extensions1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-287
-
- Article
- Export citation
- Cited by 2
Binary relational structures having only countably many nonisomorphic substructures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 876-884
-
- Article
- Export citation
- Cited by 2
Finitely generated free Heyting algebras: the well-founded initial segment
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1291-1307
-
- Article
- Export citation
- Cited by 2
JSL volume 26 issue 3-4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
-
- Article
-
- You have access
- Export citation
- Cited by 2
A RAMSEY THEOREM ON SEMIGROUPS AND A GENERAL VAN DER CORPUT LEMMA
-
- Published online by Cambridge University Press:
- 29 June 2016, pp. 718-741
-
- Article
- Export citation
- Cited by 2
A general treatment of equivalent modalities
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1460-1471
-
- Article
- Export citation
- Cited by 2
Pure-projective modules and positive constructibility
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-110
-
- Article
- Export citation
- Cited by 2
Cardinal-preserving extensions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1163-1170
-
- Article
- Export citation
- Cited by 2
Decidability of cylindric set algebras of dimension two and first-order logic with two variables
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1563-1572
-
- Article
- Export citation
- Cited by 2
Solving Pell equations locally in models of IΔ0
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-410
-
- Article
- Export citation
- Cited by 2
Wolfgang Stegmüller. Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie. Volume II. Theorie und Erfahrung. Second part. Theorienstrukturen und Theoriendynamik. Springer-Verlag, Berlin, Heidelberg, and New York, 1973, XIX + 327 pp. - Wolfgang Stegmüller. The structure and dynamics of theories. English translation of the preceding by William Wohlhueter. Springer-Verlag, New York, Heidelberg, and Berlin, 1976, xvii + 284 pp. - Wolfgang Stegmüller. The structuralist view of theories. A possible analogue of the Bourbaki programme in physical science. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, VII + 101 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 464-470
-
- Article
- Export citation