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
Array nonrecursiveness and relative recursive enumerability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 21-32
-
- Article
- Export citation
- Cited by 1
A. Heyting. Logique et intuitionnisme. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 75–82. - G. Kreisel, Abraham Robinson, Ingebrigt Johansson, Georges Kurepa, A. Heyting. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 82–83.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 33
-
- Article
- Export citation
- Cited by 1
A strong version of Herbrand's theorem for introvert sentences
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 555-569
-
- Article
- Export citation
- Cited by 1
Dirk van Dalen. Intuitionistic logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986, pp. 225–339. - Walter Felscher. Dialogues as a foundation for intuitionistic logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 166, D. Reidel Publishing Company, Dordrecht etc. 1986, pp. 341–372.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 754-756
-
- Article
- Export citation
- Cited by 1
Every 1-generic computes a properly 1-generic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1385-1393
-
- Article
- Export citation
- Cited by 1
A. V. Kuznécov and B. A. Trahténbrot. Isslédovanié častično-rékursivnyh opératorov srédstvami téorii berovskogo prostranstva (An investigation of partial recursive operators by means of the theory of the space of Baire). Doklady Akadémii Nauk SSSR, vol. 105 (1955), pp. 897–900.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-302
-
- Article
- Export citation
- Cited by 1
N. G. de Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A vol. 75 (1972), pp. 381–392; also Indagationes mathematicae, vol. 34 (1972), pp. 381–392.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 470
-
- Article
- Export citation
- Cited by 1
Joseph M. Bochenski (I. M. Bocheński). The logic of religion. New York University Press, New York1965, X + 179 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 312-313
-
- Article
- Export citation
- Cited by 1
List of officers and members of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 229
-
- Article
- Export citation
- Cited by 1
Roberto Cignoli et Antonio Monteiro. Boolean elements in Lukasiewicz algebras. II. Proceedings of the Japan Academy, t. 41 (1965), p. 676–680.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
-
- Article
- Export citation
- Cited by 1
$F_\sigma $ GAMES AND REFLECTION IN $L(\mathbb {R})$
- Part of:
-
- Published online by Cambridge University Press:
- 21 July 2020, pp. 1102-1123
-
- Article
- Export citation
- Cited by 1
SIMPLE GROUPS OF MORLEY RANK 5 ARE BAD
-
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1217-1228
-
- Article
- Export citation
- Cited by 1
Rózsa Péter. Transzfinit rekurziók (a matematika alapjai és a rekurzív függvények) (Transfinite Rekursionen (Grundlagenforschung und rekursive Funktionen)). Hungarian, with brief abstract in Russian and fuller abstract in German. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest1952, pp. 419–428.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 73
-
- Article
- Export citation
- Cited by 1
Martin's axiom and a regular topological space with uncountable net weight whose countable product is hereditarily separable and hereditarily Lindelöf
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 396-399
-
- Article
- Export citation
- Cited by 1
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 567-568
-
- Article
- Export citation
- Cited by 1
TH. Skolem. Remarks on recursive functions and relations. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 17 (1944), pp. 89–92. - TH. Skolem. Some remarks on recursive arithmetic. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 17 (1944), pp. 103–106. - TH. Skolem. A note on recursive arithmetic. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 17 (1944), pp. 107–109. - TH. Skolem. Some remarks on the comparison between recursive functions. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 17 (1944), pp. 126–129.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 26-28
-
- Article
- Export citation
- Cited by 1
David R. Dowty. Word meaning and Montague grammar. The semantics of verbs and times in generative semantics and in Montague's PTQ. Synthese language library, vol. 7. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, xvii + 415 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-502
-
- Article
- Export citation
- Cited by 1
Kurt Gödel. On undecidable propositions of formal mathematical systems (1934). A reprint of XXXI 484. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 346– 369. - Kurt Gödel. Postscriptum. A reprint of XXXI 484. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 369– 371. - Stephen C. Kleene. Introductory note to 1934. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 338– 345.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 347
-
- Article
- Export citation
- Cited by 1
P. S. Novikov. Ob algoritmičéskoj nérazréšimosti problémy toždéstva (On algorithmic unsolvability of the word problem). Doklady Akadémii Nauk SSSR, vol. 85 (1952), pp. 709–712.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-60
-
- Article
- Export citation
- Cited by 1
Geometry of *-Finite Types
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1375-1395
-
- Article
- Export citation