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 11
The characterization of monadic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-488
-
- Article
- Export citation
- Cited by 11
The system LD
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-42
-
- Article
- Export citation
- Cited by 11
Simplicity in effective topology
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-183
-
- Article
- Export citation
- Cited by 11
On the strength of König's duality theorem for countable bipartite graphs
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-123
-
- Article
- Export citation
- Cited by 11
Degree theoretic definitions of the low2 recursively enumerable sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 727-756
-
- Article
- Export citation
- Cited by 11
Reviews - Kurt Schütte. Beweistheorie. Springer-Verlag, Berlin-Göttingen-Heidelberg1960, X + 355 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-249
-
- Article
- Export citation
- Cited by 11
Implicit proofs
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 387-397
-
- Article
- Export citation
- Cited by 11
A proof-theoretic characterization of the primitive recursive set functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 954-969
-
- Article
- Export citation
- Cited by 11
An absoluteness principle for Borel sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-693
-
- Article
- Export citation
- Cited by 11
The degrees of hyperhyperimmune sets1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 489-493
-
- Article
- Export citation
- Cited by 11
On bar recursion of types 0 and 1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-329
-
- Article
- Export citation
- Cited by 11
Widerspruchsfreier Aufbau der Logik I
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-57
-
- Article
- Export citation
- Cited by 11
A logic for metric and topology
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 795-828
-
- Article
- Export citation
- Cited by 11
Effectively extensible theories1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-68
-
- Article
- Export citation
- Cited by 11
Quasi-subtractive varieties
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1261-1286
-
- Article
- Export citation
- Cited by 11
The intersection of nonstandard models of arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-106
-
- Article
- Export citation
- Cited by 11
Bad groups of finite Morley rank
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 768-773
-
- Article
- Export citation
- Cited by 11
The use of Kripke's schema as a reduction principle
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-240
-
- Article
- Export citation
- Cited by 11
Hilbert's program and the omega-rule
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 322-343
-
- Article
- Export citation
- Cited by 11
Lower bounds for modal logics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 941-958
-
- Article
- Export citation