A sequence x=xn:nω of elements of a complete Boolean algebra converges to a priori if lim infx=lim supx=b. The sequential topology τs on is the maximal topology on such that x→b implies x→τsb, where →τs denotes the convergence in the space — the a posteriori convergence. These two forms of convergence, as well as the properties of the sequential topology related to forcing, are investigated. So, the a posteriori convergence is described in terms of killing of tall ideals (...) on ω, and it is shown that the a posteriori convergence is equivalent to the a priori convergence iff forcing by does not produce new reals. A property of c.B.a.’s, satisfying -cc -cc and providing an explicit definition of the a posteriori convergence, is isolated. Finally, it is shown that, for an arbitrary c.B.a. , the space is sequentially compact iff the algebra has the property and does not produce independent reals by forcing, and that implies P is the unique sequentially compact c.B.a. in the class of Suslin forcing notions. (shrink)

Under the axiom of choice, every first countable space is a Fréchet-Urysohn space. Although, in its absence even ℝ may fail to be a sequential space.Our goal in this paper is to discuss under which set-theoretic conditions some topological classes, such as the first countable spaces, the metric spaces, or the subspaces of ℝ, are classes of Fréchet-Urysohn or sequential spaces.In this context, it is seen that there are metric spaces which are not (...) sequential spaces. This fact raises the question of knowing if the completion of a metric space exists and it is unique. The answer depends on the definition of completion.Among other results it is shown that: every first countable space is a sequential space if and only if the axiom of countable choice holds, the sequential closure is idempotent in ℝ if and only if the axiom of countable choice holds for families of subsets of ℝ, and every metric space has a unique equation image-completion. (shrink)

The property of admissibility of representations plays an important role in Type–2 Theory of Effectivity . TTE defines computability on sets with continuum cardinality via representations. Admissibility is known to be indispensable for guaranteeing reasonable effectivity properties of the used representations.The question arises whether every function that is computable with respect to arbritrary representations is also computable with respect to closely related admissible ones. We define three operators which transform representations into admissible ones in such a way that relative computability (...) of functions is preserved. Thus the use of admissible representations rather than of non–admissible ones does not decrease the class of relatively computable functions. (shrink)

Continuous subgraph matching problem on dynamic graph has become a popular research topic in the field of graph analysis, which has a wide range of applications including information retrieval and community detection. Specifically, given a query graph q, an initial graph G 0, and a graph update stream △ G i, the problem of continuous subgraph matching is to sequentially conduct all possible isomorphic subgraphs covering △ G i of q on G i. Since knowledge graph is a directed labeled (...) multigraph having multiple edges between a pair of vertices, it brings new challenges for the problem focusing on dynamic knowledge graph. One challenge is that the multigraph characteristic of knowledge graph intensifies the complexity of candidate calculation, which is the combination of complex topological and attributed structures. Another challenge is that the isomorphic subgraphs covering a given region are conducted on a huge search space of seed candidates, which causes a lot of time consumption for searching the unpromising candidates. To address these challenges, a method of subgraph-indexed sequential subdivision is proposed to accelerating the continuous subgraph matching on dynamic knowledge graph. Firstly, a flow graph index is proposed to arrange the search space of seed candidates in topological knowledge graph and an adjacent index is designed to accelerate the identification of candidate activation states in attributed knowledge graph. Secondly, the sequential subdivision of flow graph index and the transition state model are employed to incrementally conduct subgraph matching and maintain the regional influence of changed candidates, respectively. Finally, extensive empirical studies on real and synthetic graphs demonstrate that our techniques outperform the state-of-the-art algorithms. (shrink)

It is consistent with ZF $\mathsf {ZF}$ set theory that the Euclidean topology on R $\mathbb {R}$ is not sequential, yet every infinite set of reals contains a countably infinite subset. This answers a question of Gutierres.

