yusuke1997/dblp-id-title huggingface dataset:
Alan Turing and the foundations of computable analysis
On the decision problem for two-variable first-order logic
Domination and Regularity
Accessible recursive functions
Categorical Quantification
Mathematical Fuzzy Logics
Christopher Pincock. Mathematics and Explanation . Elements in the Philosophy of Mathematics. Cambridge University Press, Cambridge, UK, 2023, 80 pp
Applications of nonstandard analysis in additive number theory
A Categorical Characterization of Accessible Domain
Constructive Geometry and the Parallel postulate
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
Advances in Classification Theory for Abstract Elementary Classes
Set theory generated by Abelian group theory
On the Equimorphism Types of Linear Orderings
PROOF SOCIETY AUTUMN SCHOOL AND WORKSHOP 2022 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, The Netherlands November 7-12, 2022
On Gödel's way in: the influence of Rudolf Carnap
On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture
Samuele Iaquinto and Giuliano Torrengo. Fragmenting Reality: An Essay on Passage, Causality and Time . Bloomsbury Academic, London, 2022, x + 208 pp
The Complexity of Orbits of Computably Enumerable Sets
On Tarski's foundations of the geometry of solids
Computing with functionals - computability theory or computer science?
Universal coding and Prediction on Ergodic Random Points
WORKSHOP ON COMPUTABILITY THEORY (WCT 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Leeds, UK July 22-23, 2019
Logicality and Invariance
Chang's Conjecture, Generic Elementary Embeddings and Inner Models for Huge Cardinals
On the unusual effectiveness of logic in computer science
Logical consequence revisited
Nonmeasurable Sets and Unions with respect to Tree ideals
Vaught's Theorem on Axiomatizability by a Scheme
A survey of Mučnik and Medvedev degrees
An Extension of a Theorem of Zermelo
Defining integers
Constructing Nonstandard Hulls and Loeb Measures in Internal Set Theories
Gödel's Notre Dame Course
Weak Indestructibility and Reflection
Forcing " $\mathrm {NS}_{\omega _1}$ is $\omega _1$ -Dense" from Large Cardinals
Something Valid This Way Comes: A Study of Neologicism and Proof-Theoretic Validity
Deductive completeness
Projective duality and the Rise of Modern Logic
Level Theory, Part 3: a Boolean Algebra of Sets Arranged in Well-Ordered Levels
Saturated Free Algebras Revisited
ErdőS and Set Theory
A Constructive Interpretation of the Logical constants
The Axiom of Infinity and transformations j: V -> V
30TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC 2024) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland June 10-13, 2024
ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING Baltimore Convention Center Baltimore, MD, USA January 18-19, 2019
The Axiom of Choice Is False Intuitionistically (in Most Contexts)
28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5-8, 2021
Well (and better) quasi-ordered transition systems
Saturated Models for the Working Model theorist
Realizing Realizability Results with Classical Constructions
Identity of proofs based on normalization and generality
D. D. Dzhafarov and C. Mummert, Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp
A Conjectural Classification of strongly dependent Fields
Open Questions about Ramsey-Type Statements in Reverse Mathematics
New Foundations of Reasoning via Real-Valued First-order Logics
Almost everywhere equivalence of logics in finite model theory
Mass problems and measure-theoretic regularity
Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp
Mutual interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality
From stability to simplicity
The stable core
Functions of the first Baire class
The Theory of the Generalised Real Numbers and Other Topics in Logic
Pure proof theory, aims, methods and results
Independence Property and Hyperbolic Groups
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
Completeness before Post: Bernays, Hilbert, and the development of propositional logic
Developments in constructive nonstandard analysis
Logic and C* -algebras: Set Theoretical Dichotomies in the Theory of Continuous Quotients, York University, Toronto, Canada, 2017. Supervised by Ilijas Farah
Une preuve formelle et intuitionniste du théorème de complétude de la logique classique
Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen
A new proof of Friedman's conjecture
In Memoriam: Mikhail A. Taitslin 1936-2013
Kenneth Kunen, The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19. College Publications, London, 2009, vii + 251 pp
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
Weak Distributivity, a Problem of von Neumann and the Mystery of Measurability
Undecidability of first-order intuitionistic and modal logics with two variables
Tarski's system of geometry
Cut elimination in the presence of axioms
On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics
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
Borel reducibility and classification of von Neumann algebras
A note on Fragments of Uniform Reflection in second order Arithmetic
ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING The Westin Denver Downtown Denver, Colorado, USA February 21-22, 2019
Formal Theories of Occurrences and Substitutions
Robert I. Soare, Turing Computability, Theory and Applications of Computability, Springer-Verlag, Berlin, Heidelberg, 2016, xxxvi + 263 pp
Order Types of Models of Fragments of Peano Arithmetic
Bernays and Set Theory
Edwin Mares. The Logic of Entailment and its History . Cambridge University Press, Cambridge, UK, 2024, xv + 264 pp
Reverse mathematics and pi 1 2 comprehension
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
HILBERT-BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Göttingen, Germany July 22-28, 2018
Models of second-order Zermelo set theory
Zermelo and the Skolem paradox
On Transfinite Levels of the Ershov Hierarchy
Finite conformal hypergraph covers and Gaifman cliques in finite structures
Definability, automorphisms, and dynamic properties of computably enumerable sets
Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics
Analytic ideals
Incompleteness, mechanism, and optimism
Pour-el's Landscape
Sealing of the Universally Baire Sets
Believing in Logic and Philosophy, KU Leuven, Belgium, 2014. Supervised by Stefaan Cuypers
Self-similarity in the Foundations
A Descriptive View of the Bi-embeddability Relation
David Hilbert's lectures on the foundations of arithmetic and logic 1917-1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp
Recent advances in ordinal analysis: pi 1 2 - CA and related systems
The discovery of my completeness proofs
Computability-theoretic complexity of countable structures
Fragment of Nonstandard Analysis with a Finitary Consistency Proof
Asymmetric Cut and Choose Games
Poincaré-Weyl's Predicativity: going beyond
Descriptive inner model theory
An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras
2023 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Westin St. Francis, San Francisco, CA Pacific APA Meeting April 5-6, 2023
Forcing with Bushy Trees
Foundations of nominal techniques: logic and semantics of variables in abstract syntax
SAUL KRIPKE (1940-2022)
A general framework for priority arguments
Maryanthe Malliaris and Saharon Shelah, Cofinality spectrum problems in model theory, set theory and general topology . Journal of the American Mathematical Society, vol. 29 (2016), pp. 237-297. - Maryanthe Malliaris and Saharon Shelah, Existence of optimal ultrafilters and the fundamental complexity of simple theories. Advances in Mathematics, vol. 290 (2016), pp. 614-681. - Maryanthe Malliaris and Saharon Shelah, Keisler's order has infinitely many classes. Israel Journal of Mathematics, to appear, https://math.uchicago.edu/∼mem/
The Combinatorics and Absoluteness of Definable Sets of Real Numbers
Which Classes of Structures Are Both Pseudo-Elementary and Definable by an Infinitary Sentence?
Regular Tree Languages in the First Two Levels of the Borel Hierarchy
An Application of Recursion Theory to Analysis
AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC {\mathscr {C}}_1 AND SOME OF ITS PARACONSISTENT EXTENSIONS
Cantorian Set Theory
FroCoS/TABLEAUX 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK September 2-6, 2019
Geometric cardinal invariants, maximal functions and a measure theoretic pigeonhole principle
Computable and continuous partial homomorphisms on metric partial algebras
IN MEMORIAM: GERALD E. SACKS, 1933-2019
Göel's conceptual realism
THE 20TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Faculty de Ingeniería, Universidad de la República Montevideo, Uruguay July 1-5, 2024
Heinrich Behmann's 1921 Lecture on the Decision Problem and the Algebra of Logic
Zermelo's Cantorian theory of systems of infinitely long propositions
Alexander Razborov, Flag algebras. Journal of Symbolic Logic, vol. 72 (2007), no. 4, pp. 1239-1282
Independence Relations in Abstract Elementary Categories
Nominalistic Ordinals, Recursion on Higher Types, and finitism
Thomas Hales. Dense Sphere Packings: A Blueprint for Formal Proofs. Cambridge University Press, Cambridge, 2012, xiv + 271 pp
The group configuration in simple theories and its applications
Second-order logic and foundations of mathematics
The Complexity of Propositional Proofs
IN MEMORIAM: J. MICHAEL DUNN, 1941-2021
Explicit Mathematics and Operational Set Theory: some Ontological comparisons
CIRCULARITY IN SYNTAX AND SEMANTICS (CiSS 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Gothenburg, Sweden November 20-22, 2019
Some Results on Tight Stationarity, University of California, Los Angeles, USA, 2016. Supervised by Itay Neeman
Herbrand's Theorem and non-Euclidean Geometry
B. Tsaban, Algebra, selections and additive Ramsey theory. Fundamenta Mathematicae, (2018), no. 240, pp. 81-104
The complexity of propositional proofs
What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory
Constructing Wadge Classes
Explicit Computational Paths in Type Theory
Gödel, Tarski, Church, and the Liar
Analytic equivalence relations and the forcing method
Strong logics of first and second order
Large Cardinals beyond Choice
2025 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Seattle, WA 2025 Joint Mathematics Meeting January 8-11, 2025
Level Theory, Part 1: Axiomatizing the Bare Idea of a Cumulative Hierarchy of Sets
Calibrating Randomness
Heterogeneous reasoning and its logic
A Walk with Goodstein
2024 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Sydney Sydney, Australia 26-28 November, 2024
ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019) SUPPORTED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vancouver, Canada June 24-27, 2019
John R. Steel and W. Hugh Woodin, HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III (A. S. Kechris, B. Löwe, and J. R. Steel, editors), Lecture Notes in Logic 43, Association for Symbolic Logic and Cambridge University Press, 2016, pp. 257-343
Another use of set theory
P-points, MAD families and Cardinal Invariants
Measures: back and forth between point sets and large sets
Relating First-order Set Theories and Elementary Toposes
NOTICES
2023 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boston, Massachusetts Joint Mathematics Meeting January 6-7, 2023
CCR 2024: THE 17TH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Nagoya, Japan March 11-15, 2024
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
An invitation to model-theoretic Galois theory
Ulrich Felgner. Das Induktions-Prinzip. Jahresbericht der Deutschen Mathematiker-Vereinigung. vol. 114, no. 1 (2012), pp. 23-45. - Ulrich Felgner. Hilbert's "Grundlagen der Geometrie" und ihre Stellung in der Geschichte der Grundlagendiskussion. Jahresbericht der Deutschen Mathematiker-Vereinigung. vol. 115, no. 3-4 (2014), pp. 185-206
A Natural Axiomatization of Computability and Proof of Church's Thesis
Relative truth definability of axiomatic truth theories
Truth definitions, Skolem functions and axiomatic set theory
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
2022 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WITH THE APA Palmer House, Chicago, IL Central APA Meeting February 24, 2022
On the complexity of the classification problem for torsion-free abelian groups of finite rank
Kenneth Kunen, Set Theory, Studies in Logic: Mathematical Logic and Foundations, Vol. 34, College Publications, London, 2011, viii + 401 pp
On the philosophical development of Kurt Gödel
Towards a re-evaluation of Julius Köonig's contribution to logic
In Memoriam: Walter (Wouter) van Stigt (1927-2015)
Metavaluations
The Convenience of the Typesetter; Notation and Typography in Frege's Grundgesetze der Arithmetik
From Generative Linguistics to Categorial Grammars: Overt Subjects in Control Infinitives
The Classification Problem for automorphisms of C*-Algebras
Products of Hurewicz Spaces in the Laver Model
Handbook of Computability and Complexity in Analysis. edited by Vasco Brattka and Peter Hertling, Springer, Cham, Switzerland, 2021, xxv + 427 pp
Bounds for Indexes of Nilpotency in Commutative Ring Theory: a Proof Mining Approach
Theorems of Hyperarithmetic Analysis and Almost theorems of Hyperarithmetic Analysis
Geometry, calculus and Zil'ber's conjecture
Turing computations on ordinals
2024 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Sheraton Times Square, New York, NY Eastern APA Meeting January 15-18, 2024
The empty set, the singleton, and the ordered pair
Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics
Russell and Gödel
Iterated Priority Arguments in Descriptive Set Theory
Chain conditions of Products, and Weakly Compact Cardinals
Computably Compact Metric Spaces
BSL volume 31 issue 1 Cover and Back matter
Paolo Pistone. Polymorphism and the obstinate circularity of second order logic: A victim's tale The Bulletin of Symbolic Logic vol. 51 (2022), pp. 1345-1365
Five papers on reverse mathematics and Ramsey-theoretic principles - C. T. Chong, Theodore A. Slaman, and Yue Yang, The metamathematics of Stable Ramsey's Theorem for Pairs. Journal of the American Mathematical Society, vol. 27 (2014), no. 3, pp. 863-892. - Manuel Lerman, Reed Solomon, and Henry Towsner, Separating principles below Ramsey's Theorem for Pairs. Journal of Mathematical Logic, vol. 13 (2013), no. 2, 1350007, 44 pp. - Jiayi Liu, $RT_2^^2$ does not imply WKL 0. Journal of Symbolic Logic, vol. 77 (2012), no. 2, pp. 609-620. - Lu Liu, Cone avoiding closed sets. Transactions of the American Mathematical Society, vol. 367 (2015), no. 3, pp. 1609-1630. - Wei Wang, Some logically weak Ramseyan theorems. Advances in Mathematics, vol. 261 (2014), pp. 1-25
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
An Axiomatic Approach to forcing in a General Setting
On New Notions of Algorithmic Dimension, Immunity, and Medvedev Degree
Investigation into phenomena surrounding universally Baire sets
The Complexity of Countable Structures
Tree Theory: interpretability between Weak First-order Theories of Trees
Measuring the Relative Complexity of Mathematical Constructions and Theorems
Types in logic and mathematics before 1940
Nicholas J. J. Smith. Logic: The laws of truth. Princeton University Press, Princeton NJ, 2012, xiv + 528 pp
Full Frobenius groups of finite Morley rank and the Feit-Thompson Theorem
Feferman's Completeness Theorem
Ø. Linnebo, Philosophy of Mathematics, Princeton Foundations of Contemporary Philosophy, Princeton University Press, Princeton, NJ, 2017, vi + 203 pp
Some Cardinal Invariants of the Generalized Baire Spaces, Universität Wien, Austria, 2017. Supervised by Sy-David Friedman
Combinatorics with definable sets: Euler characteristics and Grothendieck rings
The ERDőS-Hajnal Problem List
The impact of the lambda calculus in logic and computer science
The foundational problem of logic
Cohen and Set Theory
Menas's Conjecture Revisited
In Memoriam: Hartley Rogers, Jr. 1926-2015
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
2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June - 28 June, 2024
Finitely Additive Measures on Topological Spaces and Boolean Algebras, University of East Anglia, UK, 2015. Supervised by Mirna Džamonja
The Buridan-Volpin Derivation System; Properties and Justification
What did Gödel believe and when did he believe it?
2024 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Francisco, California Joint Mathematics Meeting January 3-6, 2024
Proof Mining with the Bounded Functional Interpretation
A One-Page Proof of a Theorem of Beleznay
Nonstandard arithmetic and reverse mathematics
Gap forcing: Generalizing the Lévy-Solovay theorem
Gödel Diffeomorphisms
Notes on quasiminimality and excellence
Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras I: stability. Bulletin of the London Mathematical Society, vol. 45 (2013), no. 4, pp. 825-838, doi:10.1112/blms/bdt014. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras II: model theory. Israel Journal of Mathematics, vol. 201 (2014), no. 1, pp. 477-505, doi:10.1007/s11856-014-1046-7. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras III: elementary equivalence and II1factors. Bulletin of the London Mathematical Society, vol. 46 (2014), no. 3, pp. 609-628, doi:10.1112/blms/bdu012. - Isaac Goldbring, Bradd Hart, and Thomas Sinclair. The theory of tracial von Neumann algebras does not have a model companion. Journal of Symbolic Logic, vol. 78 (2013), no. 3, pp. 1000-1004
PH.D.S IN LOGIC XI 2019 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland April 24-26, 2019
The Global Structure of Totally Disconnected Locally Compact Polish Groups, The University of Illinois at Chicago, USA, 2014. Supervised by Christian Rosendal
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
Eliminating Disjunctions by Disjunction Elimination
The collapse of the Hilbert Program: a variation on the GöDelian Theme
Variants of Kreisel's Conjecture on a New Notion of Provability
Some Applications of Set Theory to Model Theory
The philosophy of logic
Very Large Set Axioms over Constructive Set Theories
Maximal Computability Structures
Linear logic proof games and optimization
Effective Concept Classes of PAC and PACi Incomparable Degrees, Joins and Embedding of Degrees
The graph-theoretic approach to descriptive set theory
A journey through computability, topology and analysis
2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25-29, 2023
Reinhard Kahle and Michael Rathjen, editors, Gentzen's Centenary: The Quest for Consistency, Springer, 2015
The mathematical import of Zermelo's well-ordering theorem
Completeness and Categoricity (in Power): Formalization without foundationalism
Itay Neeman. Forcing with sequences of models of two types. Notre Dame Journal of Formal Logic, vol. 55 (2014), pp. 265-298
Gentzen's proof systems: byproducts in a work of genius
Goodstein sequences based on a Parametrized Ackermann-Péter function
The senses of functions in the Logic of Sense and Denotation
Itay Neeman. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 (2009), pp. 139-157. - Dima Sinapova. The tree property at אּω+1. Journal of Symbolic Logic, vol. 77, no. 1 (2012), pp. 279-290. - Dima Sinapova. The tree property and the failure of SCH at uncountable cofinality. Archive for Mathematical Logic, vol. 51, no. 5-6 (2012), pp. 553-562. - Dima Sinapova. The tree property and the failure of the Singular Cardinal Hypothesis at אּω2. Journal of Symbolic Logic, vol. 77, no. 3 (2012), pp. 934-946. - Spencer Unger. Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52, no. 5-6 (2013), pp. 483-496. - Itay Neeman. The tree property up to אּω+1. Journal of Symbolic Logic. vol. 79, no. 2 (2014), pp. 429-459
Investigations into intuitionistic and other negations
Penelope Maddy, Defending the Axioms: On the philosophical foundations of set theory, Oxford University Press, Oxford, UK, 2011, 150pp
Weyl Reexamined: "das Kontinuum" 100 Years Later
Dimensions of Ordinals: Set Theory, Homology Theory, and the First Omega Alephs
Necessitism, Contingentism, and Theory Equivalence
2021 Winter Meeting of the Association for Symbolic Logic
The BSL 25th Anniversary Prize
Reverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto Marcone
Johan van Benthem. Logic in Games. The MIT Press, Cambridge MA, 2014, xv + 547 pp
I. Ben Yaacov, J. Melleray, and T. Tsankov, Metrizable universal minimal flows of Polish groups have a comeagre orbit.Geometric and Functional Analysis, vol. 27 (2017), no. 1, pp. 67-77. - J. Melleray, L. Nguyen Van Thé, and T. Tsankov, Polish groups with metrizable universal minimal flows. International Mathematics Research Notices, vol. 2016, no. 5, pp. 1285-1307
Separation Problems of Analytic Relations (Problèmes de séparation des relations analytiques), Université Pierre et Marie Curie, France, 2015. Supervised by Dominique Lecomte
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
The mathematical work of S. C. Kleene
Isomorphism invariance and Overgeneration - Corrigendum
Address at the Princeton University bicentennial conference on problems of mathematics (December 17-19, 1946), by Alfred Tarski
A Study of the Interrelation between Fuzzy Topological Systems and Logics
Games and definability for FPC
Current Research on Gödel's Incompleteness theorems
Survey of the Steinhaus tiling problem