Volume 41, Issue 8 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 41, Issue 8

November 2002

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

Aspects of strong compactness, measurability, and indestructibility
Arthur W. Apter
Pages: 705 - 719
Representation theorems for transfinite computability and definability
Dag Normann
Pages: 721 - 741
Prime ideals on P _ω (λ) with the partition property
Pierre Matet
Cédric Péan
Stevo Todorcevic
Pages: 743 - 764
Continuity, proof systems and the theory of transfinite computations
Dag Normann
Pages: 765 - 788
A normalizing system of natural deduction for intuitionistic linear logic
Sara Negri
Pages: 789 - 810