External Links

    Journal: Math. Log. Q.

    Volume 28, Issue 8-12

    93 -- 136Glen R. Cooper. On Complexity of Complete First-Order Theories
    137 -- 148Evangelos Kranakis. Invisible Ordinals and Inductive Definitions
    149 -- 165Zygmunt Ratajczyk. PA
    167 -- 172Vladeta Vuckovic. Relativized Cylindrification

    Volume 28, Issue 4-7

    49 -- 62Bogdan S. Chlebus. Completeness Proofs for Some Logics of Programs
    63 -- 65Eduard Fuchs. On the o-Category of Finite Chains
    67 -- 74Michael von Rimscha. Transitivitätsbedingungen
    75 -- 81Hans-Peter Tuschik. Elimination of Cardinality Quantifiers
    83 -- 92Burkhard Molzan. p-Rings

    Volume 28, Issue 33-38

    481 -- 485Klaus Denecke. Independent Sets and Free Preprimal Algebras
    487 -- 493Patrick Farrington. c-Degrees With the #-Operation
    495 -- 504Robin J. Grayson. Constructive Well-Orderings
    505 -- 510John Jones. 0-Valued Propositional Calculus with Variable Functors
    511 -- 524Nobuyoshi Motohashi. Elimination Theorems of Uniqueness Conditions
    525 -- 538Carlos A. Di Prisco, V. Wiktor Marek. On Some σ-Algebras Containing the Projective Sets I
    539 -- 548Wojciech Buszkowski. Some Decision Problems in the Theory of Syntactic Categories
    549 -- 556Wilfried Meissner. A Löwenheim-Skolem Theorem for Inner Product Spaces
    557 -- 564Detlef Seese, Martin Weese. L(aa)-Elementary Types of Well-Orderings
    565 -- 574Winfried Maier, Wolfgang Menzel, Volker Sperschneider. Embedding Properties of Total Recursive Functions

    Volume 28, Issue 27-32

    385 -- 394Galen Weitkamp. Iterating the Superjump Along Definable Prewellorderings
    413 -- 430Daniel Lascar. Ordre de Rudin-Keisler et Poids Dans les Theories Stables
    431 -- 445Emanuela Fachini, Andrea Maggiolo-Schettini. Comparing Hierarchies of Primitive Recursive Sequence Functions
    447 -- 454George Georgescu. Algebraic Analysis of the Topological Logic L(I)
    455 -- 462Cristian Calude. Topological Size of Sets of Partial Recursive Functions
    463 -- 479Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen. Inductive Inference and Computable One-One Numberings

    Volume 28, Issue 25-26

    365 -- 376Burkhard Molzan. The Theory of Superatomic Boolean Algebras in the Logic With the Binary Ramsey Quantifier
    377 -- 383Jürgen Hauck. Stetigkeitseigenschaften Berechenbarer Funktionale

    Volume 28, Issue 22-24

    317 -- 322Alan Rose. A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens
    323 -- 329Peter H. Schmitt. The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup
    331 -- 336Heinz-Dieter Ebbinghaus. Undecidability Of Some Domino Connectability Problems
    337 -- 344Peter Telec, Martin Kühnrich. Sequenzen von Klassen und Individuen
    345 -- 363Michael Deutsch. Zur Komplexitätsmessung Primitiv-Rekursiver Funktionen Über Quotiententermmengen

    Volume 28, Issue 20-21

    285 -- 296Gregory A. Riccardi. The Independence of Control Structures in Programmable Numberings of the Partial Recursive Functions
    297 -- 309Richard L. Call. Systems With Parity Quantifiers
    311 -- 316Mitsuru Yasuhara. Cut Elimination in ε-Calculi

    Volume 28, Issue 19

    269 -- 276Martin W. Bunder. Some Results in Aczel-Feferman Logic and Set Theory
    277 -- 284Hans Kleine Büning. E

    Volume 28, Issue 14-18

    189 -- 201Richard Rosenberg. Recursively Enumerable Images of Arithmetic Sets
    203 -- 210Bruce M. Horowitz. Arithmetical Analogues of Productive and Universal Sets
    211 -- 214Bruce M. Horowitz. An Isomorphism Type of Arithmetically Productive Sets
    215 -- 218George Weaver. A Note on the Interpolation Theorem in First Order Logic
    219 -- 228Hilbert Levitz. Calculation of an Order Type: An application of Non-Standard Methods
    229 -- 238Wojciech Buszkowski. Compatibility of a Categorial Grammar With an Associated Category System
    239 -- 246Wolfgang Schönfeld. Upper Bounds for Proof-Search in a Sequent Calculus for Relational Equations
    247 -- 261Bogdan S. Chlebus. On the Decidability of Propositional Algorithmic Logic
    263 -- 267John L. Hickman. Automorphisms of Medial Fields

    Volume 28, Issue 13

    173 -- 180Hiroya Kawai. Eine Logik Erster Stufe mit Einem Infinitären Zeitoperator
    181 -- 187V. Ja. Krenovic, Urs Oswald. A Decision Method for the Universal Theorems of Quine's New Foundations

    Volume 28, Issue 1-3

    1 -- 5George Weaver, Raymond D. Gumb. First Order Properties of Relations with the Monotonic Closure Property
    7 -- 14Guus Broesterhuizen. Locally Orderable Structures
    15 -- 44Jean Guillaume. Extensions Immèdiates de Chaînes
    45 -- 48Antonio Pasini. On a Definition of First Order Translation for a Concrete Category
    runs on