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 23
Analysis without actual infinity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-633
-
- Article
- Export citation
- Cited by 23
The Veblen functions for computability theorists
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 575-602
-
- Article
- Export citation
- Cited by 23
The theory of quaternialty
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-196
-
- Article
- Export citation
- Cited by 23
On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 737-756
-
- Article
- Export citation
- Cited by 22
Effectiveness and multivalued logics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-162
-
- Article
- Export citation
- Cited by 22
The problem of simplifying logical expressions1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-19
-
- Article
- Export citation
- Cited by 22
Relational proof system for relevant logics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1425-1440
-
- Article
- Export citation
- Cited by 22
Abstract Computability and Invariant Definability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-633
-
- Article
- Export citation
- Cited by 22
∀-free metabelian groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-174
-
- Article
- Export citation
- Cited by 22
Controlling the dependence degree of a recursively enumerable vector space1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 13-22
-
- Article
- Export citation
- Cited by 22
Ordering MAD families a la Katětov
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1337-1353
-
- Article
- Export citation
- Cited by 22
The deduction theorem in a functional calculus of first order based on strict implication
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-118
-
- Article
- Export citation
- Cited by 22
Determinateness and the separation property
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 41-44
-
- Article
- Export citation
- Cited by 22
On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-422
-
- Article
- Export citation
- Cited by 22
Categories of frames for modal logic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 439-442
-
- Article
- Export citation
- Cited by 22
Syllogism and quantification
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-72
-
- Article
- Export citation
- Cited by 22
Arithmetical representations of Brownian motion I
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-442
-
- Article
- Export citation
- Cited by 22
The isomorphism problem for computable Abelian p-groups of bounded length
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-345
-
- Article
- Export citation
- Cited by 22
On effectively discontinuous type-2 objects
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-248
-
- Article
- Export citation
- Cited by 22
Set theoretic naturalism
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 490-514
-
- Article
- Export citation