External Links

    Journal: Annals of Pure and Applied Logic

    Volume 86, Issue 3

    203 -- 218Christopher J. Ash, Julia F. Knight, Jeffrey B. Remmel. Quasi-Simple Relations in Copies of a Given Recursive Structure
    219 -- 236Christopher J. Ash, Peter Cholak, Julia F. Knight. Permitting, Forcing, and Copying of a Given Recursive Relation
    237 -- 266Joan Bagaria, Roger Bosch. Projective Forcing
    267 -- 303Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn. Comparing Cubes of Typed and Type Assignment Systems

    Volume 86, Issue 2

    101 -- 135Uffe Engberg, Glynn Winskel. Completeness Results for Linear Logic on Petri Nets
    137 -- 201Pierre Matet. Combinatorics and Forcing with Distributive Ideals

    Volume 86, Issue 1

    1 -- 32Silvio Ghilardi, Giancarlo Meloni. Constructive Canonicity in Non-Classical Logics
    33 -- 46Dmitrij P. Skvortsov. Non-Axiomatizable Second Order Intuitionistic Propositional Logic
    47 -- 100Frank Wolter. The Structure of Lattices of Subframe Logics
    runs on