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 3
Admissible Suslin cardinals in L(R)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-275
-
- Article
- Export citation
- Cited by 3
RETRACTIONS OF REVERSIBLE STRUCTURES
-
- Published online by Cambridge University Press:
- 09 January 2018, pp. 1422-1437
-
- Article
- Export citation
- Cited by 3
T. J. Smiley. Entailment and deducibility. Proceedings of the Aristotelian Society, n.s. vol. 59 (1959), pp. 233–254.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-241
-
- Article
- Export citation
- Cited by 3
A note on interpretations of many-sorted theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-374
-
- Article
- Export citation
- Cited by 3
M. E. Szabo. Biographical sketch. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. vii–viii. - M. E. Szabo. Introduction. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 1–28. - Gerhard Gentzen. On the existence of independent axiom systems for infinite sentence systems. Englische Übersetzung von 4427. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 29–52. - Gerhard Gentzen. On the relation between intuitionist and classical arithmetic. Englische Übersetzung des Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik (unveröffentlicht). The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 53–67. - Gerhard Gentzen. Investigations into logical deduction. Neudruck von XXXV 144 mit geringen Änderungen. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 68–131. - Gerhard Gentzen. The consistency of elementary number theory. Englische Übersetzung von I 75. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 132–201. - Gerhard Gentzen. Appendix to #4. Englische Übersetzung der bisher unveröffentlichten ersten Version von 14.1–16.11 des vorhergehenden Werkes. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 201–213. - Gerhard Gentzen. The consistency of the simple theory of types. Englische Übersetzung von I 119. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 214–222. - Gerhard Gentzen. The concept of infinity in mathematics. Englische Übersetzung von II 95. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 223–233. - Gerhard Gentzen. The present state of research into the foundations of mathematics. Englische Übersetzung von III 166. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 234–251. - Gerhard Gentzen. New version of the consistency proof for elementary number theory. Englische Übersetzung von IV 31. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 252–286. - Gerhard Gentzen. Provability and nonprovability of restricted transfinite induction in elementary number theory. Englische Übersetzung von IX 70. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 287–308. - Gerhard Gentzen. Fusion of several complete inductions. Englische Übersetzung des Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen, Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 1 (1954), S. 1–3. Ebd., S. 309–311. (Deutsches Original auch veröffentlicht in Archiv für Philosophie, Bd. 5 Heft 1 (1954), S. 81–83.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 752-753
-
- Article
- Export citation
- Cited by 3
On universal semiregular invariant measures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1170-1176
-
- Article
- Export citation
- Cited by 3
Requirement systems
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-245
-
- Article
- Export citation
- Cited by 3
Lovely pairs of models: the non first order case
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 641-662
-
- Article
- Export citation
- Cited by 3
On recursion theory in IΣ1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 576-589
-
- Article
- Export citation
- Cited by 3
G. N. Povarov. O gruppovoj invariantnosti bulévyh funkcij (On the group invariance of Boolean functions). Priménénié logiki v nauké i téhnike (Application of logic in science and technology), Izdatél′stvo Akadémii Nauk SSSR, Moscow 1960, pp. 263–340.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-162
-
- Article
- Export citation
- Cited by 3
Twenty-Third Annual Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 456-461
-
- Article
- Export citation
- Cited by 3
Finding paths through narrow and wide trees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-360
-
- Article
- Export citation
- Cited by 3
B. G. Mirkin. Novyj algoritm postroéniá bazisa v ázyké régularnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, Téchničeskaá Kibérnétika, no. 5 (1966), pp. 113–119. - B. G. Mirkin. An algorithm for constructing a base in a language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 5 (Sept.-Oct. 1966), pp. 110–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 694
-
- Article
- Export citation
- Cited by 3
Separation and Weak König's Lemma
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 268-278
-
- Article
- Export citation
- Cited by 3
The false assumption underlying berry's paradox1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1220-1223
-
- Article
- Export citation
- Cited by 3
Term models for weak set theories with a universal set
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 374-387
-
- Article
- Export citation
- Cited by 3
On uniqueness of prime models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-220
-
- Article
- Export citation
- Cited by 3
Power-like models of set theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1766-1782
-
- Article
- Export citation
- Cited by 3
Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's thesis is consistent with epistemic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 121–172.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1496-1499
-
- Article
- Export citation
- Cited by 3
DECIDABLE ALGEBRAIC FIELDS
-
- Published online by Cambridge University Press:
- 19 June 2017, pp. 474-488
-
- Article
- Export citation