Propaedeutic to chain-complete posets with basis
In this paper, several relations between members of a chain-complete poset (weaker than the relations relatively compact and IN introduced by Scott in his study of bases) are considered, with an eye toward examining whether all the properties of bases can be obtained from weaker axioms. It turns out that for all but one relation (relatively chain compact) one gets a weaker notion of bases than using relatively compact or IN. For relatively chain compact we conjecture that one gets a weaker notion of basis. However, we show that in the presence of bounded joins the existence of a basis derived from the relation of relatively chain compact implies the existence of a Scott basis if the cardinality of the chain-complete poset is less than the ω-th infinite cardinal. If one accepts the Continuum Hypothesis this means that the weaker relation is adequate in many posets likely to be of interest to computer science. Finally, even in the presence of the "weaker" type of basis in a complete lattice, the meet operation is continuous.
KeywordsLocal Basis Complete Lattice Continuum Hypothesis Continuous Lattice Weak Notion
Unable to display preview. Download preview PDF.
- [A]Astesiano, E., "Bases for Scott-continuous Posets," Universita di Genova, Pubblicazioni dell' Instituto di Matematica No. (181) 1976.Google Scholar
- [M2]Markowsky, G., "A Motivation and Generalization of Scott's Notion of a Continuous Lattice," These Proceedings.Google Scholar
- [R1]Reynolds, J. "Notes on a Lattice-theoretic Approach to the Theory of Computation," Lecture Notes, Syracuse U., October, 1972.Google Scholar
- [R2]Reynolds J., "On the Interpretation of Scott Domains" Symp. Math. 15 (1975) 123–135.Google Scholar
- [S1]Scott, D., "Outline of a Mathematical Theory of Computation," Proc. 4th Ann. Princeton Conf. on Inform. Sci. and Systems, 1970, 169–176.Google Scholar
- [V]Vuillemin, J., Syntaxe, Semantique, et Axiomatique d'un Language de Programmation Simple, These d'etat, University of Paris, Sept. 1974.Google Scholar