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
Postulates for implicational calculi
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 7-9
-
- Article
- Export citation
- Cited by 2
G. É. Minc. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 783–786. - G. É. Minc. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by R. N. Goss. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1712–1715.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 524-525
-
- Article
- Export citation
- Cited by 2
THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS
-
- Published online by Cambridge University Press:
- 08 September 2017, pp. 1140-1149
-
- Article
- Export citation
- Cited by 2
Successors of singular cardinals and measurability revisited
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 492-501
-
- Article
- Export citation
- Cited by 2
Alfred Tarski's work on general metamathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-50
-
- Article
- Export citation
- Cited by 2
Model theoretic connected components of finitely generated nilpotent groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-259
-
- Article
- Export citation
- Cited by 2
The logic of first order intuitionistic type theory with weak sigma-elimination
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-483
-
- Article
- Export citation
- Cited by 2
Reviews - J. Ritter. Vorwort. Mathesis universalis; Abhandlungen zur Philosophie als strenger Wissenschaft, by Heinrich Scholz, edited by Hans Hermes, Friedrich Kambartel, and Joachim Ritter, Benno Schwabe & Co. Verlag, Basel and Stuttgart1961, pp. 7–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-288
-
- Article
- Export citation
- Cited by 2
On the role of implication in formal logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1076-1114
-
- Article
- Export citation
- Cited by 2
MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS
-
- Published online by Cambridge University Press:
- 13 March 2015, pp. 234-250
-
- Article
- Export citation
- Cited by 2
A CLASSIFICATION OF 2-CHAINS HAVING 1-SHELL BOUNDARIES IN ROSY THEORIES
-
- Published online by Cambridge University Press:
- 13 March 2015, pp. 322-340
-
- Article
- Export citation
- Cited by 2
Note on a system of Åqvist
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-60
-
- Article
- Export citation
- Cited by 2
Alfred Tarski. Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, VII Logique, Actualités scientifiques et industrielles 394, Hermann & Cie, Paris1936, pp. 1–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-84
-
- Article
- Export citation
- Cited by 2
P. S. Novikoff. On the consistency of certain logical calculus. English with brief Russian abstract. Matématiĉéskij sbornik (Recueil mathématique), vol. 12 (54), no. 2 (1943), pp. 231–261.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-131
-
- Article
- Export citation
- Cited by 2
THE ZIEGLER SPECTRUM OF THE RING OF ENTIRE COMPLEX VALUED FUNCTIONS
-
- Published online by Cambridge University Press:
- 14 March 2019, pp. 160-177
-
- Article
- Export citation
- Cited by 2
A. S. Ésénine-Volpine. Le programme ultra-intuitionniste des fondements des mathématiques. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 201–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 517
-
- Article
- Export citation
- Cited by 2
Recursion theory in a lower semilattice
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 892-911
-
- Article
- Export citation
- Cited by 2
The degree spectra of homogeneous models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1009-1028
-
- Article
- Export citation
- Cited by 2
The nonstationary ideal in the ℙmax extension
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-158
-
- Article
- Export citation
- Cited by 2
An undecidable two sorted predicate calculus
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 21-23
-
- Article
- Export citation