External Links

    Journal: Math. Log. Q.

    Volume 29, Issue 9

    465 -- 480Bernd I. Dahn, Helmut Wolter. On the Theory of exponential Fields

    Volume 29, Issue 8

    417 -- 425Thomas Becker. Real Closed Rings and Ordered Valuation Ring
    427 -- 434Dietmar Schweigert, Magdalena Szymanska. A Completeness Theorem for Correlation Lattices
    435 -- 443Norbert Brunner. KategoriesäTze und multiples Auswahlaxiom
    445 -- 464Philipp Rothmaler. Stationary Types in Moduless

    Volume 29, Issue 6

    337 -- 356Charles Zaiontz. 2
    357 -- 376Karl-Heinz Diener. α β without the Axiom of Choice
    377 -- 378John Jones. M-Valued Propositional Calculus with Variable Functors
    379 -- 384Rod Downey. On a Question of a. Retzlaff

    Volume 29, Issue 5

    289 -- 312J. Richard Büchi, Dirk Siefkes. The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals
    313 -- 336J. Richard Büchi, Charles Zaiontz. 2

    Volume 29, Issue 4

    177 -- 192Dag Normann. General Type-Structures of Continuous and Countable Functionals
    193 -- 196Alan Adamson. A Note on Two-Cardinal Models
    197 -- 202William S. Hatcher, Claude Laflamme. On the Order Structure of the Hyperreal Line
    203 -- 206F. W. Gorgy, A. H. Sahyoun. 2
    207 -- 212Ford W. Gorgy, A. H. Sahyoun. n1
    213 -- 218Jürgen Hauck. Konstruktive reelle funktionale und Operatoren
    219 -- 233Manfred E. Szabo. The Continuous Realizability of Entailment
    235 -- 237Marcel Crabbé. On the Reduction of Type Theory
    239 -- 243Albert Hoogewijs. A Partial Predicate Calculus in a Two-Valued Logic
    245 -- 252C. Alkor, Benedetto Intrigila. Baire Category on Cardinals
    253 -- 288Michael von Rimscha. Hierarchies for Non-Founded Models of Set Theory

    Volume 29, Issue 3

    97 -- 135Williams Kramer Forrest. The Theory of Affine Constructible Sets
    137 -- 150Michel Parigot. Le modèle Compagnon de la THéOrie des arbres
    151 -- 161Zarko Mijajlovic, Valentina S. Harizanov. Regular Relations and the Quantifier "There Exist uncountably Many"
    163 -- 168Franco Montagna. Zfc-Models as Kripke-Models
    169 -- 175Hans Kleine Büning. Durch syntaktische Rekursion definierte Klassen

    Volume 29, Issue 2

    33 -- 70Luisa Iturrioz. Symmetrical Heyting Algebras with Operators
    71 -- 74John L. Hickman. An Ordinal Version of the Fundamental Law of Algebra
    75 -- 82Karel Hrbacek. Degrees of analytic Sets
    83 -- 96Klaus Benecke. Spezifikation parametrisierter Datentypen

    Volume 29, Issue 11

    557 -- 564Krister Segerberg. Arbitrary Truth-Value Functions and Natural Deduction
    565 -- 568Martin Kühnrich. Eine äQuivalente Formalisierung der Logik von Feferman und Aczel
    569 -- 571Manfred Armbrust. Equivalence Relations versus Unary Operations

    Volume 29, Issue 10

    481 -- 483Alan Rose. Scompleteness of Sets of Three-Valued Sheffer Function
    485 -- 492Edward R. Griffor. 3E
    493 -- 504Joachim Lambek, Philip J. Scott. New Proofs of Some Intuitionistic Principles
    505 -- 542Robert A. G. Seely. Hyperdoctrines, Natural Deduction and the Beck Condition
    543 -- 556John Jones. Implication and Iterated Implication

    Volume 29, Issue 1

    1 -- 6Erik Ellentuck. Random Isols
    7 -- 9Robin J. Grayson. On Closed Subsets of the Intuitionistic Reals
    11 -- 24Gérard Lopez. S-Expansion
    25 -- 32Silvio Valentini. The Modal Logic of Consistency Assertions of Peano Arithmetic
    runs on