| FOUNDATIONS OF ONLINE STRUCTURE THEORY |
5 |
| LARGE CARDINALS BEYOND CHOICE |
3 |
| MODEL THEORY AND MACHINE LEARNING |
2 |
| A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES |
1 |
| STRONG JUMP-TRACEABILITY |
1 |
| A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS |
1 |
| INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS |
0 |
| AN EXTENSION OF A THEOREM OF ZERMELO |
0 |
| REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS |
0 |
| 2018 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Savannah Convention Center Savannah, Georgia. USA January 3-6. 2018 Abstracts |
0 |
| 17th LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (SLALM 2017) SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Puebla, Puebla,Mexico June 26- 2017 Abstracts |
0 |
| PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION |
0 |
| KURT GODEL'S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION |
0 |
| THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS |
0 |
| 2017 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM '17 |
0 |
| THE 2017 ANNUAL CONFERENCE OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC |
0 |
| ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING Baltimore Convention Center Baltimore, MD, USA January 18- 2019 Abstracts |
0 |
| 2017 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC |
0 |
| ETA-RULES IN MARTIN-LOF TYPE THEORY |
0 |
| PERMUTATIONS OF THE INTEGERS INDUCE ONLY THE TRIVIAL AUTOMORPHISM OF THE TURING DEGREES |
0 |
| NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM |
0 |
| HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM |
0 |
| AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS |
0 |
| CANTOR IAN SET THEORY |
0 |
| 2017 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boise State University Boise, ID, USA March 20- 2017 |
0 |
| 2016-17 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Hyatt Regency Atlanta and Marriott Atlanta Marquis Atlanta, GA, USA January 6- 2017 |
0 |
| A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY |
0 |
| POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS' TALE |
0 |
