Skip to main content
SpringerLink
Log in

The Chang-Łoś-Suszko theorem in a topological setting

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract.

The Chang-Łoś-Suszko theorem of first-order model theory characterizes universal-existential classes of models as just those elementary classes that are closed under unions of chains. This theorem can then be used to equate two model-theoretic closure conditions for elementary classes; namely unions of chains and existential substructures. In the present paper we prove a topological analogue and indicate some applications.

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

Similar content being viewed by others

References

  1. Bankston, P.: Reduced coproducts of compact Hausdorff spaces. J. Symbolic Logic 52, 404–424 (1987)

    MATH  MathSciNet  Google Scholar 

  2. Bankston, P.: Model-theoretic characterizations of arcs and simple closed curves. Proc. A. M. S. 104, 898–904 (1988)

    MATH  MathSciNet  Google Scholar 

  3. Bankston, P.: Taxonomies of model-theoretically defined topological properties. J. Symbolic Logic 55, 589–603 (1990)

    MATH  MathSciNet  Google Scholar 

  4. Bankston, P.: A hierarchy of maps between compacta. J. Symbolic Logic 64, 1628–1644 (1999)

    MATH  MathSciNet  Google Scholar 

  5. Bankston, P.: Some applications of the ultrapower theorem to the theory of compacta. Appl. Categorical Struct. 8, 45–66 (2000)

    MATH  MathSciNet  Google Scholar 

  6. Bankston, P.: Continua and the co-elementary hierarchy of maps. Topol. Proc. 25, 45–62 (2000)

    MATH  MathSciNet  Google Scholar 

  7. Bellamy, D.: Continuous mappings between continua. Topology Conference, Greensboro, N. C., 1979, Guilford College, Greensboro, NC, 1980, pp. 101–111

  8. Chang, C.C., Keisler, H.J.: Model Theory. Third ed., North Holland, Amsterdam, 1990

  9. Engelking, R.: Outline of General Topology. North Holland, Amsterdam, 1968

  10. Gurevič, R.: On ultracoproducts of compact Hausdorff spaces. J. Symbolic Logic 53, 294–300 (1988)

    MathSciNet  Google Scholar 

  11. Hart, K.P.: The Čech-Stone compactification of the Real line. In: Recent Progress in General Topology, M. Hušek, J. van Mill, (eds.), Elsevier Science Publishers, 1992, pp. 318–351

  12. Hart, K.P., van Mill, J., Pol, R.: Remarks on hereditarily indecomposable continua. Topol. Proc. 25, 179–206 (2000)

    MATH  MathSciNet  Google Scholar 

  13. Hocking, J.G., Young, G.S.: Topology. Addison-Wesley, Reading, MA, 1961

  14. Mioduszewski, J.: On composants of βR-R. In: Topology and Measure I, Part 2 (Zinnowitz, 1974), J. Flachsmeyer, Z. Frolík, F. Terpe, (eds.), Ernst-Moritz-Arndt-Universität zu Greifswald, pp. 257–283

  15. Nadler, S.B.: Multicoherence techniques applied to inverse limits. Trans. A. M. S. 157, 227–234 (1971)

    MATH  MathSciNet  Google Scholar 

  16. Nadler, S.B.: Continuum Theory, An Introduction. Marcel Dekker, New York, 1992

  17. Nagami, K.: Dimension Theory. Academic Press, New York, 1970

  18. Simmons, H.: Existentially closed structures. J. Symbolic Logic 37, 293–310 (1972)

    MATH  MathSciNet  Google Scholar 

  19. Smith, M.: β (X-{x}) for X not locally connected. Topol. Appl. 26, 239–250 (1987)

    MATH  Google Scholar 

  20. Smith, M.: Layers of components of β([0,1]× N) are indecomposable. Proc. A.M.S. 114, 1151–1156 (1992)

    MATH  Google Scholar 

  21. Zhu, J.-P.: On indecomposable subcontinua of β[0,∞) - [0,∞). In: Proceedings of General Topology and Geometric Topology Symposium (Tsukuba, 1990), 45 Topology Appl., 1992, pp. 261–274

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Statistics and Computer Science, Marquette University, Milwaukee, WI, 53201-1881, USA

    Paul Bankston

Authors
  1. Paul Bankston
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Paul Bankston.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bankston, P. The Chang-Łoś-Suszko theorem in a topological setting. Arch. Math. Logic 45, 97–112 (2006). https://doi.org/10.1007/s00153-004-0238-y

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-004-0238-y

Key words or phrases:

Mathematics Subject Classification (2000)

Search

Navigation