- BSL volume 29 issue 3 Cover and Back matter
- BSL volume 29 issue 3 Cover and Front matter
- John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp.
- THREE PAPERS ON RECENT WORK ON META-VALIDITY – David Ripley, One step is enough. Journal of Philosophical Logic, vol. 51 (2022), pp. 1233–1259. – Isabella McAllister, Classical logic is not uniquely characterizable. Journal of Philosophical Logic, vol. 51 (2022), pp. 1345–1365. – Rea Golan, There is no tenable notion of global metainferential validity. Analysis, vol. 81 (2021), no. 3, pp. 411–420.
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
- BSL volume 29 issue 2 Cover and Front matter
- BSL volume 29 issue 2 Cover and Back matter
- New methods in forcing iteration and applications
- Forcing theory and combinatorics of the real line
- Around Exponential-Algebraic Closedness
- Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp.
- Effective Concept Classes of PAC and PACi Incomparable Degrees, Joins and Embedding of Degrees
- Katie Steele and H. Orri Stefánsson. Beyond Uncertainty: Reasoning with Unknown Possibilities. Elements in Decision Theory and Philosophy. Cambridge University Press, Cambridge, UK, 2021, 110 pp.
- COMPUTABLY COMPACT METRIC SPACES
- MENAS’S CONJECTURE REVISITED
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- BSL volume 29 issue 1 Cover and Front matter
- BSL volume 29 issue 1 Cover and Back matter
- WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
- SATURATED MODELS FOR THE WORKING MODEL THEORIST
- INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES
- LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION
- BSL volume 28 issue 4 Cover and Front matter
- BSL volume 28 issue 4 Cover and Back matter
- CONTENTS OF VOLUME 28
- 2022 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Cornell University Ithaca, NY, USA April 7–10, 2022
- 2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 – July 1, 2022
- Boolean-Valued Models and Their Applications
- The Buridan-Volpin Derivation System; Properties and Justification
- Investigations into intuitionistic and other negations
- On New Notions of Algorithmic Dimension, Immunity, and Medvedev Degree
- Independence Relations in Abstract Elementary Categories
- Something Valid This Way Comes: A Study of Neologicism and Proof-Theoretic Validity
- Quillen Model Categories-Based Notions of Locality of Logics over Finite Structures
- O-minimal de Rham Cohomology
- CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES
- BSL volume 28 issue 3 Cover and Back matter
- BSL volume 28 issue 3 Cover and Front matter
- 2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE AMS Seattle, Washington Joint Mathematics Meeting January 7–8, 2022
- 2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE APA Palmer House, Chicago, IL Central APA Meeting February 24, 2022
- ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC ${mathscr {C}}_1$ AND SOME OF ITS PARACONSISTENT EXTENSIONS
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- The Combinatorics and Absoluteness of Definable Sets of Real Numbers
- Formal Theories of Occurrences and Substitutions
- Uniform Properties of Ideals in Rings of Restricted Power Series
- P-points, MAD families and Cardinal Invariants
- Paraconsistent Logic Programming in Three and Four-Valued Logics
- Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics
- On Logics and Semantics for Interpretability
- BSL volume 28 issue 2 Cover and Back matter
- Semantics modulo satisfiability with applications: function representation, probabilities and game theory
- A journey through computability, topology and analysis
- Proof Mining with the Bounded Functional Interpretation
- 2021 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’21 Adam Mickiewicz University Poznań, Poland July 19–24, 2021
- BSL volume 28 issue 2 Cover and Front matter
- A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- UNIVERSAL CODING AND PREDICTION ON ERGODIC RANDOM POINTS
- ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC
- AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING
- BSL volume 28 issue 1 Cover and Front matter
- BSL volume 28 issue 1 Cover and Back matter
- IN MEMORIAM: GERALD E. SACKS, 1933–2019
- THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
- Dimensions of Ordinals: Set Theory, Homology Theory, and the First Omega Alephs
- BSL volume 27 issue 4 Cover and Front matter
- New Directions in Duality Theory for Modal Logic
- Automating the Repair of Faulty Logical Theories
- BSL volume 27 issue 4 Cover and Back matter
- THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS
- Continuous Abstract Data Types for Verified Computation
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- IN MEMORIAM: MICHAEL MORLEY, 1930–2020
- Second-Order Modal Logic
- Some Progress on the Unique Ergodicity Problem
- On the Axiomatisability of the Dual of Compact Ordered Spaces
- Algebraic and Model Theoretic Properties of O-minimal Exponential Fields
- Towards Finding a Lattice that Characterizes the ${>} omega ^2$ -Fickle Recursively Enumerable Turing Degrees
- CONSTRUCTING WADGE CLASSES
- BSL volume 27 issue 3 Cover and Front matter
- BSL volume 27 issue 3 Cover and Back matter
- 2021 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC
- NOTES ON THE STABLE REGULARITY LEMMA
- VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
- INVARIANCE CRITERIA AS META-CONSTRAINTS
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT
- AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS
- ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT
- DEGREES OF RANDOMIZED COMPUTABILITY
- Results on Martin’s Conjecture
- The Structure of d.r.e. Degrees
- REVIEWS
- From Generative Linguistics to Categorial Grammars: Overt Subjects in Control Infinitives
- Model Theory in a Paraconsistent Environment
- Expansions and Neostability in Model Theory
- Intrinsic density, asymptotic computability, and stochasticity
- BSL volume 27 issue 2 Cover and Back matter
- Necessitism, Contingentism, and Theory Equivalence
- Contributions to the Theory of Large Cardinals through the Method of Forcing
- On Transfinite Levels of the Ershov Hierarchy
- Pseudofinite Structures and Counting Dimensions
- Transfer Principles in Henselian Valued Fields
- BSL volume 27 issue 2 Cover and Front matter
- KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES
- PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC
- LOGICALITY AND MODEL CLASSES
- BSL volume 27 issue 1 Cover and Back matter
- BSL volume 27 issue 1 Cover and Front matter
- 2021 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC
- 2020 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC
- William Chan, An introduction to combinatorics of determinacy, Trends in Set Theory (S. Coskey and G. Sargsyan, editors), Contemporary Mathematics, vol. 752, Providence, RI, American Mathematical Society, 2020, pp. 21–75.
- GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
- SEALING OF THE UNIVERSALLY BAIRE SETS
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
- LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
- THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES
- LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY
- LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS
- Filling cages. Reverse mathematics and combinatorial principles
- 2020 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Colorado Convention Center Denver, CO, USA January 17–18, 2020
- YOUNG SET THEORY XII 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vienna, Austria June 26–29, 2019
- HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Tübingen, Germany July 21–27, 2019
- WORKSHOP ON COMPUTABILITY THEORY (WCT 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Leeds, UK July 22–23, 2019
- FroCoS/TABLEAUX 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK September 2–6, 2019
- CIRCULARITY IN SYNTAX AND SEMANTICS (CiSS 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Gothenburg, Sweden November 20–22, 2019
- PROOF SOCIETY SUMMER SCHOOLS AND WORKSHOP ON PROOF THEORY AND ITS APPLICATIONS COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Swansea, UK September 8–13, 2019
- LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Deerfield Beach, Florida, USA January 4–7, 2020
- BSL volume 26 issue 3-4 Cover and Back matter
- FINDING THE LIMIT OF INCOMPLETENESS I
- T. Button and S. Walsh. Philosophy and Model Theory. Oxford University Press, Oxford, 2018, xvi + 517 pp.
- IN MEMORIAM: ANNE SJERP TROELSTRA 1939–2019
- Invariant Types in Model Theory
- Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations
- A Categorical Characterization of Accessible Domain
- An Implicative Expansion of Belnap’s Four-Valued Matrix: A Modal Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes
- BSL volume 26 issue 3-4 Cover and Front matter
- Compact Metrizable Structures via Projective Fraïssé Theory With an Application to the Study of Fences
- THE BSL 25TH ANNIVERSARY PRIZE
- Measurable combinatorics and orbit equivalence relations
- BSL volume 26 issue 2 Cover and Front matter
- BSL volume 26 issue 2 Cover and Back matter
- 2020 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, California, USA March 25–28, 2020
- Scott S. Cramer, Inverse limit reflection and the structure of L(V λ+1). Journal of Mathematical Logic, vol. 15 (2015), no. 1, p. 1550001 (38 pp.).
- STRONG COLORINGS OVER PARTITIONS
- DOMINATION AND REGULARITY
- BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH
- COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
- DISJUNCTIONS WITH STOPPING CONDITIONS
- BSL volume 26 issue 1 Cover and Back matter
- 31ST EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION (ESSLLI 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Riga, Latvia August 5–16, 2019
- THE 27TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (C$forall mathrm {D} exists $-27) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Natal, Brazil August 23–30, 2019
- EUROPEAN SET THEORY CONFERENCE VII 2019 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vienna, Austria July 1–5, 2019
- CALEIDOSCOPE—COMPLEXITY AS A KALEIDOSCOPE A RESEARCH SCHOOL ON COMPUTATIONAL COMPLEXITY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Institut Henri Poincaré, Paris, France June 17th–21st, 2019
- J. Steel, PFA implies ADL(ℝ). The Journal of Symbolic Logic, vol. 70 (2005), no. 4, pp. 1255–1296. – G. Sargsyan, Nontame mouse from the failure of square at a singular strong limit cardinal. Journal of Mathematical Logic, vol. 14 (2014), 1450003 (47 pages). – G. Sargsyan, Covering with universally Baire operators. Advances in Mathematics, vol. 268 (2015), pp. 603–665. – N. Trang, PFA and guessing models. Israel Journal of Mathematics, vol. 215 (2016), pp. 607–667.
- BSL volume 26 issue 1 Cover and Front matter
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- GÖDEL DIFFEOMORPHISMS
- NONMEASURABLE SETS AND UNIONS WITH RESPECT TO TREE IDEALS
- AN APPLICATION OF RECURSION THEORY TO ANALYSIS
- ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP
- A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT
- AN EXPOSITION OF THE COMPACTNESS OF $L({Q^{mathrm{cf}}})$
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER
- GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS
- The Theory of the Generalised Real Numbers and Other Topics in Logic
- BSL volume 25 issue 4 Cover and Back matter
- SIXTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nazarbayev University Nur-Sultan, Kazakhstan June 17–21, 2019
- 2018 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2018 – ADDENDUM
- Regularity of Ultrafilters, Boolean Ultrapowers, and Keisler’s Order
- Measuring the Relative Complexity of Mathematical Constructions and Theorems
- C*-algebras and the Uncountable: A Systematic Study of the Combinatorics of the Uncountable in the Noncommutative Framework
- Games for Functions: Baire Classes, Weihrauch Degrees, Transfinite Computations, and Ranks
- THE SIXTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS (CCA 2019) Zagreb, Croatia July 8–11, 2019
- Non-Classical Set Theories and Logics Associated With Them
- A Study of the Interrelation between Fuzzy Topological Systems and Logics
- Some Results in Computability Theory
- Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification
- BSL volume 25 issue 4 Cover and Front matter
- 2019 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2019 Prague, Czech Republic August 11–16, 2019
- THE ANNUAL CONFERENCE OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Wollongong, Australia July 12, 2019
- CIE 2019: COMPUTING WITH FORESIGHT AND INDUSTRY COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Durham, UK July 15–19, 2019
- REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS
- CANTOR MEETS ROBINSON CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Campinas, Brazil December 12–15, 2018
- HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Göttingen, Germany July 22–28, 2018
- THIRTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS (CCR 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Santiago, Chile December 17–21, 2018
- ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING Baltimore Convention Center Baltimore, MD, USA January 18–19, 2019
- ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING The Westin Denver Downtown Denver, Colorado, USA February 21–22, 2019
- 2019 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC City University of New York Graduate Center New York, New York, USA May 20–23, 2019
- FROM PERMUTATION GROUPS TO MODEL THEORY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Edinburgh, UK September 17–21, 2018
- BSL volume 25 issue 3 Cover and Back matter
- N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57, College Publications, London, 2015, xx + 415 pp.
- BSL volume 25 issue 3 Cover and Front matter
- PH.D.S IN LOGIC XI 2019 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland April 24–26, 2019
- SYNTAX MEETS SEMANTICS (SYSMICS 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Amsterdam, The Netherlands January 21–25, 2019
- 12TH PANHELLENIC LOGIC SYMPOSIUM (PLS 12, 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Anogeia, Crete, Greece June 26–30, 2019
- ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019) SUPPORTED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vancouver, Canada June 24–27, 2019
- 26TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, the Netherlands July 2–5, 2019
- LARGE CARDINALS BEYOND CHOICE
- INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS
- A Theory of Stationary Trees and the Balanced Baumgartner–Hajnal–Todorcevic Theorem for Trees
- Explicit Computational Paths in Type Theory
- Formalization of Context-Free Language Theory
- Some Applications of Set Theory to Model Theory
- Vaught’s Two-Cardinal Theorem and Notions of Minimality in Continuous Logic
- Self-similarity in the Foundations
- Creatures and Cardinals
- Self-embeddings of Models of Peano Arithmetic
- Completeness of Finite-Rank Differential Varieties
- New Directions for Neo-logicism
- 2018 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2018 Udine, Italy July 23–28, 2018
- Regular Tree Languages in the First Two Levels of the Borel Hierarchy
- BSL volume 25 issue 2 Cover and Front matter
- BSL volume 25 issue 2 Cover and Back matter
- ETA-RULES IN MARTIN-LÖF TYPE THEORY
- FOUNDATIONS OF ONLINE STRUCTURE THEORY
- BSL volume 25 issue 1 Cover and Front matter
- BSL volume 25 issue 1 Cover and Back matter
- SET THEORY TODAY: A CONFERENCE IN HONOR OF GEORG CANTOR CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vienna, Austria September 10–14, 2018
- ADVANCES IN MODAL LOGIC 2018 LOGIC, ALGEBRA AND TRUTH DEGREES 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland August 27–31, 2018
- THE PROOF SOCIETY SUMMER SCHOOL 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Ghent, Belgium September 2–5, 2018
- 30TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE, AND INFORMATION (ESSLLI 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Sofia, Bulgaria August 6–17, 2018
- SATELLITE CONFERENCE ON MATHEMATICAL LOGIC OF THE INTERNATIONAL CONGRESS OF MATHEMATICIANS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Niterói, Brazil August 10–11, 2018
- THE FIFTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS (CCA 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Lake Kochel, Germany August 5–8, 2018
- J. H. Schmerl, Subsets coded in elementary end extensions. Archive for Mathematical Logic, vol. 53 (2014), no. 5–6, pp. 571–581. – J. H. Schmerl, Minimal elementary end extensions. Archive for Mathematical Logic, vol. 56 (2017), no. 5–6, pp. 541–553.
- AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS
- HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM
- AN EXTENSION OF A THEOREM OF ZERMELO
- A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS
- MODEL THEORY AND MACHINE LEARNING
- NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM
- LOGICAL FOUNDATIONS OF COMPUTER SCIENCE 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Deerfield Beach, Florida, USA January 8–11, 2018
- OUROBOROS: WORKSHOP ON FORMAL CRITERIA OF SELF-REFERENCE IN MATHEMATICS AND PHILOSOPHY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bonn, Germany February 16–18, 2018
- A Descriptive View of the Bi-embeddability Relation
- HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Göttingen, Germany July 23–29, 2017
- Functions of the first Baire class
- MODEL THEORY OF OPERATOR ALGEBRAS: WORKSHOP AND CONFERENCE CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Irvine, California September 20–24, 2017
- 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
- TRIMESTER ON MODEL THEORY, COMBINATORICS, AND VALUED FIELDS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Institut Henri Poincaré Paris, France January 8–April 6, 2018
- The Complexity of Countable Structures
- FIFTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC National Institute for Mathematical Sciences Daejeon, South Korea July 10–14, 2017
- Independence in Model Theory and Team Semantics
- THE TENTH SCANDINAVIAN LOGIC SYMPOSIUM (SLS 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Gothenburg, Sweden June 11–13, 2018
- 2017–2018 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Diego Convention Center and Marriott Marquis San Diego Marina San Diego, CA January 12–13, 2018
- CIE 2018: SAILING ROUTES IN THE WORLD OF COMPUTATION CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Kiel, Germany July 31–August 3, 2018
- 2018 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Western Illinois University, Macomb, IL, USA May 16–19, 2018
- NOTICES
- 13TH COMPUTABILITY IN EUROPE CONFERENCE (CIE 2017) UNVEILING DYNAMICS AND COMPLEXITY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Turku, Finland June 12–16, 2017
- BSL volume 24 issue 4 Cover and Back matter
- MODEL THEORY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Będlewo, Poland July 2–8, 2017
- VIII CONFERENCE AND III SCHOOL ON TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL), 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Prague and Olomouc, Czech Republic June 20–30, 2017
- 14TH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Daejeon, Republic of Korea July 24–27, 2017
- On the Strength of PFA(ℵ2) in Conjunction with a Precipitous Ideal on ɷ1 and Namba-Like Forcings on Successors of Regular Cardinals
- TABLEAUX 2017 / FROCOS 2017 / ITP 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brasilia, Brazil September 25–29, 2017
- MODEL THEORY IN WROCŁAW 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Wrocław, Poland 30 June–2 July, 2017
- 29TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE, AND INFORMATION (ESSLLI 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Toulouse, France July 17–28, 2017
- ASSOCIATION FOR SYMBOLIC LOGIC
- Andrew Marks and Spencer Unger, Borel circle squaring, Annals of Mathematics, (2017), no. 186, pp. 581–605.
- Finite Generators for Countable Group Actions; Finite Index Pairs of Equivalence Relations; Complexity Measures for Recursive Programs
- Computations of Vapnik–Chervonenkis Density in Various Model-Theoretic Structures
- Foundations of Higher-Order Forcing
- Type-two well-ordering principles, admissible sets, and $Pi _1^1$ -comprehension
- Coding into Inner Models at the Level of Strong Cardinals
- Model Theory Methods for Topological Groups
- Advances in Classification Theory for Abstract Elementary Classes
- WORKSHOP ON COMPUTABILITY THEORY AND ITS APPLICATIONS 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Waterloo, Canada June 4–8, 2018
- Extensions and Smooth Approximations of Definable Functions in O-minimal Structures
- 25TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bogotá, Colombia July 24–27, 2018
- Metric Geometry in a Tame Setting
- BSL volume 24 issue 4 Cover and Front matter
- CANTORIAN SET THEORY
- Compact Structures in Descriptive Classification Theory
- BSL volume 24 issue 3 Cover and Front matter
- BSL volume 24 issue 3 Cover and Back matter
- 24TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WoLLIC 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK July 18–21, 2017
- 2018 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Savannah Convention Center Savannah, Georgia, USA January 3–6, 2018
- ELEVENTH PANHELLENIC LOGIC SYMPOSIUM (PLS 11, 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Delphi, Greece July 12–16, 2017
- 17TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (SLALM 2017) SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Puebla, Puebla,México June 26–30, 2017
- 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.
- KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION
- THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS
- PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION
- Finitely Additive Measures on Topological Spaces and Boolean Algebras, University of East Anglia, UK, 2015. Supervised by Mirna Džamonja
- 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
- BSL volume 24 issue 2 Cover and Back matter
- 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
- Some Cardinal Invariants of the Generalized Baire Spaces, Universität Wien, Austria, 2017. Supervised by Sy-David Friedman
- 2017 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’17 Stockholm, Sweden August 14–20, 2017
- 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
- Separation Problems of Analytic Relations (Problèmes de séparation des relations analytiques), Université Pierre et Marie Curie, France, 2015. Supervised by Dominique Lecomte
- Reverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto Marcone
- The Global Structure of Totally Disconnected Locally Compact Polish Groups, The University of Illinois at Chicago, USA, 2014. Supervised by Christian Rosendal
- Logic and C* -algebras: Set Theoretical Dichotomies in the Theory of Continuous Quotients, York University, Toronto, Canada, 2017. Supervised by Ilijas Farah
- Ø. Linnebo, Philosophy of Mathematics, Princeton Foundations of Contemporary Philosophy, Princeton University Press, Princeton, NJ, 2017, vi + 203 pp.
- PERMUTATIONS OF THE INTEGERS INDUCE ONLY THE TRIVIAL AUTOMORPHISM OF THE TURING DEGREES
- J. Stillwell, Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018, xiii + 182 pp.
- J. Azzouni, Ontology without Borders, Oxford University Press, New York, 2017, xxxvi + 256 pp.
- IN MEMORIAM: MATI RUBIN 1946–2017
- B. Tsaban, Algebra, selections and additive Ramsey theory. Fundamenta Mathematicae, (2018), no. 240, pp. 81–104.
- Superstability and Categoricity in Abstract Elementary Classes, Carnegie Mellon University, USA, 2017. Supervised by Rami Grossberg
- IN MEMORIAM: VLADIMIR VOEVODSKY 1966–2017
- 2017 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Westin Seattle Seattle, Washington, USA April 12–13, 2017
- Believing in Logic and Philosophy, KU Leuven, Belgium, 2014. Supervised by Stefaan Cuypers
- BSL volume 24 issue 2 Cover and Front matter
- 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
- Some Results on Tight Stationarity, University of California, Los Angeles, USA, 2016. Supervised by Itay Neeman
- STRONG JUMP-TRACEABILITY
- Interstructure Lattices and Types of Peano Arithmetic, The Graduate Center, City University of New York, USA, 2017. Supervised by Roman Kossak
- BSL volume 24 issue 1 Cover and Front matter
- BSL volume 24 issue 1 Cover and Back matter
- 2017 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boise State University Boise, ID, USA March 20–23, 2017
- 2016–17 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Hyatt Regency Atlanta and Marriott Atlanta Marquis Atlanta, GA, USA January 6–7, 2017
- Alexander Razborov, Flag algebras. Journal of Symbolic Logic, vol. 72 (2007), no. 4, pp. 1239–1282.
- A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY
- A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE