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 3
BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- Part of:
-
- Published online by Cambridge University Press:
- 11 June 2021, pp. 635-668
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 3
COMPUTING STRENGTH OF STRUCTURES RELATED TO THE FIELD OF REAL NUMBERS
-
- Published online by Cambridge University Press:
- 21 March 2017, pp. 137-150
-
- Article
- Export citation
- Cited by 3
Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 964-973
-
- Article
- Export citation
- Cited by 3
SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES
- Part of:
-
- Published online by Cambridge University Press:
- 15 February 2021, pp. 262-292
-
- Article
- Export citation
- Cited by 3
Bi-isolation in the d.c.e. degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-420
-
- Article
- Export citation
- Cited by 3
There are many almost strongly minimal generalized n-gons that do not interpret an infinite group
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 485-508
-
- Article
- Export citation
- Cited by 3
On first-order sentences without finite models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-339
-
- Article
- Export citation
- Cited by 3
Retraction note for “PDL has interpolation”
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 935-936
-
- Article
- Export citation
- Cited by 3
Deux remarques à propos de la propriété de recouvrement fini
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 803-807
-
- Article
- Export citation
- Cited by 3
A Reduction of the NF consistency Problem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-304
-
- Article
- Export citation
- Cited by 3
On the existence of Stone-Čech compactification
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1137-1146
-
- Article
- Export citation
- Cited by 3
A note on existential instantiation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-82
-
- Article
- Export citation
- Cited by 3
REVERSE MATHEMATICS OF FIRST-ORDER THEORIES WITH FINITELY MANY MODELS
-
- Published online by Cambridge University Press:
- 18 August 2014, pp. 955-984
-
- Article
- Export citation
- Cited by 3
Jean-Yves Girard, Paul Taylor, and Yves LaFont. Proofs and types. Cambridge tracts in theoretical computer science, no. 7. Cambridge University Press, Cambridge etc. 1989, xi + 176 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 760-761
-
- Article
- Export citation
- Cited by 3
ONE DIMENSIONAL GROUPS DEFINABLE IN THE p-ADIC NUMBERS
- Part of:
-
- Published online by Cambridge University Press:
- 15 February 2021, pp. 801-816
-
- Article
- Export citation
- Cited by 3
Topological completeness for higher-order logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1168-1182
-
- Article
- Export citation
- Cited by 3
Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-120
-
- Article
- Export citation
- Cited by 3
COMPACT CARDINALS AND EIGHT VALUES IN CICHOŃ’S DIAGRAM
-
- Published online by Cambridge University Press:
- 01 August 2018, pp. 790-803
-
- Article
- Export citation
- Cited by 3
Stationary sets and infinitary logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1311-1320
-
- Article
- Export citation
- Cited by 3
Ultrafilters of character ω1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-15
-
- Article
- Export citation