Filter λΔ-Models and Domains
There is an analogy between λΔ-filter models and λΔ-models that are ω-algebraic lattices, which was first noticed in  and further developed in  and . This analogy lies in the fact that type symbols in a λΔ-filter model play the role of names for compact elements in the corresponding ω-algebraic lattice. It is out of the aim of this book to give a complete survey of the λΔ-models based on ω-algebraic lattices. In case where Δ = Λ, there are some textbooks giving a complete development of this topic, e.g. [5, 81, 87]. Here we will just give some basic informations in order to assure readability to those readers who are not expert in this topic, without developing the proofs for standard properties.
KeywordsStep Function Complete Lattice Inverse Limit Filter Model Interpretation Function
Unable to display preview. Download preview PDF.