Topological Birkhoff
Manuel Bodirsky, Michael Pinsker

TL;DR
This paper extends Birkhoff's HSP theorem to certain infinite algebras by incorporating topology, showing that for oligomorphic, countable algebras, finite powers suffice to represent homomorphic images, impacting model theory and CSP complexity.
Contribution
It introduces a topological approach to Birkhoff's theorem for infinite algebras, demonstrating finite power representations under oligomorphic conditions.
Findings
Finite powers suffice for certain infinite algebras with topology.
Topological polymorphism clones determine CSP complexity.
Omega-categorical structures are bi-interpretable iff their clones are topologically isomorphic.
Abstract
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 topology on the functions of A and B in addition to the equations that hold between them, one can do with finite powers even for many interesting infinite algebras A. More precisely, we prove that if A and B are at most countable algebras which are oligomorphic, then the mapping which sends each function from A to the corresponding function in B preserves equations and is continuous if and only if…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Advanced Topology and Set Theory · Logic, Reasoning, and Knowledge