This paper is an investigation of definability hierarchies on effective topological spaces. An open subset U of an effective space X is definable iff there is a parameter free definition φ of U so that the atomic predicate symbols of φ are recursively open relations on X . The complexity of a definable open set may be identified with the quantifier complexity of its definition. For example, a set U is an ∃∃∀∃-set if it has an ∃∃∀∃ parameter (...) free definition using only recursively open predicate symbols. Since X is not equipped with a natural pairing apparatus such a U need not be an ∃∀∃-set. Let Σ denote the class of all ∃-sets, ∃∃-sets, ∃∃∃-sets etc. We show that an open set is in Σ iff it is equivalent modulo a nowhere dense set to a recursively enumerable open set . Thus Σ = e.r.e. Indeed we show the existence of a universal Σ -set as well as the existence of universal sets for higher levels of the definability hierarchy. (shrink)

Let L be one of the topological languages L t , (L ∞ω ) t and (L κω ) t . We characterize the topological spaces which are models of the L-theory of the class of ordinals equipped with the order topology. The results show that the role played in classical model theory by the property of being well-ordered is taken over in the topological context by the property of being locally compact and scattered.

As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily-sequential functionals is not ω-complete . This is also applicable to a potentially wider class of models such as the recently constructed by the author fully abstract model for PCF+=PCF+pif . Here we will present an outline of a general approach to this kind of ‘natural’ domains which, although being non-dcpos, allow considering ‘naturally’ continuous functions . There is also an appropriate version of ‘naturally’ algebraic and (...) ‘naturally’ bounded complete ‘natural’ domains which serves as the non-dcpo analogue of the well-known concept of Scott domains, or equivalently, the complete f-spaces of Ershov. It is shown that this special version of ‘natural’ domains, if considered under ‘natural’ Scott topology, exactly corresponds to the class of f-spaces, not necessarily complete. (shrink)

We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, with S5 knowledge modality, and demonstrate their completeness. We moreover consider the weaker axiomatizations of three logics with S4 type of knowledge and prove (...) soundness and completeness results for these systems. (shrink)

We investigate several ideal versions of the pseudointersection number \(\mathfrak {p}\), ideal slalom numbers, and associated topological spaces with the focus on selection principles. However, it turns out that well-known pseudointersection invariant \(\mathtt {cov}^*({\mathcal I})\) has a crucial influence on the studied notions. For an invariant \(\mathfrak {p}_\mathrm {K}({\mathcal J})\) introduced by Borodulin-Nadzieja and Farkas (Arch. Math. Logic 51:187–202, 2012), and an invariant \(\mathfrak {p}_\mathrm {K}({\mathcal I},{\mathcal J})\) introduced by Repický (Real Anal. Exchange 46:367–394, 2021), we have $$\begin{aligned} (...) \min \{\mathfrak {p}_\mathrm {K}({\mathcal I}),\mathtt {cov}^*({\mathcal I})\}=\mathfrak {p},\qquad \min \{\mathfrak {p}_\mathrm {K}({\mathcal I},{\mathcal J}),\mathtt {cov}^*({\mathcal J})\}\le \mathtt {cov}^*({\mathcal I}), \end{aligned}$$ respectively. In addition to the first inequality, for a slalom invariant \(\mathfrak {sl_e}({\mathcal I},{\mathcal J})\) introduced in Šupina (J. Math. Anal. Appl. 434:477–491, 2016), we show that $$\begin{aligned} \min \{\mathfrak {p}_\mathrm {K}({\mathcal I}),\mathfrak {sl_e}({\mathcal I},{\mathcal J}),\mathtt {cov}^*({\mathcal J})\}=\mathfrak {p}. \end{aligned}$$ Finally, we obtain a consistency that ideal versions of the Fréchet–Urysohn property and the strictly Fréchet–Urysohn property are distinguished. (shrink)

The objective of this study is to incorporate topological space into the realm of n-Cylindrical Fuzzy Neutrosophic Sets (n-CyFNS), which are the most novel type of fuzzy neutrosophic sets. In this paper, we introduce n-Cylindrical Fuzzy Neutrosophic Topological Spaces (n-CyFNTS), n-Cylindrical Fuzzy Neutrosophic (n-CyFN) open sets, and n-CyFN closed sets. We also defined the n-CyFN base, n-CyFN subbase, and some related theorems here.

