Degrees of recursively enumerable topological spaces

1983 ◽  
Vol 48 (3) ◽  
pp. 610-622 ◽  
Author(s):  
Iraj Kalantari ◽  
J. B. Remmel
Keyword(s):  
Topological Space ◽  
Open Subset ◽  
The Body ◽  
Topological Spaces ◽  
Open Set ◽  
Recursively Enumerable ◽  
Closed Fields ◽  
Algebraically Closed Fields ◽  
Nowhere Dense Set ◽  
Dense Set

In [5], Metakides and Nerode introduced the study of recursively enumerable (r.e.) substructures of a recursively presented structure. The main line of study presented in [5] is to examine the effective content of certain algebraic structures. In [6], Metakides and Nerode studied the lattice of r.e. subspaces of a recursively presented vector space. This lattice was later studied by Kalantari, Remmel, Retzlaff and Shore. Similar studies have been done by Metakides and Nerode [7] for algebraically closed fields, by Remmel [10] for Boolean algebras and by Metakides and Remmel [8] and [9] for orderings. Kalantari and Retzlaff [4] introduced and studied the lattice of r.e. subsets of a recursively presented topological space. Kalantari and Retzlaff consideredX, a topological space with ⊿, a countable basis. This basis is coded into integers and with the help of this coding, r.e. subsets ofωgive rise to r.e. subsets ofX. The notion of “recursiveness” of a topological space is the natural next step which gives rise to the question of what should be the “degree” of an r.e. open subset ofX? It turns out that any r.e. open set partitions ⊿; into four sets whose Turing degrees become central in answering the question raised above.In this paper we show that the degrees of the elements of the partition of ⊿ imposed by an r.e. open set can be “controlled independently” in a sense to be made precise in the body of the paper. In [4], Kalantari and Retzlaff showed that givenAany r.e. set andany r.e. open subset ofX, there exists an r.e. open set ℋ which is a subset ofand is dense in(in a topological sense) and in whichAis coded. This shows that modulo a nowhere dense set, an r.e. open set can become as complicated as desired. After giving the general technical and notational machinery in §1, and giving the particulars of our needs in §2, in §3 we prove that the set ℋ described above could be made to be precisely of degree ofA. We then go on and establish various results (both existential and universal) on the mentioned partitioning of ⊿. One of the surprising results is that there are r.e. open sets such that every element of partitioning of ⊿ is of a different degree. Since the exact wording of the results uses the technical definitions of these partitioning elements, we do not summarize the results here and ask the reader to examine §3 after browsing through §§1 and 2.

ON THE SPECTRALIFICATION OF A HEMISPECTRAL SPACE

2011 ◽  
Vol 10 (04) ◽  
pp. 687-699
Author(s):  
OTHMAN ECHI ◽  
MOHAMED OUELD ABDALLAHI
Keyword(s):  
Topological Space ◽  
Open Subset ◽  
Full Subcategory ◽  
Topological Spaces ◽  
Open Problems ◽  
Complete Answer ◽  
Reflective Subcategory ◽  
Continuous Map ◽  
Open Set ◽  
Spectral Spaces

An open subset U of a topological space X is called intersection compact open, or ICO, if for every compact open set Q of X, U ∩ Q is compact. A continuous map f of topological spaces will be called spectral if f-1 carries ICO sets to ICO sets. Call a topological space Xhemispectral, if the intersection of two ICO sets of X is an ICO. Let HSPEC be the category whose objects are hemispectral spaces and arrows spectral maps. Let SPEC be the full subcategory of HSPEC whose objects are spectral spaces. The main result of this paper proves that SPEC is a reflective subcategory of HSPEC. This gives a complete answer to Problem BST1 of "O. Echi, H. Marzougui and E. Salhi, Problems from the Bizerte–Sfax–Tunis seminar, in Open Problems in Topology II, ed. E. Pearl (Elsevier, 2007), pp. 669–674."

scholarly journals Adelic descent theory

