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
On ω-inconsistency and a so-called axiom of infinity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-124
-
- Article
- Export citation
- Cited by 2
Alfred Tarski. Der Aussagenkalkül und die Topolagie. Fundamenta mathematicae, vol. 31 (1938), pp. 103–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 26-27
-
- Article
- Export citation
- Cited by 2
John McCarthy and Claude Shannon. Preface. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. v–viii. - S. C. Kleene. Representations of events in nerve nets and finite automata. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, lithoprinted, Princeton University Press, Princeton1956, pp. 3–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-60
-
- Article
- Export citation
- Cited by 2
Haskell B. Curry. The system LD. The journal of symbolic logic, vol. 17 (1952), pp. 35–42. - Haskell B. Curry. On the definition of negation by a fixed proposition in inferential calculus. The journal of symbolic logic, vol. 17 (1952), pp. 98–104.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 266-268
-
- Article
- Export citation
- Cited by 2
Jean Cavaillés and Albert Lautman. La pensée mathématique. Separate papers by the two authors, with discussion by Cartan, Chabauty, Dubreil, Ehresmann, Fréchet, Hyppolite, Paul Lévy, Schrecker, and the authors. Bulletin de la Société Française de Philosophie, vol. 40, no. 1 (1946), pp. 1–39.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 21-22
-
- Article
- Export citation
- Cited by 2
Conditions affecting the application of symbolic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 160-168
-
- Article
- Export citation
- Cited by 2
The sentential calculus using rule of inference Re
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
-
- Article
- Export citation
- Cited by 2
Reviews - Karl Schröter. Ein allgemeiner Kalkülbegriff. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, new series, no. 6. Leipzig1941, 43 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-79
-
- Article
- Export citation
- Cited by 2
Addition in nonstandard models of arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 483-486
-
- Article
- Export citation
- Cited by 2
Noam Chomsky. Aspects of the theory of syntax. The M.I.T. Press, Cambridge, Mass., 1965; second printing, Cambridge, Mass., 1965, x + 251 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-387
-
- Article
- Export citation
- Cited by 2
Infinite substructure lattices of models of Peano Arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1366-1382
-
- Article
- Export citation
- Cited by 2
L. Henkin. Some remarks on infinitely long formulas. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 167–183. - Carol R. Karp. Independence proofs in predicate logic with infinitely long expressions. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 171–188.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-97
-
- Article
- Export citation
- Cited by 2
Classifying Borel automorphisms
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1081-1092
-
- Article
- Export citation
- Cited by 2
COMPARING TWO VERSIONS OF THE REALS
-
- Published online by Cambridge University Press:
- 12 August 2016, pp. 1115-1123
-
- Article
- Export citation
- Cited by 2
Reducts of stable, CM-trivial theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1025-1036
-
- Article
- Export citation
- Cited by 2
CONSERVATIONS OF FIRST-ORDER REFLECTIONS
-
- Published online by Cambridge University Press:
- 18 August 2014, pp. 814-825
-
- Article
- Export citation
- Cited by 2
CANONICAL MODELS FOR FRAGMENTS OF THE AXIOM OF CHOICE
-
- Published online by Cambridge University Press:
- 19 June 2017, pp. 489-509
-
- Article
- Export citation
- Cited by 2
Schémas pour le calcul des propositions fondé sur la conjonction et la négation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-431
-
- Article
- Export citation
- Cited by 2
Model companions and k-model completeness for the complete theories of Boolean algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 47-55
-
- Article
- Export citation
- Cited by 2
Maximal irredundance and maximal ideal independence in Boolean algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-275
-
- Article
- Export citation