Volume 42, Issue 1 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 42, Issue 1

January 2003

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

More Jonsson Algebras
Saharon Shelah
Pages: 1 - 44
On complexity reduction of Σ₁ formulas
Zofia Adamowicz
Pawe Zbierski
Pages: 45 - 58
Short proofs of normalization for the simply- typed λ-calculus, permutative conversions and Gödel's T
Felix Joachimski
Ralph Matthes
Pages: 59 - 87
Realizing Mahlo set theory in type theory
Michael Rathjen
Pages: 89 - 101