Mathematical Logic Quarterly

Cover image for Mathematical Logic Quarterly

1989

Volume 35, Issue 5

Pages fmi–fmi, 385–480

  1. Masthead

    1. Top of page
    2. Masthead
    3. Articles
    1. Masthead (page fmi)

      Article first published online: 13 NOV 2006 | DOI: 10.1002/malq.19890350501

  2. Articles

    1. Top of page
    2. Masthead
    3. Articles
    1. A Consistent Higher-Order Theory Without a (Higher-Order) Model (pages 385–386)

      Thomas Forster

      Article first published online: 13 NOV 2006 | DOI: 10.1002/malq.19890350502

    2. A Note on Stahl's Opposite System (pages 387–390)

      Takao Inoué

      Article first published online: 13 NOV 2006 | DOI: 10.1002/malq.19890350503

    3. On the End Extension Problem For Δ0-PA(S) (pages 391–397)

      Henryk Kotlarski

      Article first published online: 13 NOV 2006 | DOI: 10.1002/malq.19890350504

    4. On the Mathematical Content of the Theory of Classes KM (pages 399–412)

      Ramón Jansana

      Article first published online: 13 NOV 2006 | DOI: 10.1002/malq.19890350505

    5. On a Subtheory of the Bernays-Gödel Set Theory (pages 413–414)

      Jannis Manakos

      Article first published online: 13 NOV 2006 | DOI: 10.1002/malq.19890350506

    6. On Splitting of a Recursive Set with Polynomial Time Minimal Pairs (pages 423–432)

      Chen Zhixiang

      Article first published online: 13 NOV 2006 | DOI: 10.1002/malq.19890350508

    7. A General Constructive Intermediate Value Theorem (pages 433–435)

      Douglas S. Bridges

      Article first published online: 13 NOV 2006 | DOI: 10.1002/malq.19890350509

    8. Recursive Solvability of Problems with Matrices (pages 437–442)

      Melven Krom and Myren Krom

      Article first published online: 13 NOV 2006 | DOI: 10.1002/malq.19890350510

    9. Parameter-Free Universal Induction (pages 443–456)

      Richard Kaye

      Article first published online: 13 NOV 2006 | DOI: 10.1002/malq.19890350511

    10. On Absoluteness (pages 469–480)

      Karol Habart

      Article first published online: 13 NOV 2006 | DOI: 10.1002/malq.19890350513

SEARCH

SEARCH BY CITATION