Volume 25; Issue 2

Bulletin of Symbolic Logic

Volume 25; Issue 2
1

Explicit Computational Paths in Type Theory

Ramos, Arthur Freitas
Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 82 KB
english, 2019
2

New Directions for Neo-logicism

Thomas-Bolduc, Aaron
Journal:
Bulletin of Symbolic Logic
Year:
2019
File:
PDF, 84 KB
2019
6

Some Applications of Set Theory to Model Theory

Ulrich, Douglas
Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 87 KB
english, 2019
7

INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS

DYCKHOFF, ROY
Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 147 KB
english, 2019
8

Some Applications of Set Theory to Model Theory

Ulrich, Douglas
Journal:
Bulletin of Symbolic Logic
Year:
2019
File:
PDF, 87 KB
2019
9

INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS

DYCKHOFF, ROY
Journal:
Bulletin of Symbolic Logic
Year:
2019
File:
PDF, 147 KB
2019
10

Completeness of Finite-Rank Differential Varieties

Simmons, William D.
Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 79 KB
english, 2019
11

Regular Tree Languages in the First Two Levels of the Borel Hierarchy

Cavallari, Filippo
Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 77 KB
english, 2019
12

NOTICES

Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 116 KB
english, 2019
13

Formalization of Context-Free Language Theory

Ramos, Marcus Vinícius Midena
Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 72 KB
english, 2019
14

Vaught’s Two-Cardinal Theorem and Notions of Minimality in Continuous Logic

Noquez, Victoria
Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 88 KB
english, 2019
15

Self-similarity in the Foundations

Gorbow, Paul K.
Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 83 KB
english, 2019
16

Self-embeddings of Models of Peano Arithmetic

Bahrami, Saeideh
Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 86 KB
english, 2019
17

Creatures and Cardinals

Klausner, Lukas Daniel
Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 85 KB
english, 2019
18

BSL volume 25 issue 2 Cover and Front matter

Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 240 KB
english, 2019
19

BSL volume 25 issue 2 Cover and Back matter

Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 162 KB
english, 2019
21

A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS

HALEVI, YATIR, HASSON, ASSAF, JAHNKE, FRANZISKA
Journal:
Bulletin of Symbolic Logic
Year:
2019
Language:
english
File:
PDF, 188 KB
english, 2019