Mathematical Logic Quarterly

Table of Contents

Volume 40 Issue 2 (1994)

fmi-fmi, 143-286



  • Author:
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400201 (p fmi-fmi)


K ‐generic Projective Planes have Morley Rank Two or Infinity

  • Author: John T. Baldwin, Masanori Itai
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400202 (p 143-152)

Cut‐Elimination Theorem for the Logic of Constant Domains

  • Author: Ryo Kashima, Tatsuya Shimura
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400203 (p 153-172)

A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas

  • Author: Christopher J. Ash, Julia F. Knight
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400204 (p 173-181)

Representation Theorems for Quantales

  • Author: Silvio Valentini
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400205 (p 182-190)

The Elementary Classes of Direct and Boolean Products

  • Author: Daniel Gluschankof
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400206 (p 191-203)

Recursiveness of ω‐Operations

  • Author: Victor L. Selivanov
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400207 (p 204-206)

Bounding and Dominating Number of Families of Functions on ω

  • Author: Claude Laflamme
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400208 (p 207-223)

Effective Search Problems

  • Author: Martin Kummer, Frank Stephan
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400209 (p 224-236)

Navigation Without Perception of Coordinates and Distances

  • Author: Armin Hemmerling
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400210 (p 237-260)

A Note on Relative Efficiency of Axiom Systems

  • Author: Sandra Fontani, Franco Montagna, Andrea Sorbi
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400211 (p 261-272)

A Uniform Approach to Fundamental Sequences and Hierarchies

  • Author: Wilfried Buchholz, Adam Cichon, Andreas Weiermann
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400212 (p 273-286)

Related Topics

Related Publications

Related Content

Site Footer


This website is provided by John Wiley & Sons Limited, The Atrium, Southern Gate, Chichester, West Sussex PO19 8SQ (Company No: 00641132, VAT No: 376766987)

Published features on are checked for statistical accuracy by a panel from the European Network for Business and Industrial Statistics (ENBIS)   to whom Wiley and express their gratitude. This panel are: Ron Kenett, David Steinberg, Shirley Coleman, Irena Ograjenšek, Fabrizio Ruggeri, Rainer Göb, Philippe Castagliola, Xavier Tort-Martorell, Bart De Ketelaere, Antonio Pievatolo, Martina Vandebroek, Lance Mitchell, Gilbert Saporta, Helmut Waldl and Stelios Psarakis.