External Links

    Journal: Math. Log. Q.

    Volume 33, Issue 6

    481 -- 483Ibrahim Garro. Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem
    485 -- 496Andrzej Orlicki. On Constructively Non-Morphisms of Enumerated Sets and Constructive Non-Reducibility of Enumerations
    497 -- 505Alejandro Margarit, Luis M. Laita. Abraham Robinson's Meta-Algebra Revisited
    507 -- 516Agustin Riscos, Luis M. Laita. N-Categories in Logic
    517 -- 525Russian Text Ignored. Russian Text Ignored
    527 -- 535Hilbert Levitz, Warren D. Nichols. Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen
    537 -- 560S. Barry Cooper. Enumeration Reducibility Using Bounded Information: Counting Minimal Covers
    561 -- 563Kandasamy Muthuvel. Some Results Related to Patai's Theorem
    565 -- 573Hanamantagouda P. Sankappanavar. Heyting Algebras with a Dual Lattice Endomorphism

    Volume 33, Issue 5

    385 -- 387Pierluigi Minari. A Note on a Subsystem Of Intuitionistic Logic with Constant Domains
    389 -- 406Giovanna Corsi. Weak Logics with Strict Implication
    407 -- 416László Csirmaz. Strong Semantical Characterization for Nondeterministic Programs
    417 -- 421Martin K. Solomon. A Connection Between Blum Speedable Sets and Gödel's Speed-Up Theorem
    423 -- 432Hiroya Kawai. Sequential Calculus for a First Order Infinitary Temporal Logic
    433 -- 439Steve Giambrone, Alasdair Urquhart. Proof Theories for Semilattice Logics
    441 -- 452Daniel G. Schwartz. Semantic Completeness of Free-Variable Theories
    453 -- 456Kosta Dosen. A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic
    457 -- 459Gerold Stahl. Parallel Theories and Routine Revision in First-Order Logic
    461 -- 480Jan Krajícek. A Possible Modal Formulation of Comprehension Scheme

    Volume 33, Issue 4

    289 -- 292Kenneth L. Manders. On Algebraic Geometry Over Rings with Exponentiation
    293 -- 303Franco Montagna. Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras
    305 -- 312M. B. Thuraisingham. Reducibility Relationships Between Decision Problems for System Functions
    313 -- 314Stanley Burris. The Model Completion of the Class of ℒ-Structures
    315 -- 316Paul E. Howard. The Existence of Level Sets in a Free Group Implies the Axiom of Choice
    317 -- 333Hiroakira Ono. Reflection Principles in Fragments of Peano Arithmetic
    335 -- 338Akito Tsuboi. Categoricity and Non-Orthogonality of Types
    339 -- 345Rodney G. Downey, Jeffrey B. Remmel. Automorphisms and Recursive Structures
    347 -- 358Michael Deutsch. Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten
    359 -- 370Michal Krynicki. On Some Applications of Games for Härtig Quantifier
    371 -- 384Andrzej Orlicki. Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets

    Volume 33, Issue 3

    193 -- 197Adam Piolunowicz. On the Shadows of Ideals
    199 -- 200Yutaka Yasuda. Some Properties of Thin Π
    201 -- 210Thomas E. Forster. Permutation Models in the Sense of Rieger-Bernays
    211 -- 234Karl-Heinz Diener. Einfache Beweise Für Die Eindeutige Zerlegbarkeit Von Ausdrücken Endlicher und Unendlicher Sprachen
    235 -- 241Ventura Verdú. 4, [{1}]) by a Set of Homomorphisms
    243 -- 244Alan Rose. A Strongly Complete Formalisation of a 5-Valued Propositional Calculus
    245 -- 253Daniel G. Schwartz. On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic
    255 -- 256Jürgen Hauck. Eine Berechenbare Funktion Mit Rationalen Werten, Die Nicht Rekursiv Ist
    257 -- 266Pierluigi Minari. Quasilinear Posets and some Subsystems Of Dummett's LC
    267 -- 276Winfried Just, Zarko Mijajlovic. Separation Properties of Ideals Over ω
    277 -- 288László Babai, György Turán. The Complexity of Defining a Relation on a Finite Graph

    Volume 33, Issue 2

    97 -- 100Akira Kanda, Alistair H. Lachlan. Alternative Characterizations of Precomplete Numerations
    101 -- 106Juergen Quandt. Relative Consistency of a Set Theory with Hyperclasses
    107 -- 113Loredana Biacino, Giangiacomo Gerla. L-Sets
    115 -- 121Miroslaw Kutylowski, Krzysztof Lorys. A Note on "ℰ
    123 -- 126F. W. Gorgy, A. H. Sahyoun. ω
    127 -- 133János Demetrovics, László Hannák. Construction of Large Sets of Clones
    135 -- 139Norbert Brunner. Topologische Maximalprinzipien
    141 -- 145C. T. Chong. 1-Density and Turing Degrees
    147 -- 157Daniel G. Schwartz. A Free-Variable Theory of Primitive Recursive Arithmetic
    159 -- 170Ingrid Lindström. Degrees of Souslin And Aronszajn Trees
    171 -- 178G. P. Monro. The Concept of Multiset
    179 -- 186Michael Deutsch. 3 ∃(0, 1)
    187 -- 192Alan Rose. A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus

    Volume 33, Issue 1

    3 -- 11Hanamantagouda P. Sankappanavar. Principal Congruences of Pseudocomplemented Demorgan Algebras
    13 -- 18Mai Gehrke, Klaus Kaiser. On the Maximality of Some Conormal Extensions of a Lattice
    19 -- 29Walter Alexandre Carnielli. The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics
    31 -- 42S. N. Furs. Syllogistics of Some Theories
    43 -- 46Alistair H. Lachlan. A Note on Positive Equivalence Relations
    47 -- 63Michel de Rougemont. Second-order and Inductive Definability on Finite Structures
    65 -- 68Zdzislaw Dywan. On a Method of Axiomatization of Some Propositional Calculi
    69 -- 77Klaus Denecke. Squares of Primal Algebras
    79 -- 84Wenqi Huang, Chusheng Lai, Zhixiang Chen. i Under the Routine Resolution Method
    85 -- 96Peter Zahn. A Predicative Approach to Nonstandard Mathematics
    runs on