Works matching IS 10798986 AND DT 2018 AND VI 24 AND IP 2
Results: 27
BSL volume 24 issue 2 Cover and Back matter.
- Published in:
- 2018
- Publication type:
- Other
BSL volume 24 issue 2 Cover and Front matter.
- Published in:
- 2018
- Publication type:
- Other
Notices.
- Published in:
- 2018
- Publication type:
- Announcement
Algebra, selections and additive Ramsey theory.
- Published in:
- 2018
- By:
- Publication type:
- Book Review
Interstructure Lattices and Types of Peano Arithmetic, The Graduate Center, City University of New York, USA, 2017. Supervised by Roman Kossak.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
Separation Problems of Analytic Relations (Problèmes de séparation des relations analytiques), Université Pierre et Marie Curie, France, 2015. Supervised by Dominique Lecomte.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
Believing in Logic and Philosophy, KU Leuven, Belgium, 2014. Supervised by Stefaan Cuypers.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
The Global Structure of Totally Disconnected Locally Compact Polish Groups, The University of Illinois at Chicago, USA, 2014. Supervised by Christian Rosendal.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
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.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
Finitely Additive Measures on Topological Spaces and Boolean Algebras, University of East Anglia, UK, 2015. Supervised by Mirna Džamonja.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
Some Results on Tight Stationarity, University of California, Los Angeles, USA, 2016. Supervised by Itay Neeman.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
Pure and Hybrid Mice with Finitely Many Woodin Cardinals from Levels of Determinacy Westfälische Wilhelms-Universität Münster, Germany, 2016. Supervised by Ralf-Dieter Schindler.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
Some Cardinal Invariants of the Generalized Baire Spaces, Universität Wien, Austria, 2017. Supervised by Sy-David Friedman.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
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.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
Reverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto Marcone.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
Logic and C* -algebras: Set Theoretical Dichotomies in the Theory of Continuous Quotients, York University, Toronto, Canada, 2017. Supervised by Ilijas Farah.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
Superstability and Categoricity in Abstract Elementary Classes, Carnegie Mellon University, USA, 2017. Supervised by Rami Grossberg.
- Published in:
- 2018
- By:
- Publication type:
- Abstract
THE 2017 ANNUAL CONFERENCE OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC University of Adelaide, Australia July 6–7, 2017.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 2, p. 278, doi. 10.1017/bsl.2018.24
- Publication type:
- Article
Ontology without Borders,
- Published in:
- 2018
- By:
- Publication type:
- Book Review
IN MEMORIAM: VLADIMIR VOEVODSKY 1966–2017.
- Published in:
- 2018
- By:
- Publication type:
- Obituary
Reverse Mathematics: Proofs from the Inside Out,
- Published in:
- 2018
- By:
- Publication type:
- Book Review
PERMUTATIONS OF THE INTEGERS INDUCE ONLY THE TRIVIAL AUTOMORPHISM OF THE TURING DEGREES.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 2, p. 165, doi. 10.1017/bsl.2018.15
- By:
- Publication type:
- Article
Philosophy of Mathematics.
- Published in:
- 2018
- By:
- Publication type:
- Book Review
2017 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’17 Stockholm, Sweden August 14–20, 2017.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 2, p. 211, doi. 10.1017/bsl.2018.13
- Publication type:
- Article
2017 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Westin Seattle Seattle, Washington, USA April 12–13, 2017.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 2, p. 204, doi. 10.1017/bsl.2018.12
- Publication type:
- Article
IN MEMORIAM: MATI RUBIN 1946–2017.
- Published in:
- 2018
- By:
- Publication type:
- Obituary
STRONG JUMP-TRACEABILITY.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 2, p. 147, doi. 10.1017/bsl.2017.38
- By:
- Publication type:
- Article