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
Graphs and order. The role of graphs in the theory of ordered sets and its applications, edited by Ivan Rival, NATO ASI series C, vol. 147, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1985, xix + 796 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-271
-
- Article
- Export citation
- Cited by 2
Yet another hierarchy theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 627-640
-
- 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
Variations on a game of Gale (III): remainder strategies
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1253-1264
-
- Article
- Export citation
- Cited by 2
The τ-theory for free groups is undecidable
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 700-703
-
- Article
- Export citation
- Cited by 2
A FUNDAMENTAL DICHOTOMY FOR DEFINABLY COMPLETE EXPANSIONS OF ORDERED FIELDS
-
- Published online by Cambridge University Press:
- 22 December 2015, pp. 1091-1115
-
- Article
- Export citation
- Cited by 2
Representations of calculi
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-62
-
- Article
- Export citation
- Cited by 2
Reviews - J. H. Woodger. Translator's preface. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. vii–ix. - Alfred Tarski. Author's acknowledgments.Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. xi–xii. - Alfred Tarski. On the primitive term of logistic. Modified English translation based on 2852–4. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 1–23. - Alfred Tarski. Foundations of the geometry of solids.Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 24–29. (Translated, with additions, from Księga Pamiątkowa Pierwszego Polskiego Zjazdu Matematycznego, supplement to Annales de la Société Polonaise de Mathématique, Cracow 1929, pp. 29-33.) - Alfred Tarski. On some fundamental concepts of metamathematics. English translation of 2857. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, 30–37. - Jan Łukasiewicz and Alfred Tarski. Investigations into the sentential calculus. English translation of 4077, with added footnotes. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 38–59. - Alfred Tarski. Fundamental concepts of the methodology of the deductive sciences. English translation of 2858, with added footnotes. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 60–109. - Alfred Tarski. On definable sets of real numbers. English translation of 28510, with additions in the text by the author as well as added footnotes. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 110–142. - Kazimierz Kuratowski and Alfred Tarski. Logical operations and projective sets. English translation of 4321, with added footnotes. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 143–151. - Alfred Tarski. The concept of truth in formalized languages. English translation of 28516, with added footnotes. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 152–278.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-106
-
- Article
- Export citation
- Cited by 2
Predicate calculus with free quantifier variables1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-7
-
- Article
- Export citation
- Cited by 2
Norman M. Martin. Some analogues of the Sheffer stroke function in n-valued logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 53 (1950), pp. 1100–1107; also Indagationes mathematicae, vol. 12 (1950), pp. 393–400.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-276
-
- Article
- Export citation
- Cited by 2
An ideal characterization of Mahlo cardinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-473
-
- Article
- Export citation
- Cited by 2
Semantics for RKt1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-107
-
- 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
- Cited by 2
Annual meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
-
- Article
- Export citation
- Cited by 2
Generalized nonsplitting in the recursively enumerable degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 397-437
-
- Article
- Export citation
- Cited by 2
A. Ehrenfeucht and A. Mostowski. Models of axiomatic theories admitting automorphisms. Fundamenta mathematicae, vol. 43 (1956), pp. 50–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 644-645
-
- Article
- Export citation
- Cited by 2
Models of set theory with more real numbers than ordinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-583
-
- Article
- Export citation
- Cited by 2
Lattice initial segments of the hyperdegrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-130
-
- Article
- Export citation
- Cited by 2
Semi-minimal theories and categoricity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-438
-
- Article
- Export citation
- Cited by 2
The inclusion-exclusion principle for finitely many isolated sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 435-447
-
- Article
- Export citation