1635 results in Bulletin of Symbolic Logic
Interstructure Lattices and Types of Peano Arithmetic, The Graduate Center, City University of New York, USA, 2017. Supervised by Roman Kossak
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 202-203
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
J. Stillwell, Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018, xiii + 182 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 176-177
- Print publication:
- June 2018
-
- Article
- Export citation
2017 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Westin Seattle Seattle, Washington, USA April 12–13, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 204-210
- Print publication:
- June 2018
-
- Article
- Export citation
IN MEMORIAM: VLADIMIR VOEVODSKY 1966–2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 186-191
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
Reverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto Marcone
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, p. 196
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
Some Cardinal Invariants of the Generalized Baire Spaces, Universität Wien, Austria, 2017. Supervised by Sy-David Friedman
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, p. 197
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
PERMUTATIONS OF THE INTEGERS INDUCE ONLY THE TRIVIAL AUTOMORPHISM OF THE TURING DEGREES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 165-174
- Print publication:
- June 2018
-
- Article
- Export citation
Amenability and Unique Ergodicity of the Automorphism Groups of all Countable Homogeneous Directed Graphs, University of Toronto, Canada, 2015. Supervised by Vladimir Pestov and Stevo Todorcevic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, p. 200
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
Choice Sequences and Knowledge States: Extending the Notion of Finite Information to Produce a Clearer Foundation for Intuitionistic Analysis, Keele University, UK, 2017. Supervised by Peter Fletcher
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 196-197
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
BSL volume 24 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. f1-f4
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
Believing in Logic and Philosophy, KU Leuven, Belgium, 2014. Supervised by Stefaan Cuypers
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 201-202
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
STRONG JUMP-TRACEABILITY
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 147-164
- Print publication:
- June 2018
-
- Article
- Export citation
Logic and C* -algebras: Set Theoretical Dichotomies in the Theory of Continuous Quotients, York University, Toronto, Canada, 2017. Supervised by Ilijas Farah
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 194-195
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
The Global Structure of Totally Disconnected Locally Compact Polish Groups, The University of Illinois at Chicago, USA, 2014. Supervised by Christian Rosendal
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 200-201
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
Some Results on Tight Stationarity, University of California, Los Angeles, USA, 2016. Supervised by Itay Neeman
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 198-199
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
IN MEMORIAM: MATI RUBIN 1946–2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 181-185
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
2016–17 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Hyatt Regency Atlanta and Marriott Atlanta Marquis Atlanta, GA, USA January 6–7, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 26 April 2018, pp. 109-118
- Print publication:
- March 2018
-
- Article
- Export citation
POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 26 April 2018, pp. 1-52
- Print publication:
- March 2018
-
- Article
- Export citation
A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 26 April 2018, pp. 53-89
- Print publication:
- March 2018
-
- Article
- Export citation
A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 26 April 2018, pp. 90-106
- Print publication:
- March 2018
-
- Article
- Export citation