Forcing extensions of partial lattices

Journal of Algebra

Volumn 262, Issue 1, 2003, Pages 127-193

  Wehrung, Friedrich ^a  

^a UNIVERSITÉ DE CAEN   (France)

Author keywords

Affine filter function; Affine ideal function; Amalgamation; Boolean valued; Congruence; Filter; Ideal; Partial lattice; Sample

Indexed keywords

EID: 0038029875     PISSN: 00218693     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0021-8693(03)00015-2     Document Type: Article

References (27)

1. S. Burris, H.P. Sankappanavar, A Course in Universal Algebra, The millennium edition, 1999, online manuscript available at http://www.thoralf.uwaterloo.ca. Previously published as: Grad. Texts in Math., Vol. 78, Springer-Verlag, New York, 1981. Out of print.
2. R.A. Dean, Free lattices generated by partially ordered sets and preserving bounds, Canad. J. Math. 16 (1964) 136-148.
3. R. Freese, J. Ježek, J.B. Nation, Free Lattices, in: Math. Surveys Monogr., Vol. 42, Amer. Math. Soc., 1995.
4. R. Freese, W. Lampe, W. Taylor, Congruence lattices of algebras of fixed similarity type, I, Pacific J. Math. 82 (1980) 59-68.
5. G. Grätzer, General Lattice Theory, second edition, New appendices by the author with B.A. Davey, R. Freese, B. Ganter, M. Greferath, P. Jipsen, H.A. Priestley, H. Rose, E.T. Schmidt, S.E. Schmidt, F. Wehrung, R. Wille, Birkhäuser, Basel, 1998.
6. G. Grätzer, H. Lakser, E.T. Schmidt, Congruence representations of join-homomorphisms of distributive lattices: a short proof, Math. Slovaca 46 (4) (1996) 363-369.
7. G. Grätzer, H. Lakser, E.T. Schmidt, Representing isotone maps as maps of congruences. II. Concrete maps, Acta Math. Hungar. 94 (4) (2001) 253-258.
8. G. Grätzer, H. Lakser, F. Wehrung, Congruence amalgamation of lattices, Acta Sci. Math. (Szeged) 66 (2000) 339-358.
9. G. Grätzer, E.T. Schmidt, Characterizations of congruence lattices of abstract algebras, Acta Sci. Math. (Szeged) 24 (1963) 34-59.
10. G. Grätzer, E.T. Schmidt, Congruence-preserving extensions of finite lattices to sectionally complemented lattices, Proc. Amer. Math. Soc. 127 (1999) 1903-1915.
11. G. Grätzer, E.T. Schmidt, Congruence Lattices, Appendix C in [5], pp. 519-530.
12. G. Grätzer, F. Wehrung, Proper congruence-preserving extensions of lattices, Acta Math. Hungar. 85 (1999) 169-179.
13. A.P. Huhn, On the representation of algebraic distributive lattices II, Acta Sci. Math. (Szeged) 53 (1989) 3-10.
14. A.P. Huhn, On the representation of algebraic distributive lattices III, Acta Sci. Math. (Szeged) 53 (1989) 11-18.
15. T. Jech, Set Theory, Academic Press, New York, 1978.
16. T. Jech, Boolean-valued models, in: J.D. Monk (Ed.), in: Handbook of Boolean algebras, Vol. 3, North-Holland, 1989, pp. 1197-1211.
17. M. Ploščica, J. Tůma, F. Wehrung, Congruence lattices of free lattices in non-distributive varieties, Colloq. Math. 76 (2) (1998) 269-278.
18. P. Pudlák, A new proof of the congruence lattice representation theorem, Algebra Universalis 6 (1976) 269-275.
19. P. Pudlák, On congruence lattices of lattices, Algebra Universalis 20 (1985) 96-114.
20. E.T. Schmidt, Zur Charakterisierung der Kongruenzverbände der Verbände, Mat. Časopis Sloven. Akad. Vied. 18 (1968) 3-20.
21. E.T. Schmidt, The ideal lattice of a distributive lattice with 0 is the congruence lattice of a lattice, Acta Sci. Math. (Szeged) 43 (1981) 153-168.
22. E.T. Schmidt, A Survey on Congruence Lattice Representations, in: Teubner-Texte Math., Band 42, Teubner, Leipzig, 1982.
23. J. Tůma, On the existence of simultaneous representations, Acta Sci. Math. (Szeged) 64 (1998) 357-371.
24. J. Tůma, F. Wehrung, Simultaneous representations of semilattices by lattices with permutable congruences, Internat. J. Algebra Comput. 11 (2) (2001) 217-246.
25. J. Tůma, F. Wehrung, Unsolvable one-dimensional lifting problems for congruence lattices of lattices, Forum Math. 14 (2002) 483-493.
26. F. Wehrung, Boolean universes above Boolean models, J. Symbolic Logic 58 (4) (1993) 1219-1250.
27. F. Wehrung, The dimension monoid of a lattice, Algebra Universalis 40 (1998) 247-411.