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
A form of feasible interpolation for constant depth Frege systems
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 774-784
-
- 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
- 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
An addendum to “The work of Kurt Gödel”1
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 613
-
- Article
- Export citation
- Cited by 4
LEARNING THEORY IN THE ARITHMETIC HIERARCHY
-
- Published online by Cambridge University Press:
- 18 August 2014, pp. 908-927
-
- Article
- Export citation
- Cited by 4
Associativity as commutativity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-226
-
- Article
- Export citation
- Cited by 4
Freeness in classes without equality
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1159-1194
-
- Article
- Export citation
- Cited by 4
Relativised quantification: Some canonical varieties of sequence-set algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-184
-
- Article
- Export citation
- Cited by 4
Finite extensions and the number of countable models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-270
-
- Article
- Export citation
- Cited by 4
QE rings in characteristic pn
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-162
-
- Article
- Export citation
- Cited by 4
Partitioning pairs of countable sets of ordinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1019-1021
-
- Article
- Export citation
- Cited by 4
Nonrecursive combinatorial functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-95
-
- Article
- Export citation
- Cited by 4
The classification of excellent classes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1359-1381
-
- Article
- Export citation
- Cited by 4
Homology Groups of Types in Model Theory and the Computation of H2(p)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1086-1114
-
- Article
- Export citation
- Cited by 4
DIFFERENTIAL-ALGEBRAIC JET SPACES PRESERVE INTERNALITY TO THE CONSTANTS
-
- Published online by Cambridge University Press:
- 22 July 2015, pp. 1022-1034
-
- Article
- Export citation
- Cited by 4
DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
-
- Published online by Cambridge University Press:
- 22 April 2015, pp. 684-711
-
- Article
- Export citation
- Cited by 4
Automorphisms moving all non-algebraic points and an application to NF
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 815-830
-
- Article
- Export citation
- Cited by 4
A sharp version of the bounded Matijasevich conjecture and the end-extension problem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 597-616
-
- Article
- Export citation
- Cited by 4
UNIFICATION IN INTERMEDIATE LOGICS
-
- Published online by Cambridge University Press:
- 22 July 2015, pp. 713-729
-
- Article
- Export citation
- Cited by 4
Stationary subsets of [ℵω]<ωn
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1201-1218
-
- Article
- Export citation