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 2
Two recursion theoretic characterizations of proof speed-ups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 522-526
-
- Article
- Export citation
- Cited by 2
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
- Part of:
-
- Published online by Cambridge University Press:
- 18 June 2020, pp. 563-584
-
- Article
-
- You have access
- Open access
- Export citation
- Cited by 2
SYMÉTRIES ET TRANSVEXIONS, PRINCIPALEMENT DANS LES GROUPES DE RANG DE MORLEY FINI SANS INVOLUTIONS
- Part of:
-
- Published online by Cambridge University Press:
- 07 June 2021, pp. 965-990
-
- Article
- Export citation
- Cited by 2
L'axiome de normalité pour les espaces totalement ordonnés
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-283
-
- Article
- Export citation
- Cited by 2
The classification of small weakly minimal sets. III: Modules
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 975-979
-
- Article
- Export citation
- Cited by 2
On existence proofs of Hanf numbers1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 318-324
-
- Article
- Export citation
- Cited by 2
FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY
-
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1132-1146
-
- Article
- Export citation
- Cited by 2
On the representation of Herbrand functions in algebraically closed fields
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-204
-
- Article
- Export citation
- Cited by 2
Generalized quantification as substructural logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1006-1044
-
- Article
- Export citation
- Cited by 2
Saccharinity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1153-1183
-
- Article
- Export citation
- Cited by 2
${\cal D}$-MAXIMAL SETS
-
- Published online by Cambridge University Press:
- 22 December 2015, pp. 1182-1210
-
- Article
- Export citation
- Cited by 2
FRAGMENTS OF FREGE’S GRUNDGESETZE AND GÖDEL’S CONSTRUCTIBLE UNIVERSE
-
- Published online by Cambridge University Press:
- 29 June 2016, pp. 605-628
-
- Article
- Export citation
- Cited by 2
A second order version of S 2 i and U 2 1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1038-1063
-
- Article
- Export citation
- Cited by 2
A boundedness lemma for iterations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1058-1072
-
- Article
- Export citation
- Cited by 2
On the structures inside truth-table degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 731-770
-
- Article
- Export citation
- Cited by 2
Cardinal collapsing and ordinal definability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 635-642
-
- Article
- Export citation
- Cited by 2
Axioms for the “Gergonne”-relations
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
-
- Article
- Export citation
- Cited by 2
On the number of models of uncountable theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1285-1300
-
- Article
- Export citation
- Cited by 2
Uniform inductive definability and infinitary languages
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-120
-
- Article
- Export citation
- Cited by 2
On the use of inaccessible numbers and order indiscernibles in lower bound arguments for random access machines
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1098-1109
-
- Article
- Export citation