Results 11 to 20 of about 224 (217)
Complete Congruence Lattices of Complete Distributive Lattices
The authors deal with the question of whether every complete lattice \(L\) is isomorphic to the lattice of complete congruence relations of a suitable complete lattice \(K\). They prove that \(K\) can always be chosen as a complete distributive lattice. In fact, they prove a more general result: Let \(m\) be a regular cardinal \(>\aleph_ 0\). Every \(m\
Gratzer, G., Schmidt, E.T.
openaire +2 more sources
Categories of chain-complete posets [PDF]
We investigate the existence of various limits and colimits in three categories: CPI (chain-complete posets and isotone maps); CPC (chain-complete posets and chain-continuous maps); CPC∗ (chain-complete posets and chain-∗continuous maps).
George Markowsky, Markowsky, George
core +1 more source
Unbounded order convergence and the Gordon theorem# [PDF]
The celebrated Gordon's theorem is a natural tool for dealing with universal completions of Archimedean vector lattices. Gordon's theorem allows us to clarify some recent results on unbounded order convergence. Applying the Gordon theorem, we demonstrate
Kutateladze, S.S., Gorokhova, S.G.
core +3 more sources
Polarity in a Completely Distributive Complete Lattice [PDF]
We introduce p p -bases in completely distributive complete polarity lattices and give a procedure for generating these ...
openaire +1 more source
Canonical Extensions and Profinite Completions of Semilattices and Lattices [PDF]
Canonical extensions of (bounded) lattices have been extensively studied, and the basic existence and uniqueness theorems for these have been extended to general posets.
Gouveia, MJ +2 more
core +1 more source
FUZZY CONNECTIONS AND COMPLETENESS IN COMPLETE RESIDUATED LATTICES [PDF]
Summary: In this paper, we investigate the properties of fuzzy Galois (dual Galois, residuated, dual residuated) connections in a complete residuated lattice \(L\).
Kim, Yong Chan, Kim, Young Sun
openaire +2 more sources
Elliptic curves over Galois number fields [PDF]
This thesis is concerned with the statistical behaviour of elliptic curves over extension fields. That is, if K/Q is a finite extension, we study the arithmetic of E/K as E ranges in natural families of elliptic curves defined over Q.
Paterson, Ross Jarratt
core +1 more source
Completions of mu-algebras [PDF]
36 pages, extended abstract appears in LICS 2005 proceedingsInternational audienceA $\mu$-algebra is a model of a first order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms $(f,\mu_{x}.f)$ where $\mu_{x}.f ...
Santocanale, Luigi
core +1 more source
A relational semantics for the logic of bounded lattices [PDF]
summary:This paper aims to propose a complete relational semantics for the so-called logic of bounded lattices, and prove a completeness theorem with regard to a class of two-sorted frames that is dually equivalent (categorically) to the variety of ...
González, Luciano J.
core +1 more source
“Complete-simple” distributive lattices [PDF]
It is well known that the only simple distributive lattice is the two-element chain. We can generalize the concept of a simple lattice to complete lattices as follows: a complete lattice is complete-simple if it has only the two trivial complete congruences.
Grätzer, G., Schmidt, E. T.
openaire +1 more source

