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 5
Models of arithmetic and upper bounds for arithmetic sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 977-983
-
- Article
- Export citation
- Cited by 5
Generalized high degrees have the complementation property
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1200-1220
-
- Article
- Export citation
- Cited by 5
OPTIMAL RESULTS ON RECOGNIZABILITY FOR INFINITE TIME REGISTER MACHINES
-
- Published online by Cambridge University Press:
- 22 December 2015, pp. 1116-1130
-
- Article
- Export citation
- Cited by 4
THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS
-
- Published online by Cambridge University Press:
- 01 December 2016, pp. 1481-1499
-
- Article
- Export citation
- Cited by 4
LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY
-
- Published online by Cambridge University Press:
- 25 June 2014, pp. 325-354
-
- Article
- Export citation
- Cited by 4
On fixed-point logic with counting
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 777-787
-
- Article
- Export citation
- Cited by 4
Tree structures associated to a family of functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 681-695
-
- Article
- Export citation
- Cited by 4
Problems in symbolic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 215
-
- Article
- Export citation
- Cited by 4
DENSITY-1-BOUNDING AND QUASIMINIMALITY IN THE GENERIC DEGREES
-
- Published online by Cambridge University Press:
- 08 May 2017, pp. 931-957
-
- Article
- Export citation
- Cited by 4
Products of some special compact spaces and restricted forms of AC
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 996-1006
-
- Article
- Export citation
- Cited by 4
Toward a constructive theory of unbounded linear operators
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-370
-
- Article
- Export citation
- Cited by 4
Equality and lyndon's interpolation theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-128
-
- Article
- Export citation
- Cited by 4
Generic substitutions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-83
-
- Article
- Export citation
- Cited by 4
Annual Meeting of the Association for Symbolic Logic, Philadelphia 1981
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 898-910
-
- Article
- Export citation
- Cited by 4
Dominating and unbounded free sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-80
-
- Article
- Export citation
- Cited by 4
Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. Logic programming, Proceedings of the fifth international conference and symposium, Volume 2, edited by Robert A. Kowalski and Kenneth A. Bowen, Series in logic programming, The MIT Press, Cambridge, Mass., and London, 1988, pp. 1070–1080. - Kit Fine. The justification of negation as failure. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 263–301.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-277
-
- Article
- Export citation
- Cited by 4
Encodability of Kleene's O
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 437-440
-
- Article
- Export citation
- Cited by 4
PRIORITY ARGUMENTS VIA TRUE STAGES
-
- Published online by Cambridge University Press:
- 12 December 2014, pp. 1315-1335
-
- Article
- Export citation
- Cited by 4
The torsionfree part of the Ziegler spectrum of RG when R is a Dedekind domain and G is a finite group
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1126-1140
-
- Article
- Export citation
- Cited by 4
UNIVERSAL COUNTABLE BOREL QUASI-ORDERS
-
- Published online by Cambridge University Press:
- 18 August 2014, pp. 928-954
-
- Article
- Export citation