Decidable Theories II

The Monadic Second Order Theory of All Countable Ordinals

  • Authors
  • J. Richard Büchi
  • Dirk Siefkes
  • Editors
  • G. H. Müller
  • D. Siefkes

Part of the Lecture Notes in Mathematics book series (LNM, volume 328)

Table of contents

  1. Front Matter
    Pages I-VI
  2. J. Richard Büchi
    Pages 1-127
  3. J. Richard Büchi, Dirk Siefkes
    Pages 129-217
  4. Back Matter
    Pages 119-120

About this book

Keywords

Büchis Entscheidungsverfahren Ordinals order theory ordinal

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0082720
  • Copyright Information Springer-Verlag Berlin Heidelberg 1973
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-06345-2
  • Online ISBN 978-3-540-46946-9
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book
Industry Sectors
Telecommunications
Oil, Gas & Geosciences