default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 24
Volume 24, Number 1, March 2018
- Paolo Pistone
:
Polymorphism and the obstinate Circularity of second order Logic: a Victims' Tale. 1-52 - Rod Downey, Noam Greenberg:
A Hierarchy of computably Enumerable Degrees. 53-89
- Erik Palmgren:
A Constructive Examination of a Russell-Style Ramified Type Theory. 90-106
- James Cummings:
Alexander Razborov, Flag algebras. Journal of Symbolic Logic, vol. 72 (2007), no. 4, pp. 1239-1282. 107-108
Volume 24, Number 2, June 2018
- Noam Greenberg, Dan Turetsky:
Strong jump-Traceability. 147-164 - Bjørn Kjos-Hanssen:
Permutations of the Integers Induce only the Trivial automorphism of the Turing Degrees. 165-174
- Davide Rizza:
Ø. Linnebo, Philosophy of Mathematics, Princeton Foundations of Contemporary Philosophy, Princeton University Press, Princeton, NJ, 2017, vi + 203 pp. 175-176 - Jeffry L. Hirst:
J. Stillwell, Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018, xiii + 182 pp. 176-177 - Nathaniel Gan:
J. Azzouni, Ontology without Borders, Oxford University Press, New York, 2017, xxxvi + 256 pp. 177-178 - Rodrigo R. Dias:
B. Tsaban, Algebra, selections and additive Ramsey theory. Fundamenta Mathematicae, (2018), no. 240, pp. 81-104. 179-180
- Assaf Hasson, Robert Bonnet:
In Memoriam: Mati Rubin 1946-2017. 181-185 - Daniel R. Grayson:
In Memoriam: Vladimir Voevodsky 1966-2017. 186-191
- Christian Rosendal, Sebastien Vasey:
Superstability and Categoricity in Abstract Elementary Classes, Carnegie Mellon University, USA, 2017. Supervised by Rami Grossberg. 192-194 - Alessandro Vignati:
Logic and C* -algebras: Set Theoretical Dichotomies in the Theory of Continuous Quotients, York University, Toronto, Canada, 2017. Supervised by Ilijas Farah. 194-195 - Emanuele Frittaion:
Reverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto Marcone. 196 - James Firoze Appleby:
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. 196-197 - Diana Carolina Montoya:
Some Cardinal Invariants of the Generalized Baire Spaces, Universität Wien, Austria, 2017. Supervised by Sy-David Friedman. 197 - Sandra Müller:
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. 198 - William Chen:
Some Results on Tight Stationarity, University of California, Los Angeles, USA, 2016. Supervised by Itay Neeman. 198-199 - Zanyar A. Ameen, Mirna Dzamonja:
Finitely Additive Measures on Topological Spaces and Boolean Algebras, University of East Anglia, UK, 2015. Supervised by Mirna Džamonja. 199-200 - Micheal Pawliuk:
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. 200 - Phillip Wesolek:
The Global Structure of Totally Disconnected Locally Compact Polish Groups, The University of Illinois at Chicago, USA, 2014. Supervised by Christian Rosendal. 200-201 - Lorenz Demey:
Believing in Logic and Philosophy, KU Leuven, Belgium, 2014. Supervised by Stefaan Cuypers. 201-202 - Rafael Zamora:
Separation Problems of Analytic Relations (Problèmes de séparation des relations analytiques), Université Pierre et Marie Curie, France, 2015. Supervised by Dominique Lecomte. 202 - Athar Abdul-Quader:
Interstructure Lattices and Types of Peano Arithmetic, The Graduate Center, City University of New York, USA, 2017. Supervised by Roman Kossak. 202-203
Volume 24, Number 3, September 2018
- Tor Sandqvist:
Preservation of Structural Properties in intuitionistic Extensions of an Inference Relation. 291-305 - Philip D. Welch:
The Ramified analytical Hierarchy using Extended Logics. 306-318 - Jan von Plato:
Kurt Gödel's First Steps in Logic: Formal Proofs in Arithmetic and Set Theory through a System of Natural Deduction. 319-335
- Artem Chernikov:
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. 336-339
Volume 24, Number 4, December 2018
- Alex Oliver, Timothy Smiley:
Cantorian Set Theory. 393-451
- Aleksandra Kwiatkowska:
Andrew Marks and Spencer Unger, Borel circle squaring, Annals of Mathematics, (2017), no. 186, pp. 581-605. 452-453
- Will Boney:
Advances in Classification Theory for Abstract Elementary Classes. 454-455 - Tomás Ibarlucía:
Model Theory Methods for Topological Groups. 455-456 - Marios Koulakis:
Coding into Inner Models at the Level of Strong Cardinals. 456 - Dominik Thomas Adolf:
On the Strength of PFA(ℵ2) in Conjunction with a Precipitous Ideal on ɷ1 and Namba-Like Forcings on Successors of Regular Cardinals. 456-457 - Carolin Antos:
Foundations of Higher-Order Forcing. 457 - Anush Tserunyan:
Finite Generators for Countable Group Actions; Finite Index Pairs of Equivalence Relations; Complexity Measures for Recursive Programs. 457-458 - Joseph Zielinski:
Compact Structures in Descriptive Classification Theory. 458-459 - Anton Bobkov:
Computations of Vapnik-Chervonenkis Density in Various Model-Theoretic Structures. 459 - Athipat Thamrongthanyalak:
Extensions and Smooth Approximations of Definable Functions in O-minimal Structures. 459-460 - Erik Walsberg:
Metric Geometry in a Tame Setting. 460 - Anton Freund:
Type-two well-ordering principles, admissible sets, and $\Pi _1^1$ -comprehension. 460-461 - Gianluca Paolini:
Independence in Model Theory and Team Semantics. 461-462 - Filippo Calderoni:
A Descriptive View of the Bi-embeddability Relation. 462 - Raphaël Carroy:
Functions of the first Baire class. 462-464 - Evandro Luís Gomes:
Sobre a história da paraconsistência e a obra de da Costa: ainstauração da Lógica Paraconsistente [On the history of paraconsistency and da Costa's work: the establishment of paraconsistent logic]. (December, 2013). 535p + appendixes. 464-465 - Matthew Harrison-Trainor:
The Complexity of Countable Structures. 465-466
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-11 18:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
