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
A star-free semantics for R
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-590
-
- 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
Two additions to positive implication
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 31-32
-
- Article
- Export citation
- Cited by 10
On Π 1-automorphisms of recursive linear orders
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 681-688
-
- 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
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
ITERATING SYMMETRIC EXTENSIONS
-
- Published online by Cambridge University Press:
- 14 March 2019, pp. 123-159
-
- 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
Saturated models of Peano arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-637
-
- 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
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
Representation of symmetric probability models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-193
-
- 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
A new “feasible” arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-116
-
- Article
- Export citation
- Cited by 10
A strong polarized relation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 766-776
-
- Article
- Export citation
- Cited by 10
Π11 Borel sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 915-920
-
- Article
- Export citation
- Cited by 10
An undecidability result for relation algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-115
-
- Article
- Export citation
- Cited by 10
Pseudo-finite homogeneity and saturation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1689-1699
-
- 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