| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A proof-theoretical investigation of global intuitionistic (fuzzy) logic
|
Ciabattoni, Agata
|
|
2004
|
44 |
4 |
p. 435-457
|
artikel
|
| 2 |
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms
|
Voutsadakis, George
|
|
2004
|
44 |
4 |
p. 473-491
|
artikel
|
| 3 |
Diamond principles in Cichoń’s diagram
|
Minami, Hiroaki
|
|
2004
|
44 |
4 |
p. 513-526
|
artikel
|
| 4 |
Epsilon substitution for transfinite induction
|
Towsner, Henry
|
|
2004
|
44 |
4 |
p. 397-412
|
artikel
|
| 5 |
Mad families, forcing and the Suslin Hypothesis
|
Kurilić, Miloš S.
|
|
2004
|
44 |
4 |
p. 499-512
|
artikel
|
| 6 |
On a problem of Foreman and Magidor
|
Apter, Arthur W.
|
|
2004
|
44 |
4 |
p. 493-498
|
artikel
|
| 7 |
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem
|
Hodel, R.E.
|
|
2004
|
44 |
4 |
p. 459-472
|
artikel
|
| 8 |
Standard completeness theorem for ΠMTL
|
Horĉík, Rostislav
|
|
2004
|
44 |
4 |
p. 413-424
|
artikel
|
| 9 |
The γ-borel conjecture
|
Miller, Arnold W.
|
|
2004
|
44 |
4 |
p. 425-434
|
artikel
|
Tijdschrift beschrijving