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 15
Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1280-1296
-
- Article
- Export citation
- Cited by 15
On the consistency strength of the inner model hypothesis
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-400
-
- Article
- Export citation
- Cited by 15
Topological elementary equivalence of closed semi-algebraic sets in the real plane
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1530-1555
-
- Article
- Export citation
- Cited by 15
On the equational theory of representable polyadic equality algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1143-1167
-
- Article
- Export citation
- Cited by 15
Weak systems of determinacy and arithmetical quasi-inductive definitions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 418-436
-
- Article
- Export citation
- Cited by 15
On the complexity of proof deskolemization
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 669-686
-
- Article
- Export citation
- Cited by 15
Ein Verfahren der mathematischen Logik
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-76
-
- Article
- Export citation
- Cited by 15
Algorithmic information theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1389-1400
-
- Article
- Export citation
- Cited by 15
On η-valued functionally complete truth functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 190-195
-
- Article
- Export citation
- Cited by 15
Leibniz's interpretation of his logical calculi
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-13
-
- Article
- Export citation
- Cited by 15
Church's thesis without tears
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 797-803
-
- Article
- Export citation
- Cited by 15
A problem concerning the notion of definability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-111
-
- Article
- Export citation
- Cited by 15
On weak and strong interpolation in algebraic logics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-118
-
- Article
- Export citation
- Cited by 15
Small forcing makes any cardinal superdestructible
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-58
-
- Article
- Export citation
- Cited by 15
Bounds for the closure ordinals of replete monotonic increasing functions1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-316
-
- Article
- Export citation
- Cited by 15
First-order and counting theories of ω-automatic structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-150
-
- Article
- Export citation
- Cited by 15
Disquotational truth and analyticity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1959-1973
-
- Article
- Export citation
- Cited by 15
On quasiminimal excellent classes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 551-564
-
- Article
- Export citation
- Cited by 15
Approximate counting by hashing in bounded arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 829-860
-
- Article
- Export citation
- Cited by 15
Admissibility of structural rules for contraction-free systems of intuitionistic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1499-1518
-
- Article
- Export citation