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
Nondiversity in substructures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-211
-
- Article
- Export citation
- Cited by 1
Un principe d'ax-kochen-ershov pour des structures intermédiates entre groupes et corps valués
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 991-1027
-
- Article
- Export citation
- Cited by 1
On ℵ1 many minimal models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 906-919
-
- Article
- Export citation
- Cited by 1
Forcing isomorphism
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1291-1301
-
- Article
- Export citation
- Cited by 1
MAXIMAL STABLE QUOTIENTS OF INVARIANT TYPES IN NIP THEORIES
- Part of:
-
- Published online by Cambridge University Press:
- 25 October 2023, pp. 1-25
-
- Article
-
- You have access
- HTML
- Export citation
- Cited by 1
SOME QUESTIONS OF UNIFORMITY IN ALGORITHMIC RANDOMNESS
- Part of:
-
- Published online by Cambridge University Press:
- 12 August 2021, pp. 1612-1631
-
- Article
- Export citation
- Cited by 1
K. R. Popper. A note on natural laws and so-called “contrary-to-fact conditionals.”Mind, n.s. vol. 58 (1949), pp. 62–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 144-145
-
- Article
- Export citation
- Cited by 1
-arithmetic and transfinite induction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 19-30
-
- Article
- Export citation
- Cited by 1
Proof of the law of infinite conjunction using the perfect disjunctive normal form1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 196-197
-
- Article
- Export citation
- Cited by 1
Irving M. Copi. Symbolic logic. Third edition of XIX 282. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, xvi + 400 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-178
-
- Article
- Export citation
- Cited by 1
Andrzej Mostowski. O niezalezności definicji skończoności w systemie logiki (On the independence of the definitions of finiteness in a system of logic). Dodatek do Rocznika Polskiego Towarzystwa Matematycinego (supplement to the Annales de la Société Polonaise de Mathématique), vol. 11 (1938), pp. 1–54.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
-
- Article
- Export citation
- Cited by 1
Franz Brentano. Psychologie du point de vue empirique. Translation and preface by Maurice de Gandillac. Aubier, Editions Montaigne, Paris1944, 461 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-57
-
- Article
- Export citation
- Cited by 1
J. C. C. McKinsey and Alfred Tarski. The algebra of topology. Annals of mathematics, ser. 2 vol. 45 (1944), pp. 141–191.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-97
-
- Article
- Export citation
- Cited by 1
A note on superstable groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-663
-
- Article
- Export citation
- Cited by 1
Gerhard Gentzen. Recherches sur la déduction logique. French translation of 4422 by Jean Ladrière, with added footnotes by the translator. Presses Universitaires de France, Paris1955, XI + 170 pp. - Robert Feys. Préface. Therein, pp. VII–XI. - Robert Feys. Note A. Les méthodes de déduction naturelle. Therein, pp. 1–2. - Robert Feys. Note B. Notation explicite des suppositions. Therein, pp. 29–34. - Robert Feys. Note C. Méthodes N de Jaśkowski, Bernays et Johannson. Therein pp. 35–39. - Robert Feys. Note D. Variantes des calculs LK et LJ. Therein, pp. 77–83. - Jean Ladrière. Note E. Un calcul “MK” analogue au calcul NK. Therein, pp. 84–89. - Robert Feys. Note F. Signification des séquences et des schémas de structure. Therein, pp. 90–92. - Jean Ladriére. Note G. Les schémas de coupure et de fusion de séquences. Therein, pp. 93–97. - Jean Ladriére. Note H. Tableau de la démonstration du théorème fondamental. Therein, pp. 98–100. - Jean Ladriére. Note I. Marche de la démonstration du théorème fondamental. Therein, pp. 101–107. - Robert Feys. Note K. Marche des démonstrations d'équivalence. Therein, pp. 152–164.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 350-351
-
- Article
- Export citation
- Cited by 1
Stratified languages
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1366-1376
-
- Article
- Export citation
- Cited by 1
Ordinal spectra of first-order theories1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 492-505
-
- Article
- Export citation
- Cited by 1
THE DIAGONAL STRONG REFLECTION PRINCIPLE AND ITS FRAGMENTS
- Part of:
-
- Published online by Cambridge University Press:
- 10 January 2023, pp. 1281-1309
-
- Article
-
- You have access
- HTML
- Export citation
- Cited by 1
A proof of the cut-elimination theorem in simple type theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-226
-
- Article
- Export citation
- Cited by 1
Per Martin-Löf. Intuitionistic type theory. (Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980.) Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1075-1076
-
- Article
- Export citation