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
Two additions to positive implication
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 31-32
-
- Article
- Export citation
- Cited by 10
A star-free semantics for R
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-590
-
- Article
- Export citation
- Cited by 10
Canonization theorems and applications
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-353
-
- Article
- Export citation
- Cited by 10
Proper forcing and L(ℝ)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 801-810
-
- Article
- Export citation
- Cited by 10
Saturated models of Peano arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-637
-
- Article
- Export citation
- Cited by 10
Forcing for the impredicative theory of classes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-18
-
- Article
- Export citation
- Cited by 10
A normal form theorem for Lω1p, with applications
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-624
-
- Article
- Export citation
- Cited by 10
On the period of sequences (An(p)) in intuitionistic propositional calculus
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 892-899
-
- Article
- Export citation
- Cited by 10
The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-298
-
- Article
- Export citation
- Cited by 10
A completeness theorem for higher order logics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 857-884
-
- Article
- Export citation
- Cited by 10
Representation of symmetric probability models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-193
-
- Article
- Export citation
- Cited by 10
Normalized natural deduction systems for some relevant logics I: The logic DW
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-66
-
- Article
- Export citation
- Cited by 10
A new “feasible” arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-116
-
- Article
- Export citation
- Cited by 10
Philosophical implications of Tarski's work1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-91
-
- Article
- Export citation
- Cited by 10
A metatheorem for constructions by finitely many workers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 787-804
-
- Article
- Export citation
- Cited by 10
Randomness and halting probabilities
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1411-1430
-
- Article
- Export citation
- Cited by 10
The word problem for division rings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 428-436
-
- Article
- Export citation
- Cited by 10
The independence property in generalized dense pairs of structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-404
-
- Article
- Export citation
- Cited by 10
Computability of Fraïssé limits
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-93
-
- Article
- Export citation
- Cited by 10
A test for the existence of tautologies according to many-valued truth-tables
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-184
-
- Article
- Export citation