Proof-theoretical analysis of order relations Sara NegriJan von PlatoThierry Coquand OriginalPaper 02 February 2004 Pages: 297 - 309
The isomorphism problem for classes of computable fields Wesley Calvert OriginalPaper 02 February 2004 Pages: 327 - 336
The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic Nobuyuki SakamotoKazuyuki Tanaka OriginalPaper 15 January 2004 Pages: 337 - 349
Matrix identities and the pigeonhole principle Michael SoltysAlasdair Urquhart OriginalPaper 15 January 2004 Pages: 351 - 357
Adding Skolem functions to simple theories Herwig Nübling OriginalPaper 02 February 2004 Pages: 359 - 370
On the quantifier complexity of Δ n+1 (T)– induction A. Cordón-FrancoA. Fernández-MargaritF.F. Lara-Martín OriginalPaper 02 February 2004 Pages: 371 - 398
Embeddings into the Medvedev and Muchnik lattices of Π0 1 classes Stephen BinnsStephen G. Simpson OriginalPaper 02 February 2004 Pages: 399 - 414
Quasimaximality and principal filters isomorphism between Rumen Dimitrov OriginalPaper 15 January 2004 Pages: 415 - 424