Topological Birkhoff

@article{Bodirsky2012TopologicalB,
  title={Topological Birkhoff},
  author={Manuel Bodirsky and Michael Pinsker},
  journal={CoRR},
  year={2012},
  volume={abs/1203.1876}
}
One of the most fundamental mathematical contributions of Garrett Birkhoff is the HSP theorem, which implies that a finite algebra B satisfies all equations that hold in a finite algebra A of the same signature if and only if B is a homomorphic image of a subalgebra of a finite power of A. On the other hand, if A is infinite, then in general one needs to take an infinite power in order to obtain a representation of B in terms of A, even if B is finite. We show that by considering the natural… CONTINUE READING
5 Citations
20 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 20 references

א 0categorical structures : interpretations and endomorphisms

  • Manuel Bodirsky, Markus Junker
  • Algebra Universalis
  • 2011

A survey of clones on infinite sets

  • Martin Goldstern, Michael Pinsker, Saharon Shelah
  • Algebra Universalis
  • 2008

Cameron and Jaroslav Nešetřil . Homomorphismhomogeneous relational structures

  • J. Peter
  • Probability and Computing
  • 2006

Jeavons . Classifying the complexity of constraints using finite algebras

  • Andrei Bulatov, Andrei Krokhin, G. Peter
  • SIAM Journal on Computing
  • 2005

Extending partial isomorphisms for the small index property of many ωcategorical structures

  • Wilfried Hodges, Ian Hodkinson
  • Israel Journal of Mathematics
  • 1998

Similar Papers

Loading similar papers…