no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
A proof-theoretical investigation of global intuitionistic (fuzzy) logic
|
Ciabattoni, Agata |
|
2004 |
44 |
4 |
p. 435-457 |
article |
2 |
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms
|
Voutsadakis, George |
|
2004 |
44 |
4 |
p. 473-491 |
article |
3 |
Diamond principles in Cichoń’s diagram
|
Minami, Hiroaki |
|
2004 |
44 |
4 |
p. 513-526 |
article |
4 |
Epsilon substitution for transfinite induction
|
Towsner, Henry |
|
2004 |
44 |
4 |
p. 397-412 |
article |
5 |
Mad families, forcing and the Suslin Hypothesis
|
Kurilić, Miloš S. |
|
2004 |
44 |
4 |
p. 499-512 |
article |
6 |
On a problem of Foreman and Magidor
|
Apter, Arthur W. |
|
2004 |
44 |
4 |
p. 493-498 |
article |
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 |
article |
8 |
Standard completeness theorem for ΠMTL
|
Horĉík, Rostislav |
|
2004 |
44 |
4 |
p. 413-424 |
article |
9 |
The γ-borel conjecture
|
Miller, Arnold W. |
|
2004 |
44 |
4 |
p. 425-434 |
article |