Ultrapowers as sheaves on a category of ultrafilters Jonas Eliasson OriginalPaper 25 May 2004 Pages: 825 - 843
Analytic Calculi for Product Logics George MetcalfeNicola OlivettiDov Gabbay OriginalPaper 23 April 2004 Pages: 859 - 889
A realizability interpretation for classical analysis Henry Towsner OriginalPaper 23 April 2004 Pages: 891 - 900
On the existence of universal models Mirna DžamonjaSaharon Shelah OriginalPaper 25 May 2004 Pages: 901 - 936