External Links

    Journal: Annals of Pure and Applied Logic

    Volume 62, Issue 3

    265 -- 294Alexander Yakhnis, Vladimir Yakhnis. Gurevich-Harrington s Games Defined by Finite Automata

    Volume 62, Issue 2

    81 -- 0John T. Baldwin. Preface: A Selection of Papers Presented at the Stability in Model Theory III Conference
    83 -- 112David M. Evans, Ehud Hrushovski. On the Automorphism Groups of Finite Covers
    113 -- 118A. D. Greif, Michael C. Laskowski. An Omitting Types Theorem for Saturated Structures
    119 -- 146Bradd Hart, Anand Pillay, Sergei Starchenko. Triviality, NDOP and Stable Varieties
    147 -- 166Ehud Hrushovski. A New Strongly Minimal Set
    167 -- 173Annalisa Marcja, Mike Prest, Carlo Toffalori. On the Undecidability of Some Classes of Abelian-by-Finite Groups
    175 -- 181Anand Pillay, Philipp Rothmaler. Unidimensional Modules: Uniqueness of Maximal Non-Modular Submodels
    183 -- 205Mike Prest. Remarks on Elementary Duality

    Volume 62, Issue 1

    1 -- 16Jacqueline Vauzeilles. Cut Elimination for the Unified Logic
    19 -- 0Ernst-Jochen Thiele. Preface: A selection of papers presented at the Logic Colloquium 89
    21 -- 49Kosta Dosen. Rudimentary Kripke Models for the Intuitionistic Propositional Calculus
    51 -- 64Harvey Friedman, Stephen G. Simpson, Xiaokang Yu. Periodic Points and Subsystems of Second-Order Arithmetic
    65 -- 79Grigori Mints. A Normal Form for Logical Derivations Implying One for Arithmetic Derivations
    runs on