Skip to main content
Log in

Topologies of pointwise convergence in the first order languages and in affine spaces

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

The Galois correspondence \({{\mathbf {G}}}\) between sets of logical formulas of the first order language \(\mathbf{L}\) over a signature L and type definable sets over an \(\mathbf{L}\)-structure A on the set \({{\mathbf {A}}}\) is extensively studied in the literature. The Stone topology is successfully applied in model theory. We investigate basic properties of the pointwise convergence topologies in languages \(\mathbf{L_n}(A)\), that consist of first order formulas with n free variables, and in affine spaces \({{\mathbf {A}}}^n\) over A, and compare these topologies with Stone topology and Zariski topology. In particular, we show, that Zariski topology is strongly weaker than the pointwise convergence topology and the pointwise convergence topology coincides with the Stone topology on a subset U of the first order language \(\mathbf{L}(A)\) if and only if U is finite modulo logic equivalence of formulas.

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

Access this article

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. Bodor, B., Cameron, P.J., Szabó, C.: Infinitely many reducts of homogeneous structures. Algebra Univers. 79(2), 10 (2018). (Art. 43)

    Article  MathSciNet  Google Scholar 

  2. Cameron, P.J.: Metric and topological aspects of the symmetric group of countable degree. Eur. J. Comb. 17(2–3), 135–142 (1996)

    Article  MathSciNet  Google Scholar 

  3. Hodges, W.: Model Theory. Encyclopedia of Mathematics and Its Applications, vol. 42. Cambridge University Press, Cambridge (1993)

    Google Scholar 

  4. Mashevitzky, G., Plotkin, B., Plotkin, E.: Action of endomorphism semigroups on definable sets. Int. J. Algebra Comput. 28(8), 1585–1612 (2018)

    Article  MathSciNet  Google Scholar 

  5. Plotkin, B.: Algebraic logic and logical geometry. Two in one. Vestnik St. Petersb. Univ. Math. 46(1), 35–42 (2013)

    Article  MathSciNet  Google Scholar 

  6. Plotkin, B.: Algebraic geometry in first order logic. Sovrem. Mat. Appl. 22, 16–62 (2004)

    Google Scholar 

  7. Plotkin, B.: Algebraic geometry in first order logic. J. Math. Sci. 137(5), 5049–5097 (2006)

    Article  MathSciNet  Google Scholar 

  8. Plotkin, B.: Algebraic logic and logical geometry in arbitrary varieties of algebras. In: Proceedings of the Conf. on Group Theory, Combinatorics and Computing, AMS Contemporary Math. Series, pp. 151–169 (2014)

Download references

Acknowledgements

The author is grateful to Arkady Leiderman and to anonymous referee for valuable advices.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to G. Mashevitzky.

Additional information

Communicated by Presented by M. Jackson.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This article is part of the topical collection “In memory of Patrick Dehornoy” edited by V. Lebed.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Mashevitzky, G. Topologies of pointwise convergence in the first order languages and in affine spaces. Algebra Univers. 82, 49 (2021). https://doi.org/10.1007/s00012-021-00737-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00012-021-00737-2

Keywords

Mathematics Subject Classification

Navigation