On the relationship between fixed points and iteration in admissible set theory without foundation Dieter Probst OriginalPaper 27 December 2004 Pages: 561 - 580
Successors of singular cardinals and coloring theorems I Todd EisworthSaharon Shelah OriginalPaper 03 May 2005 Pages: 597 - 618
Notes on subtlety and ineffability in P κ λ Yoshihiro Abe OriginalPaper 11 November 2004 Pages: 619 - 631
Extracting Herbrand disjunctions by functional interpretation Philipp GerhardyUlrich Kohlenbach OriginalPaper 03 May 2005 Pages: 633 - 644