Skip to main content
SpringerLink
Log in

On the elementary theory of inductive order

  • Published:
Archiv für mathematische Logik und Grundlagenforschung Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Buchi, J.R., Siefkes, D.: The complete extensions of the monadic second order theory of countable ordinals (unpublished) (1973).

  2. Chang, C.C., Keisler, H.J.: Model theory. North-Holland, 1974.

  3. Doner, J.: Definability in the extended arithmetic of ordinal numbers. Dissertationes Mathematicae46, 1–54 (1972).

    Google Scholar 

  4. Ehrenfeucht, A.: An application of games to the completeness problem for formalised theories. Fundamenta Mathematica49, 129–141 (1961).

    Google Scholar 

  5. Flum, J.: First order logic and its extensions, in Logic Conference, Kiel 1974. Springer 1975.

  6. Fraissé, R.: Sur quelques classifications des systèmes de rélations. Publ. Sci. Univ. Alger. Sér. A1, 35–182 (1954).

    Google Scholar 

  7. Hauschild, K.: Equivalence of models in respect to special classes of sentences. Bull. l'Acad. Polon. Sci.17, 609–610 (1969).

    Google Scholar 

  8. Mostowski, A., Tarski, A.: Arithmetical classes and types of well-ordered systems. Bull. A.M.S.55, 65 (1949); Erratum, ibid. 1192.

    Google Scholar 

  9. Myers, D.: The Boolean algebras of abelian groups and well orders. J. Symb. Logic39, 452–458 (1974).

    Google Scholar 

  10. Rosenthal, J.W.: Models ofTh(〈ωω, <〉). Notre Dame J. Formal Logic15, 122–132 (1974).

    Google Scholar 

  11. Slomson, A.: Generalised quantifiers and well-orderings. Archiv f. math. Logik u. Grundlagenforschung15, 57–73 (1972).

    Google Scholar 

  12. Wachs, E.A.: On models of well-orderings. Ph.D. thesis, Monash University, 1976.

Download references

Author information

Authors and Affiliations

  1. Dpt. of Mathematics, Monash University, 3168, Clayton, Victoria, Australia

    E. A. Sonenberg

Authors
  1. E. A. Sonenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work forms part of the author's Ph.D. thesis [12]. Most of the work was carried out while I was the holder of a Postgraduate Research Award and I am grateful for that financial support.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sonenberg, E.A. On the elementary theory of inductive order. Arch math Logik 19, 13–22 (1978). https://doi.org/10.1007/BF02011864

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02011864

Keywords

Search

Navigation