Mathematical Logic Quarterly

Table of Contents

Volume 40 Issue 4 (1994)

fmi-fmi, 431-570

Masthead

Masthead

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

Articles

Cyclic Elements in MV‐Algebras and Post Algebras

  • Author: Antoni Torrens
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400402 (p 431-444)

Hilbert's 17th Problem for Real Closed Rings

  • Author: Larry Mathews
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400403 (p 445-454)

Ternary Operations as Primitive Notions for Constructive Plane Geometry V

  • Author: Victor Pambuccian
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400404 (p 455-477)

A New Proof that “Krull implies Zorn”

  • Author: Bernhard Banaschewski
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400405 (p 478-480)

The Hauptsatz for Stratified Comprehension: A Semantic Proof

  • Author: Marcel Crabbé
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400406 (p 481-489)

Recursively Enumerable Equivalence Relations Modulo Finite Differences

  • Author: André Nies
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400407 (p 490-518)

Absolute Continuity and the Uniqueness of the Constructive Functional Calculus

  • Author: Douglas Bridges, Hajime Ishihara
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400408 (p 519-527)

A Note on Boolos' Proof of the Incompleteness Theorem

  • Author: Makoto Kikuchi
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400409 (p 528-532)

The Axiom of Choice in Second‐Order Predicate Logic

  • Author: Christine Gaßner
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400410 (p 533-546)

Omega‐ and Beta‐Models of Alternative Set Theory

  • Author: Athanassios Tzouvaras
  • Pub Online: Nov 13, 2006
  • DOI: 10.1002/malq.19940400411 (p 547-569)

Errata

Errata

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

Related Topics

Related Publications

Related Content

Site Footer

Address:

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 StatisticsViews.com are checked for statistical accuracy by a panel from the European Network for Business and Industrial Statistics (ENBIS)   to whom Wiley and StatisticsViews.com 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.