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
Completeness properties of heyting's predicate calculus with respect to re models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-94
-
- Article
- Export citation
- Cited by 1
Jean Cavaillés. Du collectif au pari. A propos de quelqttes théories récentes sur les probabilités. Revue de métaphysique et de morale, vol. 47 (1940), pp. 139–163.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 153
-
- Article
- Export citation
- Cited by 1
Some remarks concerning theories with recursively enumerable complements1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-74
-
- Article
- Export citation
- Cited by 1
Roland Fraïssé. Sur l'extension aux relations de quelques propriétés des ordres. Annales scientifiques de l'École Normale Supérieure, ser. 3 vol. 71 no. 4 (1954), pp. 363–388. - René de Possel and Roland Fraïssé. Sur certaines suites d'équivalences dans une classe ordonnée, et sur leur application à la définition des parentés entre relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 239 (1954), pp. 940–942. - Roland Fraïssé. Sur certains opérateurs dans les classes de relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 (1955), pp. 2109–2110. - Roland Fraïssé. La construction des γ-opérateurs et leur application au calcul logique du premier ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 (1955), pp. 2191–2193. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Étude générale. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 2 (1955), pp. 15–60. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. II. Application aux relations d'ordre, et construction d'exemples montrant que ces classifications sont distinctes. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 2 (1955), pp. 273–295. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. III. Comparison des parentés introduites dans la premiére partie avec des parentés précédemment étudiées. Publications scientifiques de l'Université d'Alger, série A, Mathématiques, vol. 3 (1956), pp. 143–159. - Roland Fraïssé. Application des γ-opérateurs au calcul logique du premier échelon. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 76–92. - Roland Fraïssé. Étude de certains opérateurs dans les classes de relations, définis à partir d'isomorphismes restreints. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 59–75.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-281
-
- Article
- Export citation
- Cited by 1
Guido Küng. Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917–1957. Notre Dame journal of formal logic, vol. 3 (1962), pp. 5–40. - I. M. Bocheński. Preface (to the above). Notre Dame journal of formal logic, vol. 3 (1962), pp. 1–4.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-254
-
- Article
- Export citation
- Cited by 1
Forcing and reducibilities. III. Forcing in fragments of set theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1013-1034
-
- Article
- Export citation
- Cited by 1
Richard Friedberg. Un contre-exemple relatif aux fonctionnelles récursives. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 247 (1958), pp. 852–854.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
-
- Article
- Export citation
- Cited by 1
On ω-categorical, generically stable groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1047-1056
-
- Article
- Export citation
- Cited by 1
Some remarks on generic structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1143-1154
-
- Article
- Export citation
- Cited by 1
Equivalence elementaire et decidabilite pour des structures du type groupe agissant sur un groupe abelien
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1255-1285
-
- Article
- Export citation
- Cited by 1
Corrigendum to “A proof–technique in uniform space theory”
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 328
-
- Article
- Export citation
- Cited by 1
R. C. Lyndon. Identities in two-valued calculi. Transactions of the American Mathematical Society, vol. 71 (1951), pp. 457–465.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-70
-
- Article
- Export citation
- Cited by 1
FORCING AND THE HALPERN–LÄUCHLI THEOREM
-
- Published online by Cambridge University Press:
- 09 September 2019, pp. 87-102
-
- Article
- Export citation
- Cited by 1
Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Bulletin of the American Mathematical Society, vol. 74 (1968), pp. 1025–1029. - Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society, vol. 141 (1969), pp. 1–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 618-619
-
- Article
- Export citation
- Cited by 1
Note on a conjecture of Skolem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-74
-
- Article
- Export citation
- Cited by 1
On relatively analytic and Borel subsets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-352
-
- Article
- Export citation
- Cited by 1
Alfred Tarski. O logice matematycznej i metodzie dedukcyjnej (On mathematical logic and the deductive method). Bibljoteczka matematyczna 3–5. Ksiażnica-Atlas, Lwów and Warsaw1936, 167 pp. - Alfred Tarski. Einführung in die mathematische Logik und in die Methodologie der Mathematik. German translation of the preceding. Julius Springer, Vienna1937, x+ 166 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-52
-
- Article
- Export citation
- Cited by 1
Jerzy Łoś. Logiki wielowartościowe a formalizacja funkcji intencjonalnych (Many-valued logics and the formalization of intensional functions). Kwartalnik filozoficzny, vol. 17 (1948), pp. 59–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-65
-
- Article
- Export citation
- Cited by 1
Dagobert D. Runes. Pictorial history of philosophy. Philosophical Library, New York1959, x + 406 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 216
-
- Article
- Export citation
- Cited by 1
Ú. V. Matiásévič Diofantovost' péréčislimyh množéstv. Doklady Akadémii Nauk SSSR, vol. 191 (1970), pp. 279–282. - Ju. V. Matijasevič. Enumerable sets are diophantine. English translation of the preceding by A. Doohovskoy. Soviet mathematics, vol. 11 no. 2 (1970), pp. 354–357. See Errata, ibid., vol. 11 no. 6 (for 1970, pub. 1971), p. vi.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-606
-
- Article
- Export citation