External Links

    Journal: Annals of Pure and Applied Logic

    Volume 122, Issue 1-3

    1 -- 85Toshiyasu Arai. Proof theory for theories of ordinals - I: recursively Mahlo ordinals
    87 -- 106Stefan Neumann. True cofinality and bounding number for small products of partial orders
    107 -- 130Christophe Raffalli. System ST toward a type system for extraction and proofs of programs
    131 -- 173Zoran Petric. G-dinaturality
    175 -- 194Viktor Verbovskiy, Ikuo Yoneda. CM-triviality and relational structures
    195 -- 234Christian Rüede. The proof-theoretic analysis of Sigma::1:::::1::: transfinite dependent choice
    235 -- 261Itay Ben-Yaacov, Anand Pillay, Evgueni Vassiliev. Lovely pairs of models
    263 -- 287Patrick Simonetta. On non-abelian C-minimal groups
    289 -- 291Anatole Khelif. On nonelementarily equivalent pairs of fields
    runs on