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 10
An intuitionistically plausible interpretation of intuitionistic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 564-578
-
- Article
- Export citation
- Cited by 10
Subgroups of stable groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-156
-
- Article
- Export citation
- Cited by 10
Some results in church's restricted recursive arithmetic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-342
-
- Article
- Export citation
- Cited by 10
Definability via enumerations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 428-440
-
- Article
- Export citation
- Cited by 10
Omitting types of prenex formulas
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-74
-
- Article
- Export citation
- Cited by 10
Ueber eine abgeschwaechte Fassung des Auswahlaxioms
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-25
-
- Article
- Export citation
- Cited by 10
Closed maximality principles: implications, separations and combinations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-308
-
- Article
- Export citation
- Cited by 10
J. Richard Büchi. Weak second-order arithmetic and finite automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 66–92. - J. Richard Büchi. On a decision method in restricted second order arithmetic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 1–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-102
-
- Article
- Export citation
- Cited by 10
Explicit mathematics with the monotone fixed point principle. II: Models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 517-550
-
- Article
- Export citation
- Cited by 9
The relative expressive power of some logics extending first-order logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-146
-
- Article
- Export citation
- Cited by 9
The continuum hypothesis in intuitionism
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-136
-
- Article
- Export citation
- Cited by 9
On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1347-1374
-
- Article
- Export citation
- Cited by 9
Index sets for classes of high rank structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1418-1432
-
- Article
- Export citation
- Cited by 9
Derivations of the Frobenius map
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-110
-
- Article
- Export citation
- Cited by 9
Eliminating the continuum hypothesis
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-225
-
- Article
- Export citation
- Cited by 9
On the compactness of ℵ1 and ℵ2
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 394-401
-
- Article
- Export citation
- Cited by 9
Model companions of distributive p-algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 680-688
-
- Article
- Export citation
- Cited by 9
The theory of truth tabular connectives, both truth functional and modal
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 593-608
-
- Article
- Export citation
- Cited by 9
Tailoring recursion for complexity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 952-969
-
- Article
- Export citation
- Cited by 9
Some model theory of abelian groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-342
-
- Article
- Export citation