A relative interpolation theorem for infinitary universal Horn logic and its applications Alexej P. Pynko OriginalPaper 31 January 2006 Pages: 267 - 305
Identity crises and strong compactness III: Woodin cardinals Arthur W. ApterGrigor Sargsyan OriginalPaper 10 November 2005 Pages: 307 - 322
The Hausdorff-Ershov Hierarchy in Euclidean Spaces Armin Hemmerling OriginalPaper 10 November 2005 Pages: 323 - 350
Extending strongly continuous functions between apartness spaces Luminiţa Simona Vîţă OriginalPaper 06 July 2005 Pages: 351 - 356
A semantical proof of the strong normalization theorem for full propositional classical natural deduction Karim NourKhelifa Saber OriginalPaper 10 November 2005 Pages: 357 - 364
Computability of measurable sets via effective topologies Yongcheng WuDecheng Ding OriginalPaper 10 November 2005 Pages: 365 - 379