| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Around definable types in p-adically closed fields
|
Andújar Guerrero, Pablo
|
|
|
175 |
10 |
p.
|
article
|
| 2 |
Bi-intermediate logics of trees and co-trees
|
Bezhanishvili, Nick
|
|
|
175 |
10 |
p.
|
article
|
| 3 |
Decidability bounds for Presburger arithmetic extended by sine
|
Blanchard, Eion
|
|
|
175 |
10 |
p.
|
article
|
| 4 |
Editorial Board
|
|
|
|
175 |
10 |
p.
|
article
|
| 5 |
Finite undecidability in PAC and PRC fields
|
Tyrrell, Brian
|
|
|
175 |
10 |
p.
|
article
|
| 6 |
Forcing axioms and the uniformization-property
|
Hoffelner, Stefan
|
|
|
175 |
10 |
p.
|
article
|
| 7 |
From GTC to Image 1 : Generating reset proof systems from cyclic proof systems
|
Leigh, Graham E.
|
|
|
175 |
10 |
p.
|
article
|
| 8 |
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
|
Khani, Mohsen
|
|
|
175 |
10 |
p.
|
article
|
| 9 |
Owings-like theorems for infinitely many colours or finite monochromatic sets
|
Fernández-Bretón, David J.
|
|
|
175 |
10 |
p.
|
article
|
| 10 |
Posets of copies of countable ultrahomogeneous tournaments
|
Kurilić, Miloš S.
|
|
|
175 |
10 |
p.
|
article
|
| 11 |
Searching problems above arithmetical transfinite recursion
|
Suzuki, Yudai
|
|
|
175 |
10 |
p.
|
article
|
| 12 |
Strong minimal pairs in the enumeration degrees
|
Jacobsen-Grocott, Josiah
|
|
|
175 |
10 |
p.
|
article
|
Journal description