Abstract
The Grätzer-Schmidt theorem of lattice theory states that each algebraic lattice is isomorphic to the congruence lattice of an algebra. A lattice is algebraic if it is complete and generated by its compact elements. We show that the set of indices of computable lattices that are complete is \(\Pi^1_1\)-complete; the set of indices of computable lattices that are algebraic is \(\Pi^1_1\)-complete; and that there is a computable lattice L such that the set of compact elements of L is \(\Pi^1_1\)-complete. As a corollary, there is a computable algebraic lattice that is not computably isomorphic to any computable congruence lattice.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gratzer, G.: General lattice theory. In: Davey, B.A., Freese, R., Ganter, B., Greferath, M., Jipsen, P., Priestley, H.A., Rose, H., Schmidt, E.T., Schmidt, S.E., Wehrung, F., Wille, R. (eds.), 2nd edn., Birkhauser Verlag, Basel (2003); MR 2451139
Gratzer, G., Schmidt, E.T.: Characterizations of congruence lattices of abstrac algebras. Acta Sci. Math (Szeged) 24, 34–59 (1963); MR 0151406 (27 #1391)
Odifreddi, P.: Classical recursion theory. Studies in Logic and the Foundations of Mathematics, vol. 125. North-Holland Publishing Co., Amsterdam (1989); The theory of functions and sets of natural numbers; With a foreword by G. E. Sacks. MR 982269 (90d:03072)
Pudlak, P.: A new proof of the congruence lattice representation theorem. Algebra Universalis 6(3), 269–275 (1976); MR 0429699 (55#2710)
Sacks, G.E.: Higher recursion theory, Perspectives in Mathematical Logic. Springer, Berlin (1990); MR 1080970 (92a:03062)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brodhead, P., Kjos-Hanssen, B. (2009). The Strength of the Grätzer-Schmidt Theorem. In: Ambos-Spies, K., Löwe, B., Merkle, W. (eds) Mathematical Theory and Computational Practice. CiE 2009. Lecture Notes in Computer Science, vol 5635. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03073-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-03073-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03072-7
Online ISBN: 978-3-642-03073-4
eBook Packages: Computer ScienceComputer Science (R0)