Search dblp for Publications

export results for "toc:db/journals/mlq/mlq44.bht:"

 download as .bib file

@article{DBLP:journals/mlq/AhmadL98,
  author       = {Seema Ahmad and
                  Alistair H. Lachlan},
  title        = {Some Special Pairs Of {\(\Sigma\)}\({}_{\mbox{2}}\) e-Degrees},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {431--449},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440402},
  doi          = {10.1002/MALQ.19980440402},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/AhmadL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Aoyama98,
  author       = {Hiroshi Aoyama},
  title        = {The Semantic Completeness of a Global Intuitionistic Logic},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {167--175},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440204},
  doi          = {10.1002/MALQ.19980440204},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Aoyama98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ArdeshirR98,
  author       = {Mohammad Ardeshir and
                  Wim Ruitenburg},
  title        = {Basic Propositional Calculus {I}},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {317--343},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440304},
  doi          = {10.1002/MALQ.19980440304},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/ArdeshirR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BaierW98,
  author       = {Herbert Baier and
                  Klaus W. Wagner},
  title        = {The Analytic Polynomial Time Hierarchy},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {529--544},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440412},
  doi          = {10.1002/MALQ.19980440412},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/BaierW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Banaschewski98,
  author       = {Bernhard Banaschewski},
  title        = {Choice Principles and Compactness Conditions},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {427--430},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440313},
  doi          = {10.1002/MALQ.19980440313},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Banaschewski98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Barback98,
  author       = {Joseph Barback},
  title        = {A Fine Structure in the Theory of Isols},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {229--264},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440209},
  doi          = {10.1002/MALQ.19980440209},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Barback98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Boudabbous98,
  author       = {Youssef Boudabbous},
  title        = {Sur la d{\'{e}}termination d'une relation binaire {\`{a}} partir
                  d'informations locales},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {265--276},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440210},
  doi          = {10.1002/MALQ.19980440210},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Boudabbous98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BridgesI98,
  author       = {Douglas S. Bridges and
                  Hajime Ishihara},
  title        = {A Definitive Constructive Open Mapping Theorem?},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {545--552},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440413},
  doi          = {10.1002/MALQ.19980440413},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/BridgesI98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DawarDLW98,
  author       = {Anuj Dawar and
                  Kees Doets and
                  Steven Lindell and
                  Scott Weinstein},
  title        = {Elementary Properties of the Finite Ranks},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {349--353},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440306},
  doi          = {10.1002/MALQ.19980440306},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/DawarDLW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DawarGH98,
  author       = {Anuj Dawar and
                  Georg Gottlob and
                  Lauri Hella},
  title        = {Capturing Relativized Complexity Classes without Order},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {109--122},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440108},
  doi          = {10.1002/MALQ.19980440108},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/DawarGH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Delhomme98,
  author       = {Christian Delhomm{\'{e}}},
  title        = {Infinite Projection Properties},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {481--492},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440407},
  doi          = {10.1002/MALQ.19980440407},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Delhomme98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DietelH98,
  author       = {Jana Dietel and
                  Hans{-}Dietrich Hecker},
  title        = {Quadrilaterizing an Orthogonal Polygon in Parallel},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {50--68},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440104},
  doi          = {10.1002/MALQ.19980440104},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/DietelH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ekman98,
  author       = {Jan Ekman},
  title        = {Propositions in Prepositional Logic Provable Only by Indirect Proofs},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {69--91},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440105},
  doi          = {10.1002/MALQ.19980440105},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Ekman98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Erdelyi-Szabo98,
  author       = {Mikl{\'{o}}s Erd{\'{e}}lyi{-}Szab{\'{o}}},
  title        = {Undecidability of the Real Algebraic Structure of Scott's Model},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {344--348},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440305},
  doi          = {10.1002/MALQ.19980440305},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Erdelyi-Szabo98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/FerreiraM98,
  author       = {Fernando Ferreira and
                  Ant{\'{o}}nio Marques},
  title        = {Extracting Algorithms from Intuitionistic Proofs},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {143--160},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440202},
  doi          = {10.1002/MALQ.19980440202},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/FerreiraM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Flum98,
  author       = {J{\"{o}}rg Flum},
  title        = {An Extension of the Lemma of Rasiowa and Sikorski},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {509--514},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440409},
  doi          = {10.1002/MALQ.19980440409},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Flum98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/FormatoG98,
  author       = {Ferrante Formato and
                  Giangiacomo Gerla},
  title        = {Grasping Infinity by Finite Sets},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {383--393},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440310},
  doi          = {10.1002/MALQ.19980440310},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/FormatoG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gaitan98,
  author       = {Hernando Gait{\'{a}}n},
  title        = {Free Algebras in Certain Varieties of Distributive Pseudocomplemented
                  De Morgan Algebras},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {553--567},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440414},
  doi          = {10.1002/MALQ.19980440414},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Gaitan98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GasarchH98,
  author       = {William I. Gasarch and
                  Jeffry L. Hirst},
  title        = {Reverse Mathematics and Recursive Graph Theory},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {465--473},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440405},
  doi          = {10.1002/MALQ.19980440405},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/GasarchH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gasquet98,
  author       = {Olivier Gasquet},
  title        = {Predicate Modal Logics Do Not Mix Very Well},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {45--49},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440103},
  doi          = {10.1002/MALQ.19980440103},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Gasquet98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Halbeisen98,
  author       = {Lorenz Halbeisen},
  title        = {On Shattering, Splitting and Reaping Partitions},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {123--134},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440109},
  doi          = {10.1002/MALQ.19980440109},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Halbeisen98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HeckerS98,
  author       = {Hans{-}Dietrich Hecker and
                  Dietmar Schuchardt},
  title        = {Variants of Visibility and their Complexity},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {522--528},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440411},
  doi          = {10.1002/MALQ.19980440411},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/HeckerS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hemmerling98,
  author       = {Armin Hemmerling},
  title        = {Computability of String Functions Over Algebraic Structures},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {1--44},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440102},
  doi          = {10.1002/MALQ.19980440102},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Hemmerling98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hemmerling98a,
  author       = {Armin Hemmerling},
  title        = {Computability Over Structures of Infinite Signature},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {394--416},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440311},
  doi          = {10.1002/MALQ.19980440311},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Hemmerling98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hinnion98,
  author       = {Roland Hinnion},
  title        = {Ramifiable Directed Sets},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {216--228},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440208},
  doi          = {10.1002/MALQ.19980440208},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Hinnion98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hirst98,
  author       = {Jeffry L. Hirst},
  title        = {Reverse Mathematics and Ordinal Multiplication},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {459--464},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440404},
  doi          = {10.1002/MALQ.19980440404},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Hirst98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HowardKRR98,
  author       = {Paul E. Howard and
                  Kyriakos Keremedis and
                  Herman Rubin and
                  Jean E. Rubin},
  title        = {Versions of Normality and Some Weak Forms of the Axiom of Choice},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {367--382},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440309},
  doi          = {10.1002/MALQ.19980440309},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/HowardKRR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HowardKRR98a,
  author       = {Paul E. Howard and
                  Kyriakos Keremedis and
                  Herman Rubin and
                  Jean E. Rubin},
  title        = {Disjoint Unions of Topological Spaces and Choice},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {493--508},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440408},
  doi          = {10.1002/MALQ.19980440408},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/HowardKRR98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hyttinen98,
  author       = {Tapani Hyttinen},
  title        = {Generalizing Morley's Theorem},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {176--184},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440205},
  doi          = {10.1002/MALQ.19980440205},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Hyttinen98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HyttinenS98,
  author       = {Tapani Hyttinen and
                  Saharon Shelah},
  title        = {On the Number of Elementary Submodels of an Unsuperstable Homogeneous
                  Structure},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {354--358},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440307},
  doi          = {10.1002/MALQ.19980440307},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/HyttinenS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/IkedaPT98,
  author       = {Koichiro Ikeda and
                  Anand Pillay and
                  Akito Tsuboi},
  title        = {On Theories Having Three Countable Models},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {161--166},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440203},
  doi          = {10.1002/MALQ.19980440203},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/IkedaPT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Johannsen98,
  author       = {Jan Johannsen},
  title        = {A Model Theoretic Property of Sharply Bounded Formulae, with some
                  Applications},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {205--215},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440207},
  doi          = {10.1002/MALQ.19980440207},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Johannsen98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Johannsen98a,
  author       = {Jan Johannsen},
  title        = {A Remark on Independence Results for Sharply Bounded Arithmetic},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {568--570},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440415},
  doi          = {10.1002/MALQ.19980440415},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Johannsen98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kanovei98,
  author       = {Vladimir Kanovei},
  title        = {Ulm Classification of Analytic Equivalence Relations in Generic Universes},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {287--303},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440302},
  doi          = {10.1002/MALQ.19980440302},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Kanovei98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Keremedis98,
  author       = {Kyriakos Keremedis},
  title        = {Extending Independent Sets to Bases and the Axiom of Choice},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {92--98},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440106},
  doi          = {10.1002/MALQ.19980440106},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Keremedis98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Keremedis98a,
  author       = {Kyriakos Keremedis},
  title        = {Filters, Antichains and Towers in Topological Spaces and the Axiom
                  of Choice},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {359--366},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440308},
  doi          = {10.1002/MALQ.19980440308},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Keremedis98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KhoussainovYY98,
  author       = {Bakhadyr Khoussainov and
                  Alexander Yakhnis and
                  Vladimir Yakhnis},
  title        = {Games with Unknown Past},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {185--204},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440206},
  doi          = {10.1002/MALQ.19980440206},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/KhoussainovYY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kotlarski98,
  author       = {Henryk Kotlarski},
  title        = {Other Proofs of Old Results},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {474--480},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440406},
  doi          = {10.1002/MALQ.19980440406},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Kotlarski98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Krajicek98,
  author       = {Jan Kraj{\'{\i}}cek},
  title        = {Interpolation by a Game},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {450--458},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440403},
  doi          = {10.1002/MALQ.19980440403},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Krajicek98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kuroda98,
  author       = {Saturo Kuroda},
  title        = {On a Theory for AC\({}^{\mbox{0}}\) and the Strength of the Induction
                  Scheme},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {417--426},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440312},
  doi          = {10.1002/MALQ.19980440312},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Kuroda98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nasso98,
  author       = {Mauro Di Nasso},
  title        = {Linearly Stratified Models for the Foundations of Nonstandard Mathematics},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {138--142},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440111},
  doi          = {10.1002/MALQ.19980440111},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Nasso98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nour98,
  author       = {Karim Nour},
  title        = {S-Storage Operators},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {99--108},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440107},
  doi          = {10.1002/MALQ.19980440107},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Nour98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schmerl98,
  author       = {James H. Schmerl},
  title        = {Difference Sets and Recursion Theory},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {515--521},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440410},
  doi          = {10.1002/MALQ.19980440410},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Schmerl98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/TerwijnT98,
  author       = {Sebastiaan Terwijn and
                  Leen Torenvliet},
  title        = {Arithmetical Measure},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {277--286},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440211},
  doi          = {10.1002/MALQ.19980440211},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/TerwijnT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Thomas98,
  author       = {Simon Thomas},
  title        = {The Nonexistence of a Binary Homogeneous Pseudoplane},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {135--137},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440110},
  doi          = {10.1002/MALQ.19980440110},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Thomas98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Zhong98,
  author       = {Ning Zhong},
  title        = {Derivatives of Computable Functions},
  journal      = {Math. Log. Q.},
  volume       = {44},
  pages        = {304--316},
  year         = {1998},
  url          = {https://doi.org/10.1002/malq.19980440303},
  doi          = {10.1002/MALQ.19980440303},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Zhong98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics