no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
A canonical hidden-variable space
|
Brandenburger, Adam |
|
2018 |
169 |
12 |
p. 1295-1302 |
article |
2 |
A cubical model of homotopy type theory
|
Awodey, Steve |
|
2018 |
169 |
12 |
p. 1270-1294 |
article |
3 |
Atomic polymorphism and the existence property
|
Ferreira, Gilda |
|
2018 |
169 |
12 |
p. 1303-1316 |
article |
4 |
Binary simple homogeneous structures
|
Koponen, Vera |
|
2018 |
169 |
12 |
p. 1335-1368 |
article |
5 |
Cut-elimination for ω 1
|
Arai, Toshiyasu |
|
2018 |
169 |
12 |
p. 1246-1269 |
article |
6 |
Editorial Board
|
|
|
2018 |
169 |
12 |
p. ii |
article |
7 |
Logical form, mathematical practice, and Frege's Begriffsschrift
|
Macbeth, Danielle |
|
2018 |
169 |
12 |
p. 1419-1436 |
article |
8 |
Multicomponent proof-theoretic method for proving interpolation properties
|
Kuznets, Roman |
|
2018 |
169 |
12 |
p. 1369-1418 |
article |
9 |
Preface
|
Hirvonen, Åsa |
|
2018 |
169 |
12 |
p. 1243-1245 |
article |
10 |
Virtual large cardinals
|
Gitman, Victoria |
|
2018 |
169 |
12 |
p. 1317-1334 |
article |
11 |
What we talk about when we talk about numbers
|
Pettigrew, Richard |
|
2018 |
169 |
12 |
p. 1437-1456 |
article |