External Links

    Journal: Math. Log. Q.

    Volume 24, Issue 9-11

    129 -- 139Alistair H. Lachlan. Spectra of ω-Stable Theories

    Volume 24, Issue 8

    113 -- 114Douglas S. Bridges. A Note on Morse's Lambda-Notation in Set Theory
    115 -- 124Dimiter Skordev. A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces
    125 -- 127Martin W. Bunder. Equality in

    Volume 24, Issue 7

    97 -- 108K. Potthoff. Orderings of Types of Countable Arithmetic
    109 -- 112Alan Rose. A Note on Formalisation by the Method of Description of Truth-Tables

    Volume 24, Issue 31-36

    481 -- 488Charles C. Pinter. Properties Preserved under Definitional Equivalence and Interpretations
    489 -- 492John T. Baldwin. ∑ Classes of Rings
    493 -- 494Douglas S. Bridges. H)
    495 -- 507Maurice Margenstern. On a Variant of Constructivisation of the Theory of Almost Periodic Functions
    509 -- 522Norbert Klingen. Zur Modelltheorie Lokaler und Globaler Körper
    523 -- 538Ludwig Staiger, Klaus W. Wagner. Rekursive Folgenmengen I
    539 -- 552Martin Kühnrich. Superclasses in a Finite Extension of Zermelo Set Theory
    553 -- 575Philip J. Scott. The "Dialectica" Interpretation and Categories

    Volume 24, Issue 25-30

    385 -- 397William S. Hatcher. A Language for Type-Free Algebra
    399 -- 404Nadejda Georgieva. An Extention of the Decidable Class of Equations Considered by Goodstein and Lee
    405 -- 408Michael Byrd. L-Reduction Axioms to the Brouwer System
    409 -- 418Richard A. Shore. Some More Minimal Pairs of α-Recursively Enumerable Degrees
    419 -- 425Karel Hrbacek. On the Complexity of Analytic Sets
    427 -- 436M. D. Krol. A Topological Model for Intuitionistic Analysis with Kripke's Scheme
    437 -- 440Alan Rose. A Three-Valued Model for Set Theory
    441 -- 442J. L. Hickman. 0"
    443 -- 444Atwell R. Turquette. Alternative Axioms for Peirce's Triadic Logic
    445 -- 452Bruce M. Horowitz. Sets Completely Creative Via Recursive Permutations
    453 -- 456Paul D. Humke. A Note on Connected Coverings of the Plane
    457 -- 459William Ryan. Gödel's Second Incompleteness Theorem for General Recursive Arithmetic
    461 -- 0N. Goodman, J. Myhill. Choice Implies Excluded Middle
    463 -- 466David W. H. Gillam. A Concrete Representation Theorem for Intervals of Multirelations
    467 -- 479W. Richard Stark. 1

    Volume 24, Issue 19-24

    289 -- 290Daniel Gogol. n∃-Completeness of Zermelo-Fraenkel Set Theory
    291 -- 296Bohuslav Balcar, Petr Hájek. On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75)
    297 -- 302Diana Schmidt. Associative Ordinal Functions, Well Partial Orderings and a Problem of Skolem
    303 -- 317Gérard Lopez. L'Indeformabilite des Relations et Multirelations Binaires
    319 -- 321Paul E. Cohen. Some Continuity Properties for Ultraproducts
    323 -- 324Paul E. Cohen. Iterated Forcing without Boolean Algebras
    325 -- 333Allan W. Ristow. The Existence of Certain Partitions on Cartesian Products
    335 -- 346Williams Kramer Forrest. A Note on Universal Classes with Applications to the Theory of Graphs
    347 -- 356Bruno Poizat. Etude D'Un Forcing en Théorie des Modèles
    357 -- 364Philip W. Grant. The Completeness of L
    365 -- 374Jürgen Hauck. Konstruktive Darstellungen Reeller Zahlen und Folgen
    375 -- 384Heinrich Herre, Alexander G. Pinus. Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren

    Volume 24, Issue 17-18

    257 -- 278Martin Weese. Definierbare Prädikate in Booleschen Algebren II
    279 -- 287Michall Muzalewski. Restricted Decision Problems in Some Classes of Algebraic Systems

    Volume 24, Issue 15-16

    237 -- 256Robert A. Herrmann. The Nonstandard Theory of Semi-Uniform Spaces

    Volume 24, Issue 13-14

    207 -- 224Robert P. Daley. On the Simplicity of Busy Beaver Sets

    Volume 24, Issue 12

    177 -- 186Dietrich Schwartz. Kanonische Abbildungen und Eilenberg-Maschinen
    187 -- 191Michael Byrd, Dennis Henry. →

    Volume 24, Issue 1-6

    7 -- 24Jean-Luc Paillet. Une Etude sur des Structures Ayant une Certaine Propriete de Seuil Pour les Automorphismes Elementaires
    25 -- 30Melvin Fitting. Elementary Formal Systems for Hyperarithmetical Relations
    31 -- 36James M. Henle, Eugene M. Kleinberg. A Flipping Characterization of Ramsey Cardinals
    37 -- 44Dov M. Gabbay. What is a Classical Connective?
    45 -- 53H. F. J. Lowig. Vollständige Mengen von Algebren
    55 -- 61Thomas Ottmann. Eine Einfache Universelle Menge Endlicher Automaten
    63 -- 71Detlef Seese. Über Unentscheidbare Erweiterungen von SC
    73 -- 78Heinrich Herre, Helmut Wolter. Entscheidbarkeit der Theorie der Linearen Ordnung in L
    79 -- 96Dietlinde Lau. k-Wertigen Logik
    runs on