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 12
Truth In V for ∃*∀∀-Sentences is Decidable
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1200-1222
-
- Article
- Export citation
- Cited by 12
A formal theorem in Church's theory of types
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 28-33
-
- Article
- Export citation
- Cited by 12
Lascar strong types in some simple theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 817-824
-
- Article
- Export citation
- Cited by 12
The equivalence of determinacy and iterated sharps
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 502-525
-
- Article
- Export citation
- Cited by 12
Bounding prime models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1117-1142
-
- Article
- Export citation
- Cited by 12
E. Mark Gold. Limiting recursion. The journal of symbolic logic, vol. 30 (1965), pp. 28–48. - Hilary Putnam. Trial and error predicates and the solution to a problem of Mostowski. The journal of symbolic logic, vol. 30 (1965), pp. 49–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
-
- Article
- Export citation
- Cited by 12
Pseudoprojective strongly minimal sets are locally projective
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1184-1194
-
- Article
- Export citation
- Cited by 12
Lattice embeddings into the recursively enumerable degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 257-272
-
- Article
- Export citation
- Cited by 12
Orbit equivalence and actions of
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-282
-
- Article
- Export citation
- Cited by 12
Extensions of Hilbert's tenth problem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-397
-
- Article
- Export citation
- Cited by 12
STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES
-
- Published online by Cambridge University Press:
- 01 December 2016, pp. 1405-1431
-
- Article
- Export citation
- Cited by 12
Provably total functions of intuitionistic bounded arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 466-477
-
- Article
- Export citation
- Cited by 12
Dominical categories: recursion theory without elements1 2
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 594-635
-
- Article
- Export citation
- Cited by 12
Expansions which introduce no new open sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-121
-
- Article
- Export citation
- Cited by 12
A formal system of logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 25-32
-
- Article
- Export citation
- Cited by 12
On automorphism groups of countable structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 891-896
-
- Article
- Export citation
- Cited by 12
Undecidable properties of finite sets of equations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 589-604
-
- Article
- Export citation
- Cited by 12
Sequent calculus in natural deduction style
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1803-1816
-
- Article
- Export citation
- Cited by 12
Isolation and lattice embeddings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1055-1064
-
- Article
- Export citation
- Cited by 12
A derivation of number theory from ancestral theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 192-197
-
- Article
- Export citation