Models and Sets

Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part I

  • Editors
  • Gert H. Müller
  • Michael M. Richter
Part of the Lecture Notes in Mathematics book series (LNM, volume 1103)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Andrew J. Berner, István Juhász
    Pages 53-66
  3. G. L. Cherlin, H. Volger
    Pages 113-146
  4. Janusz Czelakowski
    Pages 147-168
  5. Wilfrid Hodges
    Pages 193-206
  6. Evangelos Kranakis, Iain Phillips
    Pages 235-260
  7. Annalisa Marcja, Carlo Toffalori
    Pages 331-350
  8. Roman Murawski
    Pages 379-388

About these proceedings

Keywords

Boolesche Algebra /Bericht Cantor Finite Modell (Math. Logik) /Bericht Morphism algebra calculus commutative property function geometry model theory ordinal proof

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0099377
  • Copyright Information Springer-Verlag Berlin Heidelberg 1984
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-13900-3
  • Online ISBN 978-3-540-39115-9
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692