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
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
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
Alternative proof of a theorem of Kleene
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
- Cited by 4
R.J. THOMPSON’S GROUPS F AND T ARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS
-
- Published online by Cambridge University Press:
- 18 August 2014, pp. 693-711
-
- 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
Bases and α-dimensions of countable vector spaces with recursive operations 1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 85-96
-
- Article
- Export citation
- Cited by 4
On iterating semiproper preorders
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1431-1468
-
- Article
- Export citation
- Cited by 4
A note on the number of zeros of polynomials and exponential polynomials
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-106
-
- 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
New foundation of formal metamathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-36
-
- 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
INTEGRATION AND CELL DECOMPOSITION IN P-MINIMAL STRUCTURES
-
- Published online by Cambridge University Press:
- 18 July 2016, pp. 1124-1141
-
- Article
- Export citation
- Cited by 4
Herbrand consistency of some arithmetical theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 807-827
-
- Article
- Export citation
- Cited by 4
Recursive functions in basic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-346
-
- 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
Équations génériques dans un groupe stable nilpotent
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 761-768
-
- Article
- Export citation
- Cited by 4
Pfaffian differential equations over exponential o-minimal structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 438-448
-
- 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
- Cited by 4
Bounding non-GL2 and R.E.A.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 989-1000
-
- Article
- Export citation