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
Normal triangulations in o-minimal structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-288
-
- Article
- Export citation
- Cited by 4
Degrees of monotone complexity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1327-1341
-
- Article
- Export citation
- Cited by 4
On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 759-786
-
- Article
- Export citation
- Cited by 4
The hierarchy theorem for second order generalized quantifiers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-202
-
- Article
- Export citation
- Cited by 4
New techniques and completeness results for preferential structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 719-746
-
- Article
- Export citation
- Cited by 4
A note on direct sums of Friedbergnumberings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1009-1010
-
- Article
- Export citation
- Cited by 4
UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS
-
- Published online by Cambridge University Press:
- 22 April 2015, pp. 567-586
-
- Article
- Export citation
- Cited by 4
COMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF ${\rm{\Sigma }}_2^0$ INDUCTION
-
- Published online by Cambridge University Press:
- 22 December 2015, pp. 1211-1235
-
- Article
- Export citation
- Cited by 4
A new theory of element and number1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-137
-
- Article
- Export citation
- Cited by 4
INQUISITIVE BISIMULATION
- Part of:
-
- Published online by Cambridge University Press:
- 30 October 2020, pp. 77-109
-
- Article
- Export citation
- Cited by 4
An elementary definability theorem for first order logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1028-1036
-
- Article
- Export citation
- Cited by 4
Discontinuities of provably correct operators on the provably recursive real numbers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 913-920
-
- Article
- Export citation
- Cited by 4
The completeness theorem for infinitary logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 31-34
-
- Article
- Export citation
- Cited by 4
Some results in modal model theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 496-508
-
- Article
- Export citation
- Cited by 4
Constructive order types on cuts1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-289
-
- Article
- Export citation
- Cited by 4
Some interesting connections between the slow growing hierarchy and the Ackermann function
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 609-628
-
- Article
- Export citation
- Cited by 4
Alfred Horn. On sentences which are true of direct unions of algebras. The journal of symbolic logic, vol. 16 (1951), pp. 14–21.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-217
-
- Article
- Export citation
- Cited by 4
Jean Porte. Quelques pseudo-paradoxes de la “calculabilité effective.”2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur1960, pp. 332–334. - László Kalmár. An argument against the plausibility of Church's thesis. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 72–80. - Rózsa Peter. Rekursivität und Konstruktivität. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 226–233. - Elliott Mendelson. On some recent criticism of Church's thesis. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 201–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 471-472
-
- Article
- Export citation
- Cited by 4
Possible behaviours for the Mitchell ordering II
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1196-1209
-
- Article
- Export citation
- Cited by 4
Hereditary undecidability of some theories of finite structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1254-1262
-
- Article
- Export citation