| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A parametrised functional interpretation of Heyting arithmetic
|
Dinis, Bruno
|
|
|
172 |
4 |
p.
|
artikel
|
| 2 |
A short note on groups in separably closed valued fields
|
Rideau-Kikuchi, Silvain
|
|
|
172 |
4 |
p.
|
artikel
|
| 3 |
Continuous extension of maps between sequential cascades
|
Dolecki, Szymon
|
|
|
172 |
4 |
p.
|
artikel
|
| 4 |
Editorial Board
|
|
|
|
172 |
4 |
p.
|
artikel
|
| 5 |
Long games and σ-projective sets
|
Aguilera, Juan P.
|
|
|
172 |
4 |
p.
|
artikel
|
| 6 |
On the structure of certain valued fields
|
Lee, Junguk
|
|
|
172 |
4 |
p.
|
artikel
|
| 7 |
Preserving levels of projective determinacy by tree forcings
|
Castiblanco, Fabiana
|
|
|
172 |
4 |
p.
|
artikel
|
| 8 |
Quantum set theory: Transfer Principle and De Morgan's Laws
|
Ozawa, Masanao
|
|
|
172 |
4 |
p.
|
artikel
|
| 9 |
Sets in Prikry and Magidor generic extensions
|
Benhamou, Tom
|
|
|
172 |
4 |
p.
|
artikel
|
| 10 |
The full basis theorem does not imply analytic wellordering
|
Kanovei, Vladimir
|
|
|
172 |
4 |
p.
|
artikel
|
| 11 |
Typical forcings, NP search problems and an extension of a theorem of Riis
|
Müller, Moritz
|
|
|
172 |
4 |
p.
|
artikel
|
Tijdschrift beschrijving