When is the free product of lattices complete?
نویسندگان
چکیده
منابع مشابه
Product-Free Lambek Calculus Is NP-Complete
In this paper we prove that the derivability problems for productfree Lambek calculus and product-free Lambek calculus allowing empty premises are NP-complete. Also we introduce a new derivability characterization for these calculi.
متن کاملFree Distributive Completions of Partial Complete Lattices
The free distributive completion of a partial complete lattice is the complete lattice that it is freely generated by the partial complete latticèin the most distributive way'. This can be described as being a universal solution in the sense of universal algebra. Free distributive completions generalize the constructions of tensor products and of free completely distributive complete lattices o...
متن کاملWhen is a Graph Product of Groups Virtually-Free?
Those graph products of groups that are virtually-free are characterized.
متن کاملChain Conditions in the Distributive Free Product of Lattices
1. Introduction. A typical result of this paper is the following. Let Lt, i e I be distributive lattices satisfying the countable chain condition. Then the free product L of these lattices also satisfies the countable chain condition. To be able to state the general result we need some notations. Let trt be an infinite cardinal. A poset (partially ordered set) P is said to satisfy the m-chain c...
متن کاملSome results on $L$-complete lattices
The paper deals with special types of $L$-ordered sets, $L$-fuzzy complete lattices, and fuzzy directed complete posets.First, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an $L$-fuzzy complete lattice is obtained, and it's proved that if $f$ is a monotone map on an $L$-fuzzy complete lattice $(P;e)$, then the least fixpoint of $f$ is meet of a spe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1977
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1977-0460199-5