We find properties of topological spaces which are not shared by disjoint unions in the absence of some form of the Axiom of Choice.

We propose a multi-agent logic of knowledge, public announcements and arbitrary announcements, interpreted on topological spaces in the style of subset space semantics. The arbitrary announcement modality functions similarly to the effort modality in subset space logics, however, it comes with intuitive and semantic differences. We provide axiomatizations for three logics based on this setting, with S5 knowledge modality, and demonstrate their completeness. We moreover consider the weaker axiomatizations of three logics with S4 type of knowledge and prove (...) soundness and completeness results for these systems. (shrink)

D′ ⊆ D is a normal totality on a Scott domain D if it is upward closed and x ⊓ y ∈ D′ is an equivalence relation on D′. We prove that every topological space can be represented by a domain with norma totality.

In this thesis we present two logical systems, $\bf MP$ and $\MP$, for the purpose of reasoning about knowledge and effort. These logical systems will be interpreted in a spatial context and therefore, the abstract concepts of knowledge and effort will be defined by concrete mathematical concepts.

Starting with D. Scott's work on the mathematical foundations of programming language semantics, interest in topology has grown up in theoretical computer science, under the slogan `open sets are semidecidable properties'. But whereas on effectively given Scott domains all such properties are also open, this is no longer true in general. In this paper a characterization of effectively given topological spaces is presented that says which semidecidable sets are open. This result has important consequences. Not only follows the (...) classical Rice-Shapiro Theorem and its generalization to effectively given Scott domains, but also a recursion theoretic characterization of the canonical topology of effectively given metric spaces. Moreover, it implies some well known theorems on the effective continuity of effective operators such as P. Young and the author's general result which in its turn entails the theorems by Myhill-Shepherdson, Kreisel-Lacombe-Shoenfield and Ceĭtin-Moschovakis, and a result by Eršov and Berger which says that the hereditarily effective operations coincide with the hereditarily effective total continuous functionals on the natural numbers. (shrink)

In this book, authors, for the first time, introduce the new notion of special subset linguistic topological spaces using linguistic square matrices. This book is organized into three chapters. Chapter One supplies the reader with the concept of ling set, ling variable, ling continuum, etc. Specific basic linguistic algebraic structures, like linguistic semigroup linguistic monoid, are introduced. Also, algebraic structures to linguistic square matrices are defined and described with examples. For the first time, non-commutative linguistic topological (...) class='Hi'>spaces are introduced. The notion of a linguistic special subset of doubly non-commutative topological spaces of linguistic topological spaces is introduced in this book. (shrink)

We study topological constructions in the recursion theoretic framework of the lattice of recursively enumerable open subsets of a topological space X. 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 in X.

In this paper we develop a point-free approach to the study of topological spaces and functions on them, establish platforms for both and present some findings on recursive points. In the first sections of the paper, we obtain conditions under which our approach leads to the generation of ideal objects with which mathematicians work. Next, we apply the effective version of our approach to the real numbers, and make exact connections to the classical approach to recursive reals. In (...) the succeeding sections of the paper, we introduce machinery to produce functions on topological spaces and find succinct conditions which will be effectivized in our sequel. (shrink)

In this paper we introduce the concept of interval valued neutrosophic soft topological space together with interval valued neutrosophic soft finer and interval valued neutrosophic soft coarser topology. We also define interval valued neutrosophic interior and closer of an interval valued neutrosophic soft set. Some theorems and examples are cites. Interval valued neutrosophic soft subspace topology are studied. Some examples and theorems regarding this concept are presented.

We study the topological models of a logic of knowledge for topological reasoning, introduced by Larry Moss and Rohit Parikh (1992). Among our results is the confirmation of a conjecture by Moss and Parikh, as well as the finite satisfiability property and decidability for the theory of topological models.

In [5], Metakides and Nerode introduced the study of recursively enumerable 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 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 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. (shrink)

