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
Arthur Francis Smullyan. Modality and description. The journal of symbolic logic, vol. 13 (1948), pp. 31–37.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-150
-
- Article
- Export citation
- Cited by 3
Degree problems for modular machines
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 510-528
-
- Article
- Export citation
- Cited by 3
Defining relevant implication in a propositionally quantified S4
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1057-1069
-
- Article
- Export citation
- Cited by 3
ON THE COMMUTATIVITY OF PULL-BACK AND PUSH-FORWARD FUNCTORS ON MOTIVIC CONSTRUCTIBLE FUNCTIONS
-
- Published online by Cambridge University Press:
- 14 May 2019, pp. 1252-1278
-
- Article
- Export citation
- Cited by 3
Indécidabilité des corps de courbe réelle
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-91
-
- Article
- Export citation
- Cited by 3
Cuts in hyperfinite time lines
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 522-527
-
- Article
- Export citation
- Cited by 3
An AD-like model
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 531-543
-
- Article
- Export citation
- Cited by 3
A NEW MINIMAL NON-σ-SCATTERED LINEAR ORDER
-
- Published online by Cambridge University Press:
- 16 July 2019, pp. 1576-1589
-
- Article
- Export citation
- Cited by 3
Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1260-1272
-
- Article
- Export citation
- Cited by 3
Distributivity and an axiom of choice
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-277
-
- Article
- Export citation
- Cited by 3
Term extraction and Ramsey's theorem for pairs
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 853-895
-
- Article
- Export citation
- Cited by 3
THE TOPOLOGICAL PIGEONHOLE PRINCIPLE FOR ORDINALS
-
- Published online by Cambridge University Press:
- 29 June 2016, pp. 662-686
-
- Article
- Export citation
- Cited by 3
Outer models and genericity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-418
-
- Article
- Export citation
- Cited by 3
QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL’S THEOREM ON THE TRACE OF SETS
-
- Published online by Cambridge University Press:
- 10 May 2016, pp. 687-710
-
- Article
- Export citation
- Cited by 3
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-64
-
- Article
- Export citation
- Cited by 3
The real line in elementary submodels of set theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-691
-
- Article
- Export citation
- Cited by 3
Jónsson cardinals, Erdős cardinals, and the core model
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1065-1086
-
- Article
- Export citation
- Cited by 3
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
- Part of:
-
- Published online by Cambridge University Press:
- 08 July 2022, pp. 308-330
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
- Cited by 3
Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-154
-
- Article
- Export citation
- Cited by 3
N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258(1) by Moshe Machover. American Mathematical Society translations, vol. 29 (1963), pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Vesley. The intuitionistic continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 133–173. - S. C. Kleene. On order in the continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 174–186. - S. C. Kleene. Bibliography.The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 187–199.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-261
-
- Article
- Export citation