Effective topological spaces I: a definability theory
نویسندگان
چکیده
منابع مشابه
Hybrid Definability in Topological Spaces
We present some results concerning definability of classes of topological spaces in hybrid languages. We use language Lt described in [9] to establish notion of “elementarity” for classes of topological spaces. We use it to prove the analogue of Goldblatt-Thomason theorem in topological spaces for hybrid languages H(E) and H(@). We also prove a theorem that allows to reformulate definability re...
متن کاملSome Results on Modal Axiomatization and Definability for Topological Spaces
We consider two topological interpretations of the modal diamond—as the closure operator (C-semantics) and as the derived set operator (d-semantics). We call the logics arising from these interpretations C-logics and d-logics, respectively. We axiomatize a number of subclasses of the class of nodec spaces with respect to both semantics, and characterize exactly which of these classes are modall...
متن کاملI-Sequential Topological Spaces∗
In this paper a new notion of topological spaces namely, I-sequential topological spaces is introduced and investigated. This new space is a strictly weaker notion than the first countable space. Also I-sequential topological space is a quotient of a metric space.
متن کاملLOCAL BASES WITH STRATIFIED STRUCTURE IN $I$-TOPOLOGICAL VECTOR SPACES
In this paper, the concept of {sl local base with stratifiedstructure} in $I$-topological vector spaces is introduced. Weprove that every $I$-topological vector space has a balanced localbase with stratified structure. Furthermore, a newcharacterization of $I$-topological vector spaces by means of thelocal base with stratified structure is given.
متن کاملON LOCAL BOUNDEDNESS OF I-TOPOLOGICAL VECTOR SPACES
The notion of generalized locally bounded $I$-topological vectorspaces is introduced. Some of their important properties arestudied. The relationship between this kind of spaces and thelocally bounded $I$-topological vector spaces introduced by Wu andFang [Boundedness and locally bounded fuzzy topological vectorspaces, Fuzzy Math. 5 (4) (1985) 87$-$94] is discussed. Moreover, wealso use the fam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1985
ISSN: 0168-0072
DOI: 10.1016/0168-0072(85)90033-8