We analyse the category-theoretical structures involved with the notion of continuity within the framework of formal topology. We compare the category of basic pairs to other categories of “spaces” by means of canonically determined functors and show how the definition of continuity is determined in a certain, canonical sense. Finally, we prove a standard adjunction between the algebraic approach to spaces and the category of topological spaces.

We offer a topological treatment of scattered theories intended to help to explain the parallelism between, on the one hand, the theorems provable using Descriptive Set Theory by analysis of the space of countable models and, on the other, those provable by studying a tree of theories in a hierarchy of fragments of infinintary logic. We state some theorems which are, we hope, a step on the road to fully understanding counterexamples to Vaught's Conjecture. This framework is in the (...) early stages of development, and one area for future exploration is the possibility of extending it to a setting in which the spaces of types of a theory are uncountable. (shrink)

In this work, we present a multi-agent logic of knowledge and change of knowledge interpreted on topological structures. Our dynamics are of the so-called semi-private character where a group G of agents is informed of some piece of information \, while all the other agents observe that group G is informed, but are uncertain whether the information provided is \ or \. This article follows up on our prior work where the dynamics were public events. We provide a complete (...) axiomatization of our logic, and give two detailed examples of situations with agents learning information through semi-private announcements. (shrink)

In this work, we present a multi-agent logic of knowledge and change of knowledge interpreted on topological structures. Our dynamics are of the so-called semi-private character where a group G of agents is informed of some piece of information $$\varphi $$ φ, while all the other agents observe that group G is informed, but are uncertain whether the information provided is $$\varphi $$ φ or $$\lnot \varphi $$ ¬φ. This article follows up on our prior work where the dynamics (...) were public events. We provide a complete axiomatization of our logic, and give two detailed examples of situations with agents learning information through semi-private announcements. (shrink)

This study investigated visual statistical learning (VSL) in 24 deaf signers and 24 hearing non‐signers. Previous research with hearing individuals suggests that SL mechanisms support literacy. Our first goal was to assess whether VSL was associated with reading ability in deaf individuals, and whether this relation was sustained by a link between VSL and sign language skill. Our second goal was to test the Auditory Scaffolding Hypothesis, which makes the prediction that deaf people should be impaired in sequential processing (...) tasks. For the VSL task, we adopted a modified version of the triplet learning paradigm, with stimuli presented sequentially across space and time. Results revealed that measures of sign language skill (sentence comprehension/repetition) did not correlate with VSL scores, possibly due to the sequential nature of our VSL task. Reading comprehension scores (PIAT‐R) were a significant predictor of VSL accuracy in hearing but not deaf people. This finding might be due to the sequential nature of the VSL task and to a less salient role of the sequential orthography‐to‐phonology mapping in deaf readers compared to hearing readers. The two groups did not differ in VSL scores. However, when reading ability was taken into account, VSL scores were higher for the deaf group than the hearing group. Overall, this evidence is inconsistent with the Auditory Scaffolding Hypothesis, suggesting that humans can develop efficient sequencing abilities even in the absence of sound. (shrink)

The aim of this paper is to elucidate the relationship between Aristotelian conceptual oppositions, commutative diagrams of relational structures, and Galois connections.This is done by investigating in detail some examples of Aristotelian conceptual oppositions arising from topological spaces and similarity structures. The main technical device for this endeavor is the notion of Galois connections of order structures.

In this paper, we generalize the crisp topological spaces to the notion of neutrosophic crisp topological space, and we construct the basic concepts of the neutrosophic crisp topology.

We examine conditions under which, in a computable topological space, a semicomputable set is computable. It is known that in a computable metric space a semicomputable set S is computable if S is a continuum chainable from a to b, where a and b are computable points, or S is a circularly chainable continuum which is not chainable. We prove that this result holds in any computable topological space.

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 modally definable. It is demonstrated that the d-semantics is more expressive than the C-semantics. In particular, we show that the d-logics of (...) the six classes of spaces considered in the paper are pairwise distinct, while the C-logics of some of them coincide. (shrink)

