Hostname: page-component-586b7cd67f-t7czq Total loading time: 0 Render date: 2024-11-24T00:05:44.148Z Has data issue: false hasContentIssue false
  • English
  • Français

Theories with a finite number of countable models

Published online by Cambridge University Press:  12 March 2014

Robert E. Woodrow
Robert E. Woodrow*
Affiliation:
Simon Fraser University, Burnaby, British Columbia V5A 1S6, Canada
Get access Rights & Permissions [Opens in a new window]

Abstract

We give two examples. T0 has nine countable models and a nonprincipal 1-type which contains infinitely many 2-types. T1, has four models and an inessential extension T2 having infinitely many models.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 43 , Issue 3 , September 1978 , pp. 442 - 455
Copyright
Copyright © Association for Symbolic Logic 1978

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Benda, M., Remarks on countable models, Fundamenta Mathematicae, vol. 80 (1974), pp. 107–119.CrossRefGoogle Scholar
[2]Morley, M. and Vaught, R. L., Homogeneous universal models, Mathematica Scandinavica, vol. 11 (1962), pp. 37–57.CrossRefGoogle Scholar
[3]Peretyiatkin, M. G., On complete theories with a finite number of denumerable models, Algebra i Logika, vol. 12 (1973), pp. 550–576.Google Scholar
[4]Shoenfield, J. R., Mathematical logic, Addison-Wesley, Reading, Massachusetts, 1967.Google Scholar
[5]Vaught, R. L., Denumerable models of complete theories, Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 1959, Pergamon Press, Oxford, London, Paris, 1961, pp. 303–321.Google Scholar
[6]Woodrow, Robert E., A note on countable complete theories having three isomorphism types of countable models, this Journal, vol. 41 (1976), pp. 672–680.Google Scholar