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 4
Diophantine properties of sets definable in o-minimal structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 851-861
-
- Article
- Export citation
- Cited by 4
Alonzo Church. Logic, arithmetic, and automata. Proceedings of the International Congress of Mathematicians, 15–22 August 1962, Institut Mittag-Leffler, Djursholm, Sweden, 1963, pp. 23–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 210
-
- Article
- Export citation
- Cited by 4
Selection in the monadic theory of a countable ordinal
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 783-816
-
- Article
- Export citation
- Cited by 4
A note on Mathematics of infinity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1195-1200
-
- Article
- Export citation
- Cited by 4
Quasi-Modal Equivalence of Canonical Structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-508
-
- Article
- Export citation
- Cited by 4
Independence results for class forms of the axiom of choice
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-684
-
- Article
- Export citation
- Cited by 4
A polynomial translation of S4 into intuitionistic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 989-1001
-
- Article
- Export citation
- Cited by 4
The Craig-Lyndon interpolation theorem in 3-valued logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-238
-
- Article
- Export citation
- Cited by 4
Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 92–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-332
-
- Article
- Export citation
- Cited by 4
Subgroups of small index in infinite symmetric groups. II
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-99
-
- Article
- Export citation
- Cited by 4
ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
-
- Published online by Cambridge University Press:
- 01 August 2018, pp. 642-668
-
- Article
- Export citation
- Cited by 4
Indifferent sets for genericity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-138
-
- Article
- Export citation
- Cited by 4
Uniqueness, definability and interpolation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 554-570
-
- Article
- Export citation
- Cited by 4
Alternative proof of a theorem of Kleene
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
- Cited by 4
Coordinatisation by binding groups and unidimensionality in simple theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1221-1242
-
- Article
- Export citation
- Cited by 4
Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 318-324
-
- Article
- Export citation
- Cited by 4
Leon Chwistek. Überwindung des Begriffsrealismus. Studia philosphica, vol. 2 (offprint 1937) pp. 1–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-170
-
- Article
- Export citation
- Cited by 4
Non-finitely axiomatisable two-dimensional modal logics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 970-986
-
- Article
- Export citation
- Cited by 4
Melvin Fitting. Proof methods for modal and intuitionistic logics. Synthese library, vol. 169. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, viii + 555 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 855-856
-
- Article
- Export citation
- Cited by 4
Continuum-many Boolean algebras of the form Borel
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 799-816
-
- Article
- Export citation