Definability and automorphisms in abstract logics Xavier Caicedo OriginalPaper 06 July 2004 Pages: 937 - 945
Approximation Representations for Δ2 Reals George Barmpalias OriginalPaper 23 April 2004 Pages: 947 - 964
An approach to infinitary temporal proof theory Stefano BaratellaAndrea Masini OriginalPaper 14 June 2004 Pages: 965 - 990
A blend of methods of recursion theory and topology: A Π10 tree of shadow points Iraj KalantariLarry Welch OriginalPaper 28 May 2004 Pages: 991 - 1008
Non-dual fuzzy connections George GeorgescuAndrei Popescu OriginalPaper 14 June 2004 Pages: 1009 - 1039