no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
A-computable graphs
|
Jura, Matthew |
|
2016 |
167 |
3 |
p. 235-246 12 p. |
article |
2 |
A generalization of the Łoś–Tarski preservation theorem
|
Sankaran, Abhisekh |
|
2016 |
167 |
3 |
p. 189-210 22 p. |
article |
3 |
Cobham recursive set functions
|
Beckmann, Arnold |
|
2016 |
167 |
3 |
p. 335-369 35 p. |
article |
4 |
Corrigendum to “An order-theoretic analysis of interpretations among propositional deductive systems” [Ann. Pure Appl. Logic 164 (2) (2013) 112–130]
|
Russo, Ciro |
|
2016 |
167 |
3 |
p. 392-394 3 p. |
article |
5 |
Counterexamples to countable-section Π 2 1 uniformization and Π 3 1 separation
|
Kanovei, Vladimir |
|
2016 |
167 |
3 |
p. 262-283 22 p. |
article |
6 |
Editorial Board
|
|
|
2016 |
167 |
3 |
p. IFC- 1 p. |
article |
7 |
Iterated elementary embeddings and the model theory of infinitary logic
|
Baldwin, John T. |
|
2016 |
167 |
3 |
p. 309-334 26 p. |
article |
8 |
Reducts of the generic digraph
|
Agarwal, Lovkush |
|
2016 |
167 |
3 |
p. 370-391 22 p. |
article |
9 |
Separating club-guessing principles in the presence of fat forcing axioms
|
Asperó, David |
|
2016 |
167 |
3 |
p. 284-308 25 p. |
article |
10 |
The tree property below ℵ ω ⋅ 2
|
Unger, Spencer |
|
2016 |
167 |
3 |
p. 247-261 15 p. |
article |
11 |
Transductions in arithmetic
|
Visser, Albert |
|
2016 |
167 |
3 |
p. 211-234 24 p. |
article |