2017 ◽  
Vol 153 (8) ◽  
pp. 1706-1746
Author(s):  
Michael Groechenig
Keyword(s):  
Vector Bundles ◽  
Continuous Functions ◽  
Topological Spaces ◽  
Reductive Algebraic Group ◽  
Perfect Complexes ◽  
Descent Theory ◽  
Closed Fields ◽  
Ring Of Continuous Functions ◽  
Reconstruction Theorem ◽  
Algebraically Closed Fields

A result of André Weil allows one to describe rank $n$ vector bundles on a smooth complete algebraic curve up to isomorphism via a double quotient of the set $\text{GL}_{n}(\mathbb{A})$ of regular matrices over the ring of adèles (over algebraically closed fields, this result is also known to extend to $G$-torsors for a reductive algebraic group $G$). In the present paper we develop analogous adelic descriptions for vector and principal bundles on arbitrary Noetherian schemes, by proving an adelic descent theorem for perfect complexes. We show that for Beilinson’s co-simplicial ring of adèles $\mathbb{A}_{X}^{\bullet }$, we have an equivalence $\mathsf{Perf}(X)\simeq |\mathsf{Perf}(\mathbb{A}_{X}^{\bullet })|$ between perfect complexes on $X$ and cartesian perfect complexes for $\mathbb{A}_{X}^{\bullet }$. Using the Tannakian formalism for symmetric monoidal $\infty$-categories, we conclude that a Noetherian scheme can be reconstructed from the co-simplicial ring of adèles. We view this statement as a scheme-theoretic analogue of Gelfand–Naimark’s reconstruction theorem for locally compact topological spaces from their ring of continuous functions. Several results for categories of perfect complexes over (a strong form of) flasque sheaves of algebras are established, which might be of independent interest.

A View on Fuzzy Minimal Open Sets and Fuzzy Maximal Open Sets

2015 ◽  
Vol 7 (1) ◽  
pp. 62-73 ◽  
Author(s):  
Hamid Reza Moradi
Keyword(s):  
Topological Space ◽  
Topological Spaces ◽  
Basic Properties ◽  
New Class ◽  
Properties And Characterization ◽  
Open Set ◽  
Fuzzy Topological Space ◽  
Fuzzy Topological Spaces ◽  
Characterization Theorems

A nonzero fuzzy open set () of a fuzzy topological space is said to be fuzzy minimal open (resp. fuzzy maximal open) set if any fuzzy open set which is contained (resp. contains) in is either or itself (resp. either or itself). In this note, a new class of sets called fuzzy minimal open sets and fuzzy maximal open sets in fuzzy topological spaces are introduced and studied which are subclasses of open sets. Some basic properties and characterization theorems are also to be investigated.

Maximality in effective topology

1983 ◽  
Vol 48 (1) ◽  
pp. 100-112 ◽  
Author(s):  
Iraj Kalantari ◽  
Anne Leggett
Keyword(s):  
Topological Space ◽  
Boolean Algebras ◽  
Vector Spaces ◽  
Topological Spaces ◽  
Mathematical Structures ◽  
Topological Vector Spaces ◽  
Linear Orderings ◽  
Recursively Enumerable ◽  
Countable Basis ◽  
Effective Analysis

In this paper we continue the study of the structure of the lattice of recursively enumerable (r.e.) open subsets of a topological space. Work in this approach to effective topology began in Kalantari and Retzlaff [5] and continued in Kalantari [2], Kalantari and Leggett [3] and Kalantari and Remmel [4]. Studies in effectiveness of results in structures other than integers began with the work of Specker [17] and Lacombe [8] on effective analysis.The renewed activity in the study of the effective content of mathematical structures owes much to Nerode's program and Metakides' and Nerode's [11], [12] work on vector spaces and fields. These studies have been extended by Kalantari, Remmel, Retzlaff, Shore and Smith. Similar studies on the effective content of other mathematical structures have been conducted. These include work on topological vector spaces, boolean algebras, linear orderings etc.Kalantari and Retzlaff [5] began a study of effective topological spaces by considering a topological space with a countable basis ⊿ for the topology. The space X is to be fully effective; that is, the basis elements are coded into ω and the operations of intersection of basis elements and the relation of inclusion among them are both computable. An r.e. open subset of X is then represented as the union of basic open sets whose codes lie in an r.e. subset of ω.

