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 18
Cylindric-relativised set algebras have strong amalgamation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 689-700
-
- Article
- Export citation
- Cited by 18
Alonzo Church. Application of recursive arithmetic to the problem of circuit synthesisSummaries of talks presented at the Summer Institute for Symbolic Logic Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N. J., 1960, pp. 3–50. 3a-45a.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-290
-
- Article
- Export citation
- Cited by 18
Sheaves and Boolean valued model theory1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-183
-
- Article
- Export citation
- Cited by 18
Omitting types for finite variable fragments and complete representations of algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-89
-
- Article
- Export citation
- Cited by 18
Marian Boykan Pour-El and Ian Richards. A computable ordinary differential equation which possesses no computable solution, Annals of mathematical logic, vol. 17 (1979), pp. 61–90. - Marian Boykan Pour-El and Ian Richards. The wave equation with computable initial data such that its unique solution is not computable. Advances in mathematics, vol. 39 (1981), pp. 215–239.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 900-902
-
- Article
- Export citation
- Cited by 18
Generalized Fitting subgroup of a group of finite Morley rank
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1391-1399
-
- Article
- Export citation
- Cited by 18
Poly-separated and ω-stable nilpotent groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 694-699
-
- Article
- Export citation
- Cited by 18
Hilbert's program sixty years later
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-348
-
- Article
- Export citation
- Cited by 18
Trees and -subsets of ω1ω1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1052-1070
-
- Article
- Export citation
- Cited by 18
A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-20
-
- Article
- Export citation
- Cited by 18
On the No-Counterexample Interpretation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1491-1511
-
- Article
- Export citation
- Cited by 18
A transfer principle in harmonic analysis1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 417-440
-
- Article
- Export citation
- Cited by 18
Elimination of quantifiers for ordered valuation rings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 116-128
-
- Article
- Export citation
- Cited by 18
PROJECTIVE CLONE HOMOMORPHISMS
- Part of:
-
- Published online by Cambridge University Press:
- 03 May 2019, pp. 148-161
-
- Article
- Export citation
- Cited by 18
A note on the undefinability of cuts
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 564-569
-
- Article
- Export citation
- Cited by 18
The Baire category theorem in weak subsystems of second-order arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-578
-
- Article
- Export citation
- Cited by 18
The Logic of Choice
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1264-1310
-
- Article
- Export citation
- Cited by 18
The basic intuitionistic logic of proofs
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 439-451
-
- Article
- Export citation
- Cited by 18
Some theorems on definability and decidability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-187
-
- Article
- Export citation
- Cited by 18
A decomposition of the Rogers semilattice of a family of d.c.e. sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 618-640
-
- Article
- Export citation