External Links

    Journal: Math. Log. Q.

    Volume 21, Issue 1

    1 -- 19Marian Boykan Pour-El, Jerome Caldwell. On a simple definition of computable function of a real variable-with applications to functions of a complex variable
    21 -- 28Charles E. Hughes. Triadic partial implicational propositional calculi
    29 -- 40S. K. Thomason. The logical consequence relation of propositional tense logic
    41 -- 46Richard Bird. Non recursive functionals
    47 -- 56Claus-Peter Schnorr, G. Stumpf. A characterization of complexity sequences
    57 -- 68Imre Z. Ruzsa. Two variants of the system of entailment
    69 -- 70Alistair H. Lachlan. A remark on the strict order property
    71 -- 80Charles E. Hughes. Sets derived by deterministic systems with axiom
    81 -- 86George F. Schumm. Disjunctive extensions of S4 and a conjecture of Goldblatt's
    87 -- 88Alexander Abian. On the standard-model hypothesis of ZF
    89 -- 96Ronald Fagin. Monadic generalized spectra
    97 -- 106John W. Rosenthal. Truth in all of certain well-founded countable models arising in set theory
    107 -- 114Steven K. Thomason. Reduction of second-order logic to modal logic
    115 -- 120Hilbert Levitz. An ordered set of arithmetic functions representing the least ε-number
    121 -- 122Ronald Fagin. A two-cardinal characterization of double spectra
    123 -- 134Ronald Fagin. A spectrum hierarchy
    135 -- 140Michael Mortimer. On languages with two variables
    141 -- 144Alan Rose. A note on the existence of tautologies without constants
    145 -- 158Michael Deutsch 0001. Zur Benutzung der Verkettung als Basis für die Arithmetik
    159 -- 166Gerhard Lischke. Über die Erfüllung gewisser Erhaltungssätze durch Kompliziertheitsmasse
    167 -- 176Louise Hay. Spectra and halting problems
    177 -- 179T. G. McLaughlin. r
    181 -- 184John N. Martin. A syntactic characterization of Kleene's strong connectives with two designated values
    185 -- 186Horst Luckhardt. A short proof of a well-known theorem of intuitionistic analysis
    187 -- 192Karsten Steffens. Der Satz von Dilworth und Souslin's Hypothese
    193 -- 198Biswambhar Pahi. Jankov-theorems for some implicational calculi
    199 -- 214Ivan Marques. On speedability of recursively enumerable sets
    215 -- 224J. V. Howard. Computable explanations
    225 -- 228V. Wiktor Marek, M. Srebrny. -
    229 -- 246Heinrich Herre, Helmut Wolter. Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren
    289 -- 302Petr Vopenka, Antonín Sochor. Contributions to the theory of semisets V: On the axiom of general collapse
    303 -- 305T. C. Wesselkamper. Weak completeness and Abelian semigroups
    307 -- 308John W. Rosenthal. 1-categorical theory
    309 -- 314Harvey Friedman. A cumulative hierarchy of predicates
    315 -- 320Witold A. Pogorzelski, Tadeusz Prucnal. Structural completeness of the first-order predicate calculus
    321 -- 330Helmut Wolter. Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren
    331 -- 342Paul D. Humke. The Baire category of sets of access
    343 -- 346Bernd J. Stephan. Compactness and recursive enumerability in intensional logic
    347 -- 352Andreas Baudisch. ∞ mit Untergruppen
    353 -- 354John Lake. Characterising the largest, countable partial ordering
    355 -- 356John Lake. Comparing type theory and set theory
    357 -- 359Joachim Reineke. Minimale Gruppen
    361 -- 364Donald H. Pelletier. On violating the GCH below the least measurable cardinal
    365 -- 367Juhani Nieminen. A note on simple graphic algebras
    369 -- 375John Loader. m-valued logic
    377 -- 378R. R. Rockingham Gill. A note on the compactness theorem
    379 -- 383Brian F. Chellas, Audrey McKinney. The completeness of monotonic modal logics
    385 -- 394Dietrich Schwartz. Ultraprodukte in der Theorie der logischen Auswahlfunktionen
    395 -- 399P. H. Stanford. Polish circles
    401 -- 404Christopher J. Ash. Sentences with finite models
    405 -- 408T. A. McKee. Infinitary logic and topological homeomorphisms
    409 -- 412Warren D. Goldfarb. On the effective ω-rule
    413 -- 416Paul D. Humke. An example of a function with multiple ambiguities
    417 -- 426Keith Harrow. Small Grzegorczyk classes and limited minimum
    427 -- 431Stephen L. Bloom. A note on the predicatively definable sets of N. N. Nepeîvoda
    433 -- 438William S. Hatcher, A. Shafaat. Categorical languages for algebraic structures
    439 -- 442Antonín Sochor. Contribution to the theory of semisets VI: (Non-existence of the class of all absolute natural numbers)
    443 -- 454Michael Deutsch 0001. Zur Darstellung koaufzählbarer Prädikate bei Verwendung eines einzigen unbeschränkten Quantors
    455 -- 462Martin Weese. Zum Isomorphieproblem der Booleschen Algebren
    463 -- 471Eliot D. Feldman. L-Σ
    473 -- 584J. U. L. Ersov. Theorie der Numerierungen II
    runs on