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
Kurt Gödel. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory. (Lectures delivered at the Institute for Advanced Study 1938–1939; notes by George W. Brown.) Annals of Mathematics studies, no. 3. Lithoprinted. Princeton University Press, Princeton1940, 66 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-114
-
- Article
- Export citation
- Cited by 1
PSEUDOFINITE H-STRUCTURES AND GROUPS DEFINABLE IN SUPERSIMPLE H-STRUCTURES
-
- Published online by Cambridge University Press:
- 02 April 2019, pp. 937-956
-
- Article
- Export citation
- Cited by 1
Hugues Leblanc. An extension of the equivalence calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 104–105.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 248
-
- Article
- Export citation
- Cited by 1
WOODIN FOR STRONG COMPACTNESS CARDINALS
-
- Published online by Cambridge University Press:
- 14 March 2019, pp. 301-319
-
- Article
- Export citation
- Cited by 1
L. L. Maksimova. O modéláh isčisléniá E (On models of the calculus E). Algébra i logika, vol. 6 no. 6 (1967), pp. 5–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
- Cited by 1
Jon Barwise. Scenes and other situations. The journal of philosophy, vol. 78 (1981), pp. 369–397. - Jon Barwise and John Perry. Situations and attitudes. The journal of philosophy, vol. 78 (1981), pp. 668–691. - Jon Barwise and John Perry. Semantic innocence and uncompromising situations. The foundations of analytic philosophy, edited by Peter A. French, Theodore E. UehlingJr., and Howard K. Wettstein, Midwest studies in philosophy, vol. 6, University of Minnesota Press, Minneapolis1981, pp. 387–403.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1403-1406
-
- Article
- Export citation
- Cited by 1
Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo. Computable set theory. Volume 1. International series of monographs on computer science, no. 6. Clarendon Press, Oxford University Press, Oxford and New York1989, xii + 347 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-362
-
- Article
- Export citation
- Cited by 1
Bertrand Russell. The limits of empiricism. Proceedings of the Aristotelian Society, n.s. vol. 36 (1936), pp. 131–150.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
-
- Article
- Export citation
- Cited by 1
Self-reference with negative types
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 754-773
-
- Article
- Export citation
- Cited by 1
A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS
-
- Published online by Cambridge University Press:
- 22 July 2015, pp. 1035-1065
-
- Article
- Export citation
- Cited by 1
A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 138
-
- Article
- Export citation
- Cited by 1
K. McAloon. Introduction. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 1–2. - L. A. S. Kirby. La méthode des indicatrices et le théorème d'incomplétude. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 5–18. - Daniel Lascar. Une indicatrice de type “Ramsey” pour l'arithmétique de Peano et la formule de Paris-Harrington. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, 19–30. - Kenneth McAloon. Les rapports entre la méthode des indicatrices et la méthode de Gödel pour obtenir des résultats d'indépendance. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 31–39. - Kenneth McAloon. Progressions transfinies de théories axiomatiques, formes combinatoires du théorème d'incomplétude et fonctions récursives à croissance rapide. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 41–58. - M. A. Dickmann. Types remarquables et extensions de modèles dans l'arithmétique de Peano, I. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 59–117. - Jean-Pierre Ressayre. Types remarquables et extensions de modèles dans l'arithmétique de Peano, II. With an appendix by M. A. Dickmann. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 119–154.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 483-484
-
- Article
- Export citation
- Cited by 1
Free ordered algebraic structures towards proof theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 597-608
-
- Article
- Export citation
- Cited by 1
E. W. Beth. Une démonstration de la non-contradiction de la logique des types au point de vue fini. Nieuw archief voor wiskunde, 2 s. vol. 19 nos. 1–2 (1936), pp. 59–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 44
-
- Article
- Export citation
- Cited by 1
E. W. Beth. Réflexions sur l'organisation et la méthode de l'enseignement mathématique. L'enseignement des mathématiques, Delachaux & Niestlé S.A., Neuchatel and Paris1955, pp. 35–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 34
-
- Article
- Export citation
- Cited by 1
Jerzy Słupecki. St. Leśniewski's protothetics. English, with abstracts in Polish and Russian. Studia logica (Warsaw), vol. 1 (1953), pp. 44–112. See Errata, ibid., p. 299.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-191
-
- Article
- Export citation
- Cited by 1
Albert Lautman. Essai sur l'unité des sciences mathématiques dans leur développement actuel. Actualités scientifiques et industrielles 589. Hermann & Cie, Paris1938, 59 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 22
-
- Article
- Export citation
- Cited by 1
A complete theory with arbitrarily large minimality ranks
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-328
-
- Article
- Export citation
- Cited by 1
D. Hilbert and P. Bernays. Grundlagen der Mathematik I. Second edition of 5071. Springer-Verlag, Berlin, Heidelberg, New York, 1968, XV + 473 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-323
-
- Article
- Export citation
- Cited by 1
P. T. Geach. Ryle on namely-riders. Analysis (Oxford), vol. 21 no. 3 (1961), pp. 64–67. - P. J. Fitzpatrick. ‘Heterological’ and namely–riders. Analysis (Oxford), Vol. 22 no. 1 (1961), pp. 18–22. - P. T. Geach. Namely–riders again. Analysis (Oxford), vol. 22 no. 4 (1962), pp. 92–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 408-409
-
- Article
- Export citation