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 1
In the light of logic, by Solomon Feferman, Logic and computation in philosophy, Oxford University Press, New York, Oxford, etc., 1998, xii + 340 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 270-277
-
- Article
- Export citation
- Cited by 1
Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification
-
- Published online by Cambridge University Press:
- 13 February 2020, pp. 446-447
-
- Article
-
- You have access
- Export citation
- Cited by 1
Invariant Types in Model Theory
-
- Published online by Cambridge University Press:
- 16 April 2021, pp. 296-297
-
- Article
-
- You have access
- Export citation
- Cited by 1
Compact Structures in Descriptive Classification Theory
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 458-459
-
- Article
-
- You have access
- Export citation
- Cited by 1
J. Steel, PFA implies ADL(ℝ). The Journal of Symbolic Logic, vol. 70 (2005), no. 4, pp. 1255–1296. - G. Sargsyan, Nontame mouse from the failure of square at a singular strong limit cardinal. Journal of Mathematical Logic, vol. 14 (2014), 1450003 (47 pages). - G. Sargsyan, Covering with universally Baire operators. Advances in Mathematics, vol. 268 (2015), pp. 603–665. - N. Trang, PFA and guessing models. Israel Journal of Mathematics, vol. 215 (2016), pp. 607–667.
-
- Published online by Cambridge University Press:
- 28 December 2020, pp. 89-92
-
- Article
- Export citation
- Cited by 1
THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES
- Part of:
-
- Published online by Cambridge University Press:
- 29 April 2021, pp. 187-211
-
- Article
- Export citation
- Cited by 1
John P. Burgess. Philosophical logic. Princeton University Press, Princeton NJ. 2009, viii + 153 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 411-413
-
- Article
- Export citation
- Cited by 1
2019 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2019 Prague, Czech Republic August 11–16, 2019
-
- Published online by Cambridge University Press:
- 13 February 2020, pp. 481-530
-
- Article
- Export citation
- Cited by 1
Almost Disjoint Families and Diagonalizations of Length Continuum
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 240-260
-
- Article
- Export citation
- Cited by 1
2005–06 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 503-516
-
- Article
- Export citation
- Cited by 1
Explicit Computational Paths in Type Theory
-
- Published online by Cambridge University Press:
- 25 July 2019, pp. 213-214
-
- Article
-
- You have access
- Export citation
- Cited by 1
Sergio Fajardo and H. Jerome Keisler . Model theory of stochastic processes, Lecture Notes in Logic, vol. 14. Association for Symbolic Logic, A K Peters, Ltd., Natick, Massachusetts, 2002, xii + 136 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 110-112
-
- Article
- Export citation
- Cited by 1
The Axiom of Infinity and Transformations j: V → V
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 37-84
-
- Article
- Export citation
- Cited by 1
William Tait. The provenance of pure reason: essays in the philosophy of mathematics and its history. Oxford University Press, Oxford, 2005, x + 332 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 608-611
-
- Article
- Export citation
- Cited by 1
REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS
-
- Published online by Cambridge University Press:
- 19 December 2019, pp. 429-445
-
- Article
- Export citation
- Cited by 1
The Theory of the Generalised Real Numbers and Other Topics in Logic
-
- Published online by Cambridge University Press:
- 13 February 2020, pp. 449-450
-
- Article
-
- You have access
- Export citation
- Cited by 1
20TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2013) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Darmstadt, Germany August 20–23, 2013
-
- Published online by Cambridge University Press:
- 26 June 2014, pp. 266-267
-
- Article
- Export citation
- Cited by 1
Transfer Principles in Henselian Valued Fields
- Part of:
-
- Published online by Cambridge University Press:
- 16 September 2021, pp. 222-223
-
- Article
-
- You have access
- Export citation
- Cited by 1
From sets and types to topology and analysis—towards practicable foundations for constructive mathematics, edited by Laura Crosilla and Peter Schuster, Oxford Logic Guides, vol. 48. Clarendon Press, 2005, xix + 450 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 611-612
-
- Article
- Export citation
- Cited by 1
2014 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Westin Gaslamp Quarter San Diego, California April 16–17, 2014
-
- Published online by Cambridge University Press:
- 04 June 2015, pp. 193-200
-
- Article
- Export citation