Mathematical Logic Quarterly

Copyright © 2012 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Cover image for Mathematical Logic Quarterly

April 2002

Volume 48, Issue 3

Pages 323–479

    1. Combinatorial Isols and the Arithmetic of Dekker Semirings (pages 323–342)

      Thomas G. McLaughlin

      Article first published online: 1 MAR 2002 | DOI: 10.1002/1521-3870(200204)48:3<323::AID-MALQ323>3.0.CO;2-C

    2. A Modeltheoretic Solution to a Problem of Tarski (pages 343–355)

      Tarek Sayed Ahmed

      Article first published online: 1 MAR 2002 | DOI: 10.1002/1521-3870(200204)48:3<343::AID-MALQ343>3.0.CO;2-4

    3. Non Deterministic Classical Logic: The λμ++ -calculus (pages 357–366)

      Karim Nour

      Article first published online: 1 MAR 2002 | DOI: 10.1002/1521-3870(200204)48:3<357::AID-MALQ357>3.0.CO;2-L

    4. Post's Problem for Reducibilities of Bounded Complexity (pages 367–373)

      Valeriy K. Bulitko

      Article first published online: 1 MAR 2002 | DOI: 10.1002/1521-3870(200204)48:3<367::AID-MALQ367>3.0.CO;2-H

    5. A Note on Conservativity Relations among Bounded Arithmetic Theories (pages 375–377)

      Russell Impagliazzo and Jan Krajíček

      Article first published online: 1 MAR 2002 | DOI: 10.1002/1521-3870(200204)48:3<375::AID-MALQ375>3.0.CO;2-L

    6. Nonstandard Representation Theory of Standard Operators Defined on the Space of Bochner Integrable Functions (pages 379–390)

      Laurent Vanderputten

      Article first published online: 1 MAR 2002 | DOI: 10.1002/1521-3870(200204)48:3<379::AID-MALQ379>3.0.CO;2-5

    7. Every Rooted Narrow Tree Kripke Model of HA is Locally PA (pages 391–395)

      Mohammad Ardeshir and Bardyaa Hesaam

      Article first published online: 1 MAR 2002 | DOI: 10.1002/1521-3870(200204)48:3<391::AID-MALQ391>3.0.CO;2-T

    8. A Remark on Weakly Compact Cardinals (pages 397–402)

      Tapani Hyttinen

      Article first published online: 1 MAR 2002 | DOI: 10.1002/1521-3870(200204)48:3<397::AID-MALQ397>3.0.CO;2-5

    9. On the Additive Group Structure of the Nonstandard Models of the Theory of Integers (pages 403–412)

      Hasan Dalgin, Labib Haddad and Mehmet Terziler

      Article first published online: 1 MAR 2002 | DOI: 10.1002/1521-3870(200204)48:3<403::AID-MALQ403>3.0.CO;2-G

    10. On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory (pages 413–426)

      Yasuo Kanai

      Article first published online: 1 MAR 2002 | DOI: 10.1002/1521-3870(200204)48:3<413::AID-MALQ413>3.0.CO;2-C

    11. Full Models for Positive Modal Logic (pages 427–445)

      Ramon Jansana

      Article first published online: 1 MAR 2002 | DOI: 10.1002/1521-3870(200204)48:3<427::AID-MALQ427>3.0.CO;2-T

    12. Minimizing the Size of Vertexlights in Simple Polygons (pages 447–458)

      Andreas Spillner and Hans-Dietrich Hecker

      Article first published online: 1 MAR 2002 | DOI: 10.1002/1521-3870(200204)48:3<447::AID-MALQ447>3.0.CO;2-L

    13. Monotonically Computable Real Numbers (pages 459–479)

      Robert Rettinger, Xizhong Zheng, Romain Gengler and Burchard von Braunmühl

      Article first published online: 1 MAR 2002 | DOI: 10.1002/1521-3870(200204)48:3<459::AID-MALQ459>3.0.CO;2-9

SEARCH

SEARCH BY CITATION