I argue that relations between non-collocated spatial entities, between non-identical topological spaces, and between non-identical basic building blocks of space, do not exist. If any spatially located entities are not at the same spatial location, or if any topological spaces or basic building blocks of space are non-identical, I will argue that there are no relations between or among them. The arguments I present are arguments that I have not seen in the literature.

In this paper, I draw a parallel between aspects of René Thom’s topological program understood as semiophysics, and Jakob von Uexküll’s theory of meaning. Through the use of Thom’s semiophysics, I believe that it is possible to interpret Uexküll’s intuition that meaning unfolds a kind of transformation in an organism’s transactions with the environment: that is, meaning incorporates topological spaces. The central idea in question is that beyond the semantic, syntactical and pragmatic human use of language, meaning (...) incorporates specific topologies by expressing the spatial interaction between organism and environment. This is what I mean by René Thom’s reading of Jakob von Uexküll. (shrink)

We find some characterizations of the Axiom of Choice in terms of certain families of open sets in T1 spaces.

The first-order theory of the lattice of recursively enumerable closed subsets of an effective topological space is proved undecidable using the undecidability of the first-order theory of the lattice of recursively enumerable sets. In particular, the first-order theory of the lattice of recursively enumerable closed subsets of Euclidean n -space, for all n , is undecidable. A more direct proof of the undecidability of the lattice of recursively enumerable closed subsets of Euclidean n -space, n ⩾ 2, is provided (...) using the method of reduction and the recursive inseparability of the set of all formulae satisfiable in every model of the theory of SIBs and the set of all formulae refutable in some finite model of the theory of SIBs. (shrink)

In 1906, Frigyes Riesz introduced a preliminary version of the notion of a topological space. He called it a mathematical continuum. This development can be traced back to the end of 1904 when, genuinely interested in taking up Hilbert’s foundations of geometry from 1902, Riesz aimed to extend Hilbert’s notion of a two-dimensional manifold to the three-dimensional case. Starting with the plane as an abstract point-set, Hilbert had postulated the existence of a system of neighbourhoods, thereby introducing the notion (...) of an accumulation point for the point-sets of the plane. Inspired by Hilbert’s technical approach, as well as by recent developments in analysis and point-set topology in France, Riesz defined the concept of a mathematical continuum as an abstract set provided with a notion of an accumulation point. In addition, he developed further elementary concepts in abstract point-set topology. Taking an abstract topological approach, he formulated a concept of three-dimensional continuous space that resembles the modern concept of a three-dimensional topological manifold. In 1908, Riesz presented his concept of mathematical continuum at the International Congress of Mathematicians in Rome. His lecture immediately won the attention of people interested in carrying on his research. They promoted his ideas, thus assuring their gradual reception by several future founders of general topology. In this way, Riesz’s work contributed significantly to the emergence of this discipline. (shrink)

We show that none of the following statements is provable in Zermelo-Fraenkel set theory (ZF) answering the corresponding open questions from Brunner in ``The axiom of choice in topology'':(i) For every T2 topological space (X, T) if X is well-ordered, then X has a well-ordered base,(ii) For every T2 topological space (X, T), if X is well-ordered, then there exists a function f : X × W T such that W is a well-ordered set and f ({x} × (...) W) is a neighborhood base at x for each x X,(iii) For every T2 topological space (X, T), if X has a well-ordered dense subset, then there exists a function f : X × W T such that W is a well-ordered set and {x} = f ({x} × W) for each x X. (shrink)

Based on the concepts of pseudocomplement of L -subsets and the implication operator where L is a completely distributive lattice with order-reversing involution, the definition of countable RL -fuzzy compactness degree and the Lindelöf property degree of an L -subset in RL -fuzzy topology are introduced and characterized. Since L -fuzzy topology in the sense of Kubiak and Šostak is a special case of RL -fuzzy topology, the degrees of RL -fuzzy compactness and the Lindelöf property are generalizations of the (...) corresponding degrees in L -fuzzy topology. (shrink)