scholarly journals On β-Open Sets and Ideals in Topological Spaces

2019 ◽  
Vol 12 (3) ◽  
pp. 893-905
Author(s):  
Glaisa T. Catalan ◽  
Roberto N. Padua ◽  
Michael Jr. Patula Baldado
Keyword(s):  
Topological Space ◽  
Compact Space ◽  
Topological Spaces ◽  
Open Set ◽  
Separated Sets ◽  
The Ideal

Let X be a topological space and I be an ideal in X. A subset A of a topological space X is called a β-open set if A ⊆ cl(int(cl(A))). A subset A of X is called β-open with respect to the ideal I, or βI -open, if there exists an open set U such that (1) U − A ∈ I, and (2) A − cl(int(cl(U))) ∈ I. A space X is said to be a βI -compact space if it is βI -compact as a subset. An ideal topological space (X, τ, I) is said to be a cβI -compact space if it is cβI -compact as a subset. An ideal topological space (X, τ, I) is said to be a countably βI -compact space if X is countably βI -compact as a subset. Two sets A and B in an ideal topological space (X, τ, I) is said to be βI -separated if clβI (A) ∩ B = ∅ = A ∩ clβ(B). A subset A of an ideal topological space (X, τ, I) is said to be βI -connected if it cannot be expressed as a union of two βI -separated sets. An ideal topological space (X, τ, I) is said to be βI -connected if X βI -connected as a subset. In this study, we introduced the notions βI -open set, βI -compact, cβI -compact, βI -hyperconnected, cβI -hyperconnected, βI -connected and βI -separated. Moreover, we investigated the concept β-open set by determining some of its properties relative to the above-mentioned notions.

scholarly journals Relations of Pre Generalized Regular Weakly Locally Closed Sets in Topological Spaces

2021 ◽  
Vol 12 (3) ◽  
pp. 3444-3454
Author(s):  
Vijayakumari T Et.al
Keyword(s):  
Topological Space ◽  
Topological Spaces ◽  
Closed Set ◽  
Closed Sets ◽  
Open Set ◽  
Continuous Maps ◽  
Locally Closed Sets

In this paper pgrw-locally closed set, pgrw-locally closed*-set and pgrw-locally closed**-set are introduced. A subset A of a topological space (X,t) is called pgrw-locally closed (pgrw-lc) if A=GÇF where G is a pgrw-open set and F is a pgrw-closed set in (X,t). A subset A of a topological space (X,t) is a pgrw-lc* set if there exist a pgrw-open set G and a closed set F in X such that A= GÇF. A subset A of a topological space (X,t) is a pgrw-lc**-set if there exists an open set G and a pgrw-closed set F such that A=GÇF. The results regarding pgrw-locally closed sets, pgrw-locally closed* sets, pgrw-locally closed** sets, pgrw-lc-continuous maps and pgrw-lc-irresolute maps and some of the properties of these sets and their relation with other lc-sets are established.

scholarly journals Neutrosophic Orbit Topological Spaces

2021 ◽  
Vol 18 (24) ◽  
pp. 1443
Author(s):  
T Madhumathi ◽  
F NirmalaIrudayam
Keyword(s):  
Dynamical System ◽  
Dynamical Systems ◽  
Topological Space ◽  
Necessary Conditions ◽  
Neutrosophic Set ◽  
Topological Spaces ◽  
Open Set ◽  
Evolution Function

