| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A complete axiomatization of infinitary first-order intuitionistic logic over L κ + , κ
|
Espíndola, Christian
|
|
|
176 |
1 |
p.
|
artikel
|
| 2 |
μ-clubs of P κ (λ): Paradise in heaven
|
Matet, Pierre
|
|
|
176 |
1 |
p.
|
artikel
|
| 3 |
Club stationary reflection and other combinatorial principles at ℵ ω+2
|
Gilton, Thomas
|
|
|
176 |
1 |
p.
|
artikel
|
| 4 |
Computably and punctually universal spaces
|
Bagaviev, Ramil
|
|
|
176 |
1 |
p.
|
artikel
|
| 5 |
Concerning Keisler measures over ultraproducts
|
Gannon, Kyle
|
|
|
176 |
1 |
p.
|
artikel
|
| 6 |
Editorial Board
|
|
|
|
176 |
1 |
p.
|
artikel
|
| 7 |
Elimination of quantifiers for a theory of real closed rings
|
Guier, Jorge I.
|
|
|
176 |
1 |
p.
|
artikel
|
| 8 |
First-order reasoning and efficient semi-algebraic proofs
|
Part, Fedor
|
|
|
176 |
1 |
p.
|
artikel
|
| 9 |
Foundations of iterated star maps and their use in combinatorics
|
Di Nasso, Mauro
|
|
|
176 |
1 |
p.
|
artikel
|
| 10 |
Groups definable in Presburger arithmetic
|
Acosta, Juan Pablo
|
|
|
176 |
1 |
p.
|
artikel
|
| 11 |
On the logical and computational properties of the Vitali covering theorem
|
Normann, Dag
|
|
|
176 |
1 |
p.
|
artikel
|
| 12 |
Theories of Frege structure equivalent to Feferman's system T 0
|
Hayashi, Daichi
|
|
|
176 |
1 |
p.
|
artikel
|
| 13 |
Unification types and union splittings in intermediate logics
|
Dzik, Wojciech
|
|
|
176 |
1 |
p.
|
artikel
|
| 14 |
Universal proof theory: Semi-analytic rules and Craig interpolation
|
Tabatabai, Amirhossein Akbar
|
|
|
176 |
1 |
p.
|
artikel
|
Tijdschrift beschrijving