Year:

  1.  15
    Ordinal Numbers in Arithmetic Progression.Frederick Bagemihl & F. Bagemihl - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):525-528.
  2.  18
    Algebraic Closure Without Choice.Bernhard Banaschewski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):383-385.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  17
    On the Inadequacy of the Relational Semantic for the “Until” Operator.Fabio Bellissima & Alessandra Ciupi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):247-252.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  16
    Reducibility in Some Categories of Partial Recursive Operators.Caterina Bianchini & Andrea Sorbi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):349-359.
  5.  18
    On Some Interpretations of Classical Logic.Branislav R. Boričić & B. R. Boričić - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):409-412.
  6.  18
    Russell's Alternative to the Axiom of Choice.Norbert Brunner & Paul Howard - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):529-534.
  7.  17
    Cut Elimination for Propositional Dynamic Logic Without.Robert A. Bull - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):85-100.
  8.  17
    Recursive Baire Classification and Speedable Functions.Cristian Calude, Gabriel Istrate & Marius Zimand - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):169-178.
  9.  18
    Levels of Implication and Type Free Theories of Classifications with Approximation Operator.Andrea Cantini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):107-141.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  16
    Representation of Posets.Yungchen Cheng & Paula Kemp - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):269-276.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  24
    On the Transitive Hull of a Κ-Narrow Relation.Karl-Heinz Diener & K. -H. Diener - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):387-398.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  18
    A Brief Survey of Frames for the Lambek Calculus.Kosta Došen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):179-187.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  19
    Provability Logic in the Gentzen Formulation of Arithmetic.Paolo Gentilini & P. Gentilini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):535-550.
  14.  15
    La Reconstruction Des Tournois Sans Diamant.Cyprien Gnanvo & Pierre Ille - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):283-291.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  15
    A Class of Models for Skala's Set Theory.Antonio Greco - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):277-282.
  16.  16
    Bounds in the Turing Reducibility of Functions.Karol Habart & K. Habart - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):423-430.
  17.  16
    Restriction Respectueuse Et Reconstruction Des Chaines Et Des Relations Infinites.Jean Guillaume Hagendorf & J. G. Hagendorf - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):457-490.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  17
    Finite Replacement and Finite Hilbert-Style Axiomatizability.B. Herrmann & W. Rautenberg - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):327-344.
  19.  15
    On Non-Determined Ehrenfeucht-Fraïssé Games and Unstable Theories.Tapani Hyttinen & T. Hyttinen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):399-408.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  22
    Flagg and Friedman's Translation is Not Faithful.Takao Inoué & T. Inoué - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):551-554.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  29
    An Elementary System as and its Semi-Completeness and Decidability.Qin Jun - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):305-320.
  22.  17
    Topos Based Semantic for Constructive Logic with Strong Negation.Barbara Klunder & B. Klunder - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):509-519.
  23.  15
    Topological Framework for Finite Injury.Kyriakos Kontostathis - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):189-195.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  25
    Game Approximations of Satisfaction Classes Models.Roman Kossak & Henryk Kotlarski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):21-26.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  17
    A Formalism for Some Class of Forcing Notions.Piotr Koszmider & P. Koszmider - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):413-421.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  18
    The Ambiguous Type Theory is Hereditarily Undecidable.Andrey A. Kuzichev - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):299-300.
  27.  17
    Elimination of Quantifiers Over Vectors in Some Theories of Vector Spaces.Andrey A. Kuzichev - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):575-577.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  19
    Reconstruction of Binary Relations From Their Restrictions of Cardinality 2, 3, 4 and II.Gérard Lopez & Claire Rauzy - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):157-168.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  16
    Reconstruction of Binary Relations From Their Restrictions of Cardinality 2, 3, 4 and I.Gérard Lopez & Claire Rauzy - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):27-37.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  16
    Some Ramsey Theory in Boolean Algebra for Complexity Classes.Gregory L. McColm - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):293-298.
  31.  16
    On the Iterated Ω-Rule.Grzegorz Michalski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):203-208.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  17
    Iterations of Satisfaction Classes and Models of Peano Arithmetic.Roman Murawski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):59-84.
  33.  35
    Universal Functions in Partial Structures.Maurizio Negri - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):253-268.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  19
    Ternary Operations as Primitive Notions for Plane Geometry II.Victor Pambuccian - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):345-348.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  16
    The Decision Problem for Restricted Universal Quantification in Set Theory and the Axiom of Foundation.Franco Parlamento & Alberto Policriti - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):143-156.
  36.  15
    The Preservation of Submodel Relation by Taking Primitive Models.Paweł Pazdyka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):3-19.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  17
    A Notation System for Ordinal Using Ψ-Functions on Inaccessible Mahlo Numbers.Helmut Pfeiffer & H. Pfeiffer - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):431-456.
  38.  18
    An Interpretation of Martin-Löf's Constructive Theory of Types in Elementary Topos Theory.Anne Preller - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):213-240.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  29
    Partially Ordered Connectives.Gabriel Sandu & Jouko Väänänen - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):361-372.
    We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various undefinability results.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  40.  18
    Two Topological Equivalents of the Axiom of Choice.Eric Schechter & E. Schechter - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):555-557.
  41.  21
    Boolean Algebras in Ast.Klaus Schumacher - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):373-382.
  42.  16
    Anew Relation-Combining Theorem and its Application.Zhi-Wei Sun - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):209-212.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  17
    A Game-Theoretic Proof of Analytic Ramsey Theorem.Kazuyuki Tanaka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):301-304.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  16
    On Definability of Normal Subgroups of a Superstable Group.Akito Tsuboi - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):101-106.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  17
    On the Incompleteness of a Descending Chain of Extensions of Implicational S5.Dolph Ulrich - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):321-323.
  46.  23
    The Judgement Calculus for Intuitionistic Linear Logic: Proof Theory and Semantics.Silvio Valentini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):39-58.
  47.  25
    Quantified Modal Logic with Neighborhood Semantics.Geir Waagbø & G. Waagbø - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):491-499.
  48.  19
    A Direct Proof of a Result of Shelah.Martin Weese - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):325-326.
    Shelah has shown that the number d, the smallest cardinality of a dominating family, is less than or equal to the number i, the smallest cardinality of a maximal independent family on ω. This was done using a downward Löwenheim-Skolem argument. Thus it is interesting to find a direct “elementary” proof. Here we show that this can be done.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  21
    The Fundamental Theorem of Ultraproduct in Pavelka's Logic.Mingsheng Ying - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):197-201.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  19
    Compactness, the Löwenheim-Skolem Property and the Direct Product of Lattices of Truth Values.Mingsheng Ying - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):521-524.
  51.  20
    Interdefinability of Lambekian Functors.Wojciech Zielonka & W. Zielonka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):501-507.
  52.  18
    Analytic Completeness Theorem for Absolutely Continuous Biprobability Models.Radosav S. Đorđević - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):241-246.
 Previous issues
  
Next issues