Hostname: page-component-78c5997874-g7gxr Total loading time: 0 Render date: 2024-11-10T07:59:02.408Z Has data issue: false hasContentIssue false
  • English
  • Français

An application of invariant sets to global definability1

Published online by Cambridge University Press:  12 March 2014

Douglas E. Miller
Get access Rights & Permissions [Opens in a new window]

Abstract

Vaught's “*-transform method” is applied to derive a global definability theorem of M. Makkai from a classical theorem of Lusin.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 44 , Issue 1 , March 1979 , pp. 9 - 14
Copyright
Copyright © Association for Symbolic Logic 1979

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.)

Footnotes

1

Research partially supported by NSF grant MCS74–08550.

References

REFERENCES

[1]Addison, J. W., The theory of hierarchies, Proceedings of the 1960 Congress on Logic, Methodology and Philosophy of Science, Palo Alto, Stanford University Press, California, 1962, pp. 26–37.Google Scholar
[2]Barwise, J., Admissible sets and structures, Springer, Berlin, 1975.CrossRefGoogle Scholar
[3]Chang, C. C. and Keisler, H. J., Model theory, North-Holland, Amsterdam, 1973.Google Scholar
[4]Harnik, V. and Makkai, M., Applications of Vaught sentences and the covering theorem, this Journal, vol. 41 (1976), pp. 171–188.Google Scholar
[5]Keisler, H. J., Finite approximations to infinitely long formulas, Theory of models, North-Holland, Amsterdam, 1965, pp. 158–169.Google Scholar
[6]Kuratowski, K., Topology, Part I, Academic Press, New York, 1966.Google Scholar
[7]Lusin, N., Leçons sur les ensembles analytiques et leurs applications, Gauthier-Villars, Paris, 1930.Google Scholar
[8]Makkai, M., Global definability theory in , Bulletin of the American Mathematical Society, vol. 79 (1973), pp. 916–921.CrossRefGoogle Scholar
[9]Miller, D. E., The invariant Πα0 separation principle, Transactions of the American Mathematical Society, vol. 242 (1978), pp. 185–205.Google Scholar
[10]Vaught, R. L., Invariant sets in topology and logic, Fundamenta Mathematicae, vol. 82 (1974), pp. 269–294.CrossRefGoogle Scholar