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
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
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
Definitions of compactness and the axiom of choice
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-161
-
- 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
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
Classification of δ-invariant amalgamation classes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1743-1750
-
- Article
- Export citation
- Cited by 4
The ℵ1-categoricity of strictly upper triangular matrix rings over algebraically closed fields
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-259
-
- Article
- Export citation
- Cited by 4
Getting more colors I
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-16
-
- Article
- Export citation
- Cited by 4
Quine's ‘limits of decision’
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1439-1466
-
- 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
Degrees of monotone complexity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1327-1341
-
- 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
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
Karel Lambert. Existential import revisited. Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 288–292.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
-
- Article
- Export citation
- 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
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
Associativity as commutativity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-226
-
- 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
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