Neutrosophy is a flourishing arena which conceptualizes the notion of true, falsity and indeterminancy attributes of an event. In the study of dynamical systems, an orbit is a collection of points related by the evolution function of the dynamical system. Hence in this paper we focus on introducing the concept of neutrosophic orbit topological space denoted as (X, tNO). Also, some of the important characteristics of neutrosophic orbit open sets are discussed with suitable examples. HIGHLIGHTS The orbit in mathematics has an important role in the study of dynamical systems Neutrosophy is a flourishing arena which conceptualizes the notion of true, falsity and indeterminancy attributes of an event. We combine the above two topics and create the following new concept The collection of all neutrosophic orbit open sets under the mapping . we introduce the necessary conditions on the mapping 𝒇 in order to obtain a fixed orbit of a neutrosophic set (i.e., 𝒇(𝝁) = 𝝁) for any neutrosophic orbit open set 𝝁 under the mapping 𝒇

Recursion theory on orderings. I. A model theoretic setting

1979 ◽  
Vol 44 (3) ◽  
pp. 383-402 ◽  
Author(s):  
G. Metakides ◽  
J.B. Remmel
Keyword(s):  
Algebraic Closure ◽  
Recursion Theory ◽  
Boolean Algebras ◽  
Vector Spaces ◽  
Formal Definition ◽  
Recursively Enumerable ◽  
Closed Fields ◽  
Partial Orderings ◽  
Definition Of ◽  
Algebraically Closed Fields

In [6], Metakides and Nerode introduced the study of the lattice of recursively enumerable substructures of a recursively presented model as a means to understand the recursive content of certain algebraic constructions. For example, the lattice of recursively enumerable subspaces,, of a recursively presented vector spaceV∞has been studied by Kalantari, Metakides and Nerode, Retzlaff, Remmel and Shore. Similar studies have been done by Remmel [12], [13] for Boolean algebras and by Metakides and Nerode [9] for algebraically closed fields. In all of these models, the algebraic closure of a set is nontrivial. (The formal definition of the algebraic closure of a setS, denoted cl(S), is given in §1, however in vector spaces, cl(S) is just the subspace generated byS, in Boolean algebras, cl(S) is just the subalgebra generated byS, and in algebraically closed fields, cl(S) is just the algebraically closed subfield generated byS.)In this paper, we give a general model theoretic setting (whose precise definition will be given in §1) in which we are able to give constructions which generalize many of the constructions of classical recursion theory. One of the main features of the modelswhich we study is that the algebraic closure of setis just itself, i.e., cl(S) = S. Examples of such models include the natural numbers under equality 〈N, = 〉, the rational numbers under the usual ordering 〈Q, ≤〉, and a large class ofn-dimensional partial orderings.

Recursive constructions in topological spaces

1979 ◽  
Vol 44 (4) ◽  
pp. 609-625 ◽  
Author(s):  
Iraj Kalantari ◽  
Allen Retzlaff
Keyword(s):  
Topological Space ◽  
Topological Spaces ◽  
Recursively Enumerable ◽  
Recursive Constructions

AbstractWe study topological constructions in the recursion theoretic framework of the lattice of recursively enumerable open subsets of a topological spaceX. Various constructions produce complemented recursively enumerable open sets with additional recursion theoretic properties, as well as noncomplemented open sets. In contrast to techniques in classical topology, we construct a disjoint recursively enumerable collection of basic open sets which cannot be extended to a recursively enumerable disjoint collection of basic open sets whose union is dense inX.

scholarly journals Soft ideal topological space and mixed fuzzy soft ideal topological space

2017 ◽  
Vol 37 (1) ◽  
pp. 141-151
Author(s):  
Manash Borah ◽  
Bipan Hazarika
Keyword(s):  
Topological Space ◽  
Topological Spaces ◽  
Open Set

In this paper we introduce fuzzy soft ideal and mixed fuzzy soft ideal topological spaces and some properties of this space. Also we introduce fuzzy soft $I$-open set, fuzzy soft $\alpha$-$I$-open set, fuzzy soft pre-$I$-open set, fuzzy soft semi-$I$-open set and fuzzy soft $\beta$-$I$-open set and discuss some of their properties.

Sign in / Sign up

Export Citation Format

Share Document