The monadic second order theory of all countable ordinals

Author(s)

• Büchi, J. Richard
• Siefkes, Dirk

Bibliographic Information

The monadic second order theory of all countable ordinals

J. Richard Büchi, Dirk Siefkes

（Lecture notes in mathematics, 328）（Decidable theories, 2）

Springer, 1973

• : Germany
• : U.S.

Note

Includes bibliographies

Contents of Works

• The monadic second order theory of ω[1] / J. Richard Büchi
• Axiomatization of the monadic second order theory of ω[1] / J. Richard Büchi, Dirk Siefkes

Description and Table of Contents

Table of Contents

The monadic second order theory of ?1.- Axiomatization of the monadic second order theory of ?1.

by "Nielsen BookData"

• NCID: BA06659481
• ISBN:
  • 3540063455
  • 0387063455
• LCCN: 73082358
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: vi, 217 p.
• Size: 26 cm
• Classification:
  • LCC : QA3
  • LCC : QA9.65
  • DC : 510/.8 s
  • DC : 511/.3
• Subject Headings:
  • LCSH : Gödel's theorem
  • LCSH : Model theory
• Parent Bibliography ID:
  • BA00146586
  • BA06659608