External Links

    Journal: Math. Log. Q.

    Volume 26, Issue 7-9

    97 -- 101Stéphane Foldes. On Intervals in Relational Structures
    103 -- 109Mark E. Nadel. An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic
    111 -- 113George Weaver. A Note on the Compactness Theorem in First Order Logic
    115 -- 122Rod McBeth. Fundamental Sequences for Exponential Polynomials
    123 -- 130J. Ouko Väänänen. A Quantifier for Isomorphisms
    131 -- 143Wolfgang Lenzen. Beschränkte und Unbeschränkte Reduktion von Konjunktionen von Modalitäten in S4

    Volume 26, Issue 36

    561 -- 564Dietrich Schwartz. Polyadic MV-Algebras
    565 -- 576Jürgen Hauck. Konstruktive Darstellungen in Topologischen Räumen mit Rekursiver Basis

    Volume 26, Issue 34-35

    529 -- 536Bogdan S. Chlebus. Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic
    537 -- 546Roman Murawski. Some Remarks on the Structure of Expansions
    547 -- 554Klaus Denecke. Implikative BCK-Algebren
    555 -- 559Martin Kühnrich, Konrad Schultz. A Hierarchy of Models for Skala's Set Theory

    Volume 26, Issue 32-33

    497 -- 501Robert E. Kirk. A Characterization of the Classes of Finite Tree Frames Which are Adequate for the Intuitionistic Logic
    503 -- 507Jerrold M. Gold. Some Results on the Structure of the ϕ-Spectrum
    509 -- 516Rod McBeth. A Generalization of Ackermann's Function
    517 -- 522Klaus Gloede. On a Collection of Classes in Ackermann's Set Theory With the Axiomschema of Foundation
    523 -- 528Josef Falkinger. Universalität von Berechenbaren Numerierungen von Partiell Rekursiven Funktionen

    Volume 26, Issue 31

    481 -- 490Hirokazu Nishimura. Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies
    491 -- 496Masazumi Hanazawa. An Extension of the Notion of Relativization to Hilbert's ϵ-Symbol

    Volume 26, Issue 28-30

    433 -- 437D. A. Anapolitanos, Jouko A. Väänänen. On the Axiomatizability of the Notion of an Automorphism of a Finite Order
    439 -- 444Anita Wasilewska. On the Gentzen Type Formalizations
    445 -- 458Josef Falkinger. 1
    459 -- 469Egon Börger, Hans Kleine Büning. The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set
    471 -- 475John L. Hickman. Some Observations Concerning Medial Fields
    477 -- 479John L. Hickman. A Class of Polynomial Equations in a Single Ordinal Variable

    Volume 26, Issue 25-27

    385 -- 394Péter Gács. Exact Expressions for Some Randomness Tests
    395 -- 397Terry A. McKee. Monadic Characterizations in Nonstandard Topology
    399 -- 404Rod McBeth. Exponential Polynomials of Linear Height
    405 -- 428Ruth L. Mikkelson. Totally and Partially Ambiguous Points of Planar Functions
    429 -- 432Klaus Kaiser. On A Lattice of Relational Reducts

    Volume 26, Issue 22-24

    337 -- 342C. Alkor. On A Theory of Classes
    343 -- 347Giovanni Sambin, Silvio Valentini. Post Completeness and Free Algebras
    349 -- 354Konrad Schultz. A Topological Model for Troelstra's System CS of Intuitionistic Analysis
    355 -- 360Martin Kühnrich. The Boolean Algebra of Predicates
    361 -- 384Robert A. Herrmann. A Nonstandard Approach to Pseudotopological Compactifications

    Volume 26, Issue 19-21

    289 -- 310R. Hindley, G. Longo. Lambda-Calculus Models and Extensionality
    327 -- 330Ray E. Jennings, D. K. Johnston, Peter K. Schotch. Universal First-Order Definability in Modal Logic
    331 -- 335Hirokazu Nishimura. A Preservation Theorem for Tense Logic

    Volume 26, Issue 14-18

    209 -- 214John P. Burgess. Brouwer and Souslin on Transfinite Cardinals
    215 -- 226Britta Schinzel. Zerlegung mit Vergleichsbedingungen Einer Gödelnumerierung
    227 -- 236Henryk Kotlarski. On Skolem Ultrapowers and Their Non-Standard Variant
    237 -- 250Hans-Peter Tuschik. 1-Categoricity
    251 -- 254Dietrich Schwartz. Cylindric Algebras with Filter Quantifiers
    255 -- 278Bernhard G. Goetze, Werner Nehrlich. The Structure of Loop Programs and Subrecursive Hierarchies
    279 -- 288Jeffery B. Remmel, Alfred B. Manaster. CO-Simple Higher-Order Indecomposable Isols

    Volume 26, Issue 13

    193 -- 204Erik Ellentuck. Diagonal Methods in the Theory of Isols
    205 -- 207Ahmad Shafaat. Consistency in Categorical Languages for Algebras

    Volume 26, Issue 10-12

    145 -- 164Benno Klotzek, Rudolf Ottenberg. Pseudoeuklidische Räume im Aufbau der Geometrie aus dem Spiegelungsbegriff
    165 -- 180Hans-Dietrich Hecker. Enumerationen in Speziellen Standardklassen Rekursiv-Aufzählbarer Mengen
    181 -- 191John L. Hickman. A-Minimal Lattices

    Volume 26, Issue 1-6

    1 -- 32Michael Deutsch. Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv-Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen
    33 -- 34W. Darsow, Phyllis M. Kittel. On Intermediate Consequence Relations
    35 -- 39L. W. Szczerba. Interpretations With Parameters
    41 -- 49Wojciech Buszkowski. Logical Complexity of Some Classes of Tree Languages Generated by Multiple-Tree-Automata
    51 -- 58Heinrich Herre. Modelltheoretische Eigenschaften Endlichvalenter Graphen
    59 -- 68Eberhard Herrmann, Helmut Wolter. Untersuchungen zu Schwachen Logiken der Zweiten Stufe
    69 -- 76Jürgen Hauck. Stetigkeitseigenschaften Berechenbarer Reeller Funktionen
    77 -- 88Bernd I. Dahn. First Order Logics for Metric Structures
    89 -- 92Kenneth L. Manders. Theories With the Existential Substructure Property
    93 -- 95Carl G. Jockusch Jr.. Fine Degrees of Word Problems of Cancellation Semigroups
    runs on