- Manuel Bodirsky. Complexity of Infinite-Domain Constraint Satisfaction. Lecture Notes in Logic, vol. 52. Cambridge University Press, 2021
- A CLUB GUESSING TOOLBOX I
- MODEL THEORY CONFERENCE IN SEOUL CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Seoul, South Korea August 28–30, 2023
- MODEL THEORY WORKSHOP AND CONFERENCE 2023 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Wrocław, Poland September 15–23, 2023
- CONFERENCE: MODEL THEORY AND GROUPS A conference on the occasion of Katrin Tent’s 60th birthday CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Münster, Germany September 25–29, 2023
- THE FOURTEENTH PHD’S-IN-LOGIC INTERNATIONAL CONFERENCE (PHD’S IN LOGIC 2023) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Granada, Spain October 4–6, 2023
- AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia 6–8 November 2023
- BSL volume 30 issue 3 Cover and Front matter
- Samuele Iaquinto and Giuliano Torrengo. Fragmenting Reality: An Essay on Passage, Causality and Time. Bloomsbury Academic, London, 2022, x + 208 pp.
- BSL volume 30 issue 3 Cover and Back matter
- THE SECOND INTERNATIONAL CONFERENCE ON HOMOTOPY TYPE THEORY (HoTT 2023) SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Pittsburgh, USA May 22–25, 2023
- SAUL KRIPKE (1940–2022)
- A NOTE ON CONTINUOUS FUNCTIONS ON METRIC SPACES
- Johnathan Kirby. An Invitation to Model Theory. Cambridge University Press, Cambridge, UK, 2019, xiv + 182 pp.
- Edwin Mares. The Logic of Entailment and its History. Cambridge University Press, Cambridge, UK, 2024, xv + 264 pp.
- Thomas Piecha and Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica, vol. 107 (2019), no. 1, pp. 233–246. – Alexander V. Gheorghiu, Tao Gu and David J. Pym. Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. Automated Reasoning with Analytic Tableaux and Related Methods, Revantha Ramanayake and Josef Urban, Lecture Notes in Computer Science, vol. 14278, Springer, Cham, pp. 367–385. – Hermógenes Oliveira. On Dummett’s Pragmatist Justification Procedure. Erkenntnis, vol. 86 (2021), no. 2, pp. 429–455.
- BSL volume 30 issue 2 Cover and Front matter
- BSL volume 30 issue 2 Cover and Back matter
- MODEL THEORY CONFERENCE IN CELEBRATION OF LUDOMIR NEWELSKI’S 60TH BIRTHDAY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bedlewo, Poland December 17–21, 2022
- PROOF SOCIETY AUTUMN SCHOOL AND WORKSHOP 2022 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, The Netherlands November 7–12, 2022
- WORKSHOP: FINITE MODEL THEORY AND MANY-VALUED LOGIC: CHALLENGES AND INTERACTIONS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia (online) November 10–12, 2022
- Many problems, different frameworks: classification of problems in computable analysis and algorithmic learning theory
- Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
- Christopher Pincock. Mathematics and Explanation. Elements in the Philosophy of Mathematics. Cambridge University Press, Cambridge, UK, 2023, 80 pp.
- From real-life to very strong axioms. Classification problems in Descriptive Set Theory and regularity properties in Generalized Descriptive Set Theory
- COMPACTNESS OFAND STRONG AXIOMS OF DETERMINACY – N. Trang, Structure theory ofand its applications. Journal of Symbolic Logic, vol. 80 (2015), no. 1, pp. 29–55. – N. Trang, Supercompactness can be equiconsistent with measurability. Notre Dame Journal of Formal Logic, vol. 62 (2021), no. 4, pp. 593–618. – N. Trang and T. Wilson, Determinacy from strong compactness of . Annals of Pure and Applied Logic, vol. 172 (2021), no. 6, Article no. 102944, 30pp. – D. Ikegami and N. Trang, On supercompactness of $omega _1$, Advances in Mathematical Logic (T. Arai, M. Kikuchi, S. Kuroda, M. Okada, T. Yorioka, editors), Springer, Proceedings Mathematics & Statistics, Singapore, 369, 2021, pp. 27–45.
- POUR-EL’S LANDSCAPE
- ITERATED PRIORITY ARGUMENTS IN DESCRIPTIVE SET THEORY
- BSL volume 30 issue 1 Cover and Back matter
- BSL volume 30 issue 1 Cover and Front matter
- 2024 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Francisco, California Joint Mathematics Meeting January 3-6, 2024
- 2024 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Sheraton Times Square, New York, NY Eastern APA Meeting January 15–18, 2024
- SEVENTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nankai University Tianjin, China October 9–13, 2023
- 2023 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Queensland Brisbane, Australia 9-10 November, 2023
- 2023 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2023 University of Milan Milan, Italy June 5 – June 9, 2023
- Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy, vol. CXIX (2022), no. 8, pp. 405–424.
- ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS
- Computability Theory: Constructive Applications of the Lefthanded Local Lemma and Characterizations of Some Classes of Cohesive Powers
- D. D. Dzhafarov and C. Mummert, Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp.
- 2023 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boston, Massachusetts Joint Mathematics Meeting January 6–7, 2023
- CONTENTS OF VOLUME 29
- John Steel and Hugh Woodin. HOD as a Core Model. Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol. 3, Cambridge University Press, Cambridge, pp. 257–345.
- Logic, Automata, and Computational Complexity: The Works Of Stephen A. Cook. Edited by Bruce M. Kapron, ACM Books, vol. 43. Association for Computing Machinery, New York, xxvi + 398 pp.—therein: – Michelle Waitzman. Stephen Cook: Complexity’s Humble Hero, pp. 3–28. – Bruce M. Kapron and Stephen A. Cook, ACM Interview of Stephen A. Cook by Bruce M. Kapron, pp. 29–44. – Stephen A. Cook, Overview of Computational Complexity, pp. 47–70. – Christos H. Papadimitriou, Cook’s NP-Completeness Paper and the Dawn of the New Theory, pp. 73–82. – Jan Krajíček, The Cook–Reckhow Definition, pp. 83–94. – Sam Buss, Polynomially Verifiable Arithmetic, pp. 95–106. – Paul Beame and Pierre McKenzie, Towards a Complexity Theory of Parallel Computation, pp. 107–126. – Nicholas Pippenger, Computation with Limited Space, pp. 127–140. – Stephen A. Cook, The Complexity of Theorem-Proving Procedures, pp. 143–152. – Stephen A. Cook, Characterizations of Pushdown Machines in Terms of Time-Bounded Computers, pp. 153–172. – Stephen A. Cook and Robert A. Reckhow, The Relative Efficiency of Propositional Proof Systems, pp. 173–192. – Stephen A. Cook, Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version), pp. 193–218. – Stephen A. Cook, Towards a Complexity Theory of Synchronous Parallel Computation, pp. 219–244. – Allan Borodin and Stephen A. Cook, A Time-Space Tradeoff for Sorting on a General Sequential Model of Computation, pp. 245–260. – Stephen A. Cook, Pierre McKenzie, Dustin Wehr, Mark Braverman, and Rahul Santhanam, Pebbles and Branching Programs for Tree Evaluation, pp. 261–318. – Bruce M. Kapron, Cook’s Berkeley Notes, pp. 321–324. – Stephen A. Cook, A Survey of Classes of Primitive Recursive Functions, pp. 325–336.
- Computability Theory on Polish Metric Spaces
- BSL volume 29 issue 4 Cover and Back matter
- Weak Indestructibility and Reflection
- BSL volume 29 issue 4 Cover and Front matter
- 2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25–29, 2023
- Ordered Groups, Computability and Cantor-Bendixson Rank
- THE 19TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XIX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Universidad de Costa Rica San José, Costa Rica July 26–31, 2022
- 2023 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Westin St. Francis, San Francisco, CA Pacific APA Meeting April 5–6, 2023
- 28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5–8, 2021
- THE UNIVERSAL THEORY OF THE HYPERFINITE II$_1$ FACTOR IS NOT COMPUTABLE
- CATEGORICAL QUANTIFICATION
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND $Gamma _{0}$
- A WALK WITH GOODSTEIN
- ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS
- 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.
- A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF $mathbb {Q}$
- ASYMMETRIC CUT AND CHOOSE GAMES
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
- INTERLEAVING LOGIC AND COUNTING
- 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
- TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES
- 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