首页 | 本学科首页   官方微博 | 高级检索  
     


Some modifications of Scott's theorem on injective spaces
Authors:Andrzej W. Jankowski
Affiliation:(1) Institute of Mathematics, University of Warsaw, Poland
Abstract:D. Scott in his paper [5] on the mathematical models for the Church-Curry lambda-calculus proved the following theorem.A topological space X. is an absolute extensor for the category of all topological spaces iff a contraction of X. is a topological space of ldquoScott's open setsrdquo in a continuous lattice.In this paper we prove a generalization of this theorem for the category of langagr, deltarang-closure spaces. The main theorem says that, for some cardinal numbers agr, delta, absolute extensors for the category of langagr, deltarang-closure spaces are exactly langagr, deltarang-closure spaces of langagr, deltarang-filters in langagr, delta>-semidistributive lattices (Theorem 3.5).If agr = ohgr and delta = infin we obtain Scott's Theorem (Corollary 2.1). If agr = 0 and delta = ohgr we obtain a characterization of closure spaces of filters in a complete Heyting lattice (Corollary 3.4). If agr = 0 and delta = infin we obtain a characterization of closure space of all principial filters in a completely distributive complete lattice (Corollary 3.3).
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号