Articles
POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE
-
- Published online by Cambridge University Press:
- 26 April 2018, pp. 1-52
-
- Article
- Export citation
STRONG JUMP-TRACEABILITY
-
- Published online by Cambridge University Press:
- 07 August 2018, pp. 147-164
-
- Article
- Export citation
CANTORIAN SET THEORY
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 393-451
-
- Article
- Export citation
PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 291-305
-
- Article
- Export citation
Reviews
Andrew Marks and Spencer Unger, Borel circle squaring, Annals of Mathematics, (2017), no. 186, pp. 581–605.
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 452-453
-
- Article
- Export citation
Articles
A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES
-
- Published online by Cambridge University Press:
- 26 April 2018, pp. 53-89
-
- Article
- Export citation
PERMUTATIONS OF THE INTEGERS INDUCE ONLY THE TRIVIAL AUTOMORPHISM OF THE TURING DEGREES
-
- Published online by Cambridge University Press:
- 07 August 2018, pp. 165-174
-
- Article
- Export citation
THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 306-318
-
- Article
- Export citation
Communications
A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY
-
- Published online by Cambridge University Press:
- 26 April 2018, pp. 90-106
-
- Article
- Export citation
Reviews
Ø. Linnebo, Philosophy of Mathematics, Princeton Foundations of Contemporary Philosophy, Princeton University Press, Princeton, NJ, 2017, vi + 203 pp.
-
- Published online by Cambridge University Press:
- 07 August 2018, pp. 175-176
-
- Article
- Export citation
Articles
KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 319-335
-
- Article
- Export citation
Thesis Abstracts
Advances in Classification Theory for Abstract Elementary Classes
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 454-455
-
- Article
-
- You have access
- Export citation
Reviews
J. Stillwell, Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018, xiii + 182 pp.
-
- Published online by Cambridge University Press:
- 07 August 2018, pp. 176-177
-
- Article
- Export citation
Model theory, Keisler measures, and groups - Ehud Hrushovski, Ya’acov Peterzil and Anand Pillay, Groups, measures, and the NIP. Journal of the American Mathematical Society, vol. 21 (2008), no. 2, pp. 563–596. - Ehud Hrushovski and Anand Pillay, On NIP and invariant measures. Journal of the European Mathematical Society, vol.13 (2011), no. 4, pp. 1005–1061. - Ehud Hrushovski, Anand Pillay, and Pierre Simon, Generically stable and smooth measures in NIP theories. Transactions of the American Mathematical Society, vol. 365 (2013), no. 5, pp. 2341–2366.
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 336-339
-
- Article
- Export citation
Thesis Abstracts
Model Theory Methods for Topological Groups
-
- Published online by Cambridge University Press:
- 02 January 2019, pp. 455-456
-
- Article
-
- You have access
- Export citation
Reviews
Alexander Razborov, Flag algebras. Journal of Symbolic Logic, vol. 72 (2007), no. 4, pp. 1239–1282.
-
- Published online by Cambridge University Press:
- 26 April 2018, pp. 107-108
-
- Article
- Export citation
Meeting Report
2016–17 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Hyatt Regency Atlanta and Marriott Atlanta Marquis Atlanta, GA, USA January 6–7, 2017
-
- Published online by Cambridge University Press:
- 26 April 2018, pp. 109-118
-
- Article
- Export citation
17TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (SLALM 2017) SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Puebla, Puebla,México June 26–30, 2017
-
- Published online by Cambridge University Press:
- 25 October 2018, pp. 340-376
-
- Article
- Export citation
Thesis Abstracts
Coding into Inner Models at the Level of Strong Cardinals
-
- Published online by Cambridge University Press:
- 02 January 2019, p. 456
-
- Article
-
- You have access
- Export citation
Reviews
J. Azzouni, Ontology without Borders, Oxford University Press, New York, 2017, xxxvi + 256 pp.
-
- Published online by Cambridge University Press:
- 07 August 2018, pp. 177-178
-
- Article
- Export citation