The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, group actions and fields definable in the weakly o-minimal context. We prove that the topological dimension of a set definable in a weakly o-minimal structure is invariant under definable injective maps, strengthening an analogous result from [2] for sets and functions definable in models of weakly o-minimal theories. We pay special attention (...) to large subsets of Cartesian products of definable sets, showing that if X, Y and S are non-empty definable sets and S is a large subset of X × Y, then for a large set of tuples $\langle \overline{a}_{1},\ldots,\overline{a}_{2^{k}}\rangle \in X^{2^{k}}$ , where k = dim(Y), the union of fibers $S_{\overline{a}_{1}}\cup \cdots \cup S_{\overline{a}_{2^{k}}}$ is large in Y. Finally, given a weakly o-minimal structure ������, we find various conditions equivalent to the fact that the topological dimension in ������ enjoys the addition property. (shrink)

Owing to intensive development of the theory of self-organization of complex systems called also synergetics, profound changes in our notions of time occur. Whereas at the beginning of the 20th century, natural sciences, by picking up the general spirit of Einstein's theory of relativity, consider a geometrization as an ideal, i.e. try to represent time and force interactions through space and the changes of its properties, nowadays, at the beginning of the 21st century, time turns to be in the (...) focus of attention. It turns to be possible to represent space through time, because synergetics shows that historical and evolutionary stages of development of a complex structure can be found now, in its present spatial configuration. A whole series of paradoxical notions, such as "the influence of the future upon the present", a "possibility of touching of a rather remote future today", "availability of the past and the future now, in praesenti", "irreversibility and elements of reversibility in the course of evolutionary processes in time", "discrete unites, quanta of time", appear in synergetics. (shrink)

We obtain some new results on the topology of unary definable sets in expansions of densely ordered Abelian groups of burden 2. In the special case in which the structure has dp‐rank 2, we show that the existence of an infinite definable discrete set precludes the definability of a set which is dense and codense in an interval, or of a set which is topologically like the Cantor middle‐third set (Theorem 2.9). If it has burden 2 and both an (...) infinite discrete set D and a dense‐codense set X are definable, then translates of X must witness the Independence Property (Theorem 2.26). In the last section, an explicit example of an ordered Abelian group of burden 2 is given in which both an infinite discrete set and a dense‐codense set are definable. (shrink)

Male sexual arousal (SA) has been known as a multidimensional experience involving closely interrelated and coordinated neurobehavioral components that rely on widespread brain regions. Recent functional neuroimaging studies have shown relation between abnormal/altered dynamics in these circuits and male sexual dysfunction. However, alterations in the topological1 organization of structural brain networks in male sexual dysfunction are still unclear. Here, we used graph theory2 to investigate the topological properties of large-scale structural brain networks, which were constructed using inter-regional correlations (...) of cortical thickness between 78 cortical regions (subcortical regions were not included due to the used cortical surface model) in 40 patients with psychogenic erectile dysfunction (pED) and 39 normal controls. Compared with normal controls, pED patients exhibited a less optimal global topological organization with reduced global and increased local efficiencies. Our results suggest disrupted neural integration among distant brain regions in pED patients, consistent with previous reports of impaired white matter structure and abnormal functional integrity in pED. Additionally, disrupted global network topology in pED was observed to be primarily relevant to altered subnetwork and nodal properties within the networks mediating the cognitive, motivational and inhibitory processes of male SA, possibly indicating disrupted integration of these networks in the whole brain networks and might account for pED patients’ abnormal cognitive, motivational and inhibitory processes for male SA. In total, our findings provide evidence for disrupted integrity in large-scale brain networks underlying the neurobehavioral processes of male SA in pED and provide new insights into the understanding of the pathophysiological mechanisms of pED. (shrink)

In [3] a certain family of topological spaces was introduced on ultraproducts. These spaces have been called ultratopologies and their definition was motivated by model theory of higher order logics. Ultratopologies provide a natural extra topological structure for ultraproducts. Using this extra structure in [3] some preservation and characterization theorems were obtained for higher order logics. The purely topological properties of ultratopologies seem interesting on their own right. We started to study these properties (...) in [2], where some questions remained open. Here we present the solutions of two such problems. More concretely we show 1. that there are sequences of finite sets of pairwise different cardinalities such that in their certain ultraproducts there are homeomorphic ultratopologies and 2. if A is an infinite ultraproduct of finite sets, then every ultratopology on A contains a dense subset D such that |D| < |A|. (shrink)

Topological indices are quantitative measurements that describe a molecule’s topology and are quantified from the molecule’s graphical representation. The significance of topological indices is linked to their use in QSPR/QSAR modelling as descriptors. Mathematical associations between a particular molecular or biological activity and one or several biochemical and/or molecular structural features are QSPRs and QSARs. In this paper, we give explicit expressions of two recently defined novel ev-degree- and ve-degree-based topological indices of two classes of benzenoid, namely, (...) linear hexagonal chain and hammer-like benzenoid. (shrink)

We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of dimension of a set definable in the structures including the addition property, which is the dimension equality for definable maps whose fibers are equi-dimensional. A decomposition theorem into quasi-special submanifolds is also demonstrated.

This paper studies the topological duality between diagonalizable algebras and bi-topological spaces. In particular, the correspondence between algebraic properties of a diagonalizable algebra and topological properties of its dual space is investigated. Since the main example of a diagonalizable algebra is the Lindenbaum algebra of an r.e. theory extending Peano Arithmetic, endowed with an operator defined by means of the provability predicate of the theory, this duality gives the possibility to study arithmetical properties of (...) theories from a topological point of view. We find topological characterization of $\Sigma_1$-sound theories and of sentences that are $\Sigma_1$-conservative over such a theory. (shrink)

Megastable chaotic systems are somehow the newest in the family of special chaotic systems. In this paper, a new megastable two-dimensional system is proposed. In this system, coexisting attractors are in some islands, interestingly covered by megalimit cycles. The introduced two-dimensional system has no defined equilibrium point. However, it seems that the origin plays the role of an unstable equilibrium point. Therefore, the attractors are determined as hidden attractors. Adding a forcing term to the system, we can (...) obtain chaotic solutions and coexisting strange attractors. Moreover, the effect of three different values of the forcing term’s amplitude is studied. The dynamical properties of the designed system are investigated using attractor plots, bifurcation diagrams, and Lyapunov Exponents diagram. Phase portraits of the novel megastable oscillator are presented by FPGA design. Xilinx system generator block diagrams of the proposed system and trigonometric functions are also presented. (shrink)

Lacan postulated that the psyche can be understood by means of certain structures, which control our lives and our desires, and which operate differently at different logical moments or stages of formation.Jacques Lacan and the Logic of Structure offers us a reading of the major concepts of Lacan in terms of his later topological theory and aims to show how this was always a concern for Lacan and not only an issue in the last seminars. Ellie Ragland discusses (...) how various stages of formation can be uncovered topologically within language itself, and operate to place certain properties – fantasy, the drive, jouissance, discourse and ethics in language itself. In this way she explores not only how language actually works in tandem with the properties, but also gives a different idea of what knowledge actually is and what implications that may have for reimagining and reworking differential/diagnostic structures. Jacques Lacan and the Logic of Structure is a compelling exponent of the innovative approaches Lacan takes to rethinking what psychoanalysis is and what it can do to enlighten psychoanalysts and treat patients. It will be essential reading to psychoanalysts, psychoanalytic psychotherapists, training graduate students in the fields of film, literary, gender and cultural studies. (shrink)

Fundamental concrete particulars are needed to explain facts about non-fundamental concrete particulars. However, the former can only play this explanatory role if they are properly discernible from the latter. Extant theories of how to discern fundamental concreta primarily concern mereological structure. Those according to which fundamental concreta can bear, but not be, proper parts are motivated by the possibilities that all concreta bear proper parts and that some properties of wholes are not fixed by the properties of (...) their proper parts. In response, theorists who hold that the fundamental concrete particulars can be proper parts may appeal to the possibility that every concrete particular is a proper part—that there is no mereologically maximal whole world, as well as to the intuition that fundamental concreta are qualitatively homogeneous “blocks” from which non-fundamental concreta are built. After motivating the plausibility of gunk and junk, the present essay proposes a constraint on fundamental concrete particulars based on topology instead of mereology: the fundamental concrete particulars must be appropriately connected. This constraint has the unique advantage of consistency with each of gunk, emergence, junk, and the building block intuition. (shrink)

Abstract. The aim of this paper is to present a topological method for constructing discretizations (tessellations) of conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. Alexandroff spaces, as they are called today, have many interesting properties that distinguish them from other topological spaces. In particular, they exhibit a 1-1 correspondence between their specialization orders and their topological structures. Recently, a special (...) type of Alexandroff spaces was used by Ian Rumfitt to elucidate the logic of vague concepts in a new way. According to his approach, conceptual spaces such as the color spectrum give rise to classical systems of concepts that have the structure of atomic Boolean algebras. More precisely, concepts are represented as regular open regions of an underlying conceptual space endowed with a topological structure. Something is subsumed under a concept iff it is represented by an element of the conceptual space that is maximally close to the prototypical element p that defines that concept. This topological representation of concepts comes along with a representation of the familiar logical connectives of Aristotelian syllogistics in terms of natural settheoretical operations that characterize regular open interpretations of classical Boolean propositional logic. In the last 20 years, conceptual spaces have become a popular tool of dealing with a variety of problems in the fields of cognitive psychology, artificial intelligence, linguistics and philosophy, mainly due to the work of Peter Gärdenfors and his collaborators. By using prototypes and metrics of similarity spaces, one obtains geometrical discretizations of conceptual spaces by so-called Voronoi tessellations. These tessellations are extensionally equivalent to topological tessellations that can be constructed for Alexandroff spaces. Thereby, Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works for a more general class of spaces, namely, for weakly scattered Alexandroff spaces. This class of spaces provides a convenient framework for conceptual spaces as used in epistemology and related disciplines in general. Alexandroff spaces are useful for elucidating problems related to the logic of vague concepts, in particular they offer a solution of the Sorites paradox (Rumfitt). Further, they provide a semantics for the logic of clearness (Bobzien) that overcomes certain problems of the concept of higher2 order vagueness. Moreover, these spaces help find a natural place for classical syllogistics in the framework of conceptual spaces. The crucial role of order theory for Alexandroff spaces can be used to refine the all-or-nothing distinction between prototypical and nonprototypical stimuli in favor of a more fine-grained gradual distinction between more-orless prototypical elements of conceptual spaces. The greater conceptual flexibility of the topological approach helps avoid some inherent inadequacies of the geometrical approach, for instance, the so-called “thickness problem” (Douven et al.) and problems of selecting a unique metric for similarity spaces. Finally, it is shown that only the Alexandroff account can deal with an issue that is gaining more and more importance for the theory of conceptual spaces, namely, the role that digital conceptual spaces play in the area of artificial intelligence, computer science and related disciplines. Keywords: Conceptual Spaces, Polar Spaces, Alexandroff Spaces, Prototypes, Topological Tessellations, Voronoi Tessellations, Digital Topology. (shrink)

Theory of networks serves as a mathematical foundation for the construction and modeling of chemical structures and complicated networks. In particular, chemical networking theory has a wide range of utilizations in the study of chemical structures, where examination and manipulation of chemical structural information are made feasible by utilizing the numerical graph invariants. A network invariant or a topological index is a numerical measure of a chemical compound which is capable to describe the chemical structural properties such as (...) melting point, freezing point, density, pressure, tension, and temperature of chemical compounds. Wiener initiated the first distance-based TI which is considered to be the most important TI to preserve the chemical and physical properties of chemical structures. Later on, degree-based TI was introduced to find the π -electron energy of molecules. Recently, connection number-based TIs are studied which are more efficient than degree and distance-based TIs. In this paper, we compute the connection number-based TIs of the structure of crystal cubic carbons which are one of the most significant and interesting composites in modern resources of science due to the involvement of carbon atoms. (shrink)

The aim of this paper is to present a new perspective under which branching-time semantics can be viewed. The set of histories (maximal linearly ordered sets) in a tree structure can be endowed in a natural way with a topological structure. Properties of trees and of bundled trees can be expressed in topological terms. In particular, we can consider the new notion of topological validity for Ockhamist temporal formulae. It will be proved that this (...) notion of validity is equivalent to validity with respect to bundled trees. (shrink)

A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fraïssé classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Sokič is extended to equivalence relations for finite products of structures from Fraïssé classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, generalizing (...) the Pudlák–Rödl Theorem to this class of topological Ramsey spaces. To each topological Ramsey space in this framework corresponds an associated ultrafilter satisfying some weak partition property. By using the correct Fraïssé classes, we construct topological Ramsey spaces which are dense in the partial orders of Baumgartner and Taylor generating p-points which are k-arrow but not \-arrow, and in a partial order of Blass producing a diamond shape in the Rudin-Keisler structure of p-points. Any space in our framework in which blocks are products of n many structures produces ultrafilters with initial Tukey structure exactly the Boolean algebra \\). If the number of Fraïssé classes on each block grows without bound, then the Tukey types of the p-points below the space’s associated ultrafilter have the structure exactly \. In contrast, the set of isomorphism types of any product of finitely many Fraïssé classes of finite relational structures satisfying the Ramsey property and the OPFAP, partially ordered by embedding, is realized as the initial Rudin-Keisler structure of some p-point generated by a space constructed from our template. (shrink)

A topological index can be focused on uprising of a chemical structure into a real number. The degree-based topological indices have an active place among all topological indices. These topological descriptors intentionally associate certain physicochemical assets of the corresponding chemical compounds. Graph theory plays a very useful role in such type of research directions. The hex-derived networks have vast applications in computer science, physical sciences, and medical science, and these networks are constructed by hexagonal mesh (...) networks. In this paper, we determined the exact values of vertex-edge-degree-based topological descriptors for hex-derived networks HDN 1 p and HDN 2 p, which are generated by the hexagonal network of dimension p. (shrink)

The aim of this paper is to show that topology has a bearing on<br><br>combinatorial theories of possibility. The approach developed in this article is “mapping account” considering combinatorial worlds as mappings from individuals to properties. Topological structures are used to define constraints on the mappings thereby characterizing the “really possible” combinations. The mapping approach avoids the well-known incompatibility problems. Moreover, it is compatible with atomistic as well as with non-atomistic ontologies.It helps to elucidate the positions of logical atomism (...) and monism with theaid of topological separation axioms. (shrink)

While mechanistic explanation and, to a lesser extent, nomological explanation are well-explored topics in the philosophy of biology, topological explanation is not. Nor is the role of diagrams in topological explanations. These explanations do not appeal to the operation of mechanisms or laws, and extant accounts of the role of diagrams in biological science explain neither why scientists might prefer diagrammatic representations of topological information to sentential equivalents nor how such representations might facilitate important processes of explanatory (...) reasoning unavailable to scientists who restrict themselves to sentential representations. Accordingly, relying upon a case study about immune system vulnerability to attacks on CD4+ T-cells, I argue that diagrams group together information in a way that avoids repetition in representing topological structure, facilitate identification of specific topological properties of those structures, and make available to controlled processing explanatorily salient counterfactual information about topological structures, all in ways that sentential counterparts of diagrams do not. (shrink)

In this paper, a discrete-time dynamic duopoly model, with nonlinear demand and cost functions, is established. The properties of existence and local stability of equilibrium points have been verified and analyzed. The stability conditions are also given with the help of the Jury criterion. With changing of the values of parameters, the system shows some new and interesting phenomena in terms to stability and multistability, such as V-shaped stable structures and different shape basins of attraction of coexisting attractors. (...) The eye-shaped structures appear where the period-doubling and period-halving bifurcations occur. Finally, by utilizing critical curves, the changes in the topological structure of basin of attraction and the reason of “holes” formation are analyzed. As a result, the generation of global bifurcation, such as contact bifurcation or final bifurcation, is usually accompanied by the contact of critical curves and boundary. (shrink)

In this research work, we have explored the physical and topological properties of the crystal structure of metal-insulator transition superlattice. In recent times, two-dimensional substantial have enamored comprehensive considerations owing to their novel ophthalmic and mechanical properties for anticipated employment. Recently, some researchers put their interest in modifying this material into useful forms in human life. Also, Metal-Insulator Transition Superlattice is useful in form of a thin film to utilize as two-dimensional transition metal dichalcogenides. Moreover, we (...) have defined the computed-based bond properties such as the degree constructed topological indices and their heat of formation for single crystal and monolayered structure of Ge-Sb-Te. Also, this structure is one of the most interesting composites in modern resources of science. (shrink)

We provide a general theorem implying that for a (strongly) dependent theory T the theory of sufficiently well-behaved pairs of models of T is again (strongly) dependent. We apply the theorem to the case of lovely pairs of thorn-rank one theories as well as to a setting of dense pairs of first-order topological theories.

A topological index is a numeric quantity related with the chemical composition claiming to correlate the chemical structure with different chemical properties. Topological indices serve to predict physicochemical properties of chemical substance. Among different topological indices, degree-based topological indices would be helpful in investigating the anti-inflammatory activities of certain chemical networks. In the current study, we determine the neighborhood second Zagreb index and the first extended first-order connectivity index for oxide network O X (...) n, silicate network S L n, chain silicate network C S n, and hexagonal network H X n. Also, we determine the neighborhood second Zagreb index and the first extended first-order connectivity index for honeycomb network H C n. (shrink)

The topological structures imposed on the collection of binary relations on a given set by the symmetric difference metric and the Hausdorff metric provide opportunities for learning about how collections of binary relations with various properties fit into the collection of all binary relations. For example, there is some agreement and some disagreement between conclusions drawn about the rarity of certain properties of binary relations using first the symmetric difference metric and then the Hausdorff metric.

We present three examples of topological semantics for intuitionistic modal logic with one modal operator □. We show that it is possible to treat neighborhood models, introduced earlier, as topological or multi-topological. From the neighborhood point of view, our method is based on differences between properties of minimal and maximal neighborhoods. Also we propose transformation of multitopological spaces into the neighborhood structures.

We give an analysis over a variation of causal sets where the light cone of an event is represented by finitely branching trees with respect to any given arbitrary dynamics. We argue through basic topological properties of Cantor space that under certain assumptions about the universe, spacetime structure and causation, given any event x, the number of all possible future worldlines of x within the many-worlds interpretation is uncountable. However, if all worldlines extending the event x are (...) ‘eventually deterministic’, then the cardinality of the set of future worldlines with respect to x is exactly ℵ0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\aleph _0$$\end{document}, i.e., countably infinite. We also observe that if there are countably many future worldlines with respect to x, then at least one of them must be necessarily ‘decidable’ in the sense that there is an algorithm which determines whether or not any given event belongs to that worldline. We then show that if there are only finitely many worldlines in the future of an event x, then they are all decidable. We finally point out the fact that there can be only countably many terminating worldlines. (shrink)

Abstract. Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological (...) models of knowledge and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB-logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. (shrink)

Philippe Huneman has recently questioned the widespread application of mechanistic models of scientific explanation based on the existence of structural explanations, i.e. explanations that account for the phenomenon to be explained in virtue of the mathematical properties of the system where the phenomenon obtains, rather than in terms of the mechanisms that causally produce the phenomenon. Structural explanations are very diverse, including cases like explanations in terms of bowtie structures, in terms of the topological properties of the (...) system, or in terms of equilibrium. The role of mathematics in bowtie structured systems and in topologically constrained systems has recently been examined in different papers. However, the specific role that mathematical properties play in equilibrium explanations requires further examination, as different authors defend different interpretations, some of them closer to the new-mechanistic approach than to the structural model advocated by Huneman. In this paper, we cover this gap by investigating the explanatory role that mathematics play in Blaser and Kirschner’s nested equilibrium model of the stability of persistent long-term human-microbe associations. We argue that their model is explanatory because: i) it provides a mathematical structure in the form of a set of differential equations that together satisfy an ESS; ii) that the nested nature of the ESSs makes the explanation of host-microbe persistent associations robust to any perturbation; iii) that this is so because the properties of the ESS directly mirror the properties of the biological system in a non-causal way. The combination of these three theses make equilibrium explanations look more similar to structural explanations than to causal-mechanistic explanation. (shrink)

The concept of emergence is commonly invoked in modern physics but rarely defined. Building on recent influential work by Jeremy Butterfield, I provide precise definitions of emergence concepts as they pertain to properties represented in models, applying them to some basic examples from space-time and thermostatistical physics. The chief formal innovation I employ, similarity structure, consists in a structured set of similarity relations among those models under analysis—and their properties—and is a generalization of topological structure. (...) Although motivated from physics, this similarity-structure-based account of emergence applies to any science that represents its possibilia with models. (shrink)

We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We exhibit a number of natural correspondences between the model-theoretic properties of classes and their constituent models and the topological properties of the associated spaces. Tameness of Galois types, in particular, emerges as a topological separation principle. © 2011 WILEY-VCH Verlag GmbH (...) & Co. KGaA, Weinheim. (shrink)

Besides mechanistic explanations of phenomena, which have been seriously investigated in the last decade, biology and ecology also include explanations that pinpoint specific mathematical properties as explanatory of the explanandum under focus. Among these structural explanations, one finds topological explanations, and recent science pervasively relies on them. This reliance is especially due to the necessity to model large sets of data with no practical possibility to track the proper activities of all the numerous entities. The paper first defines (...) topological explanations and then explains why topological explanations and mechanisms are different in principle. Then it shows that they are pervasive both in the study of networks—whose importance has been increasingly acknowledged at each level of the biological hierarchy—and in contexts where the notion of selective neutrality is crucial; this allows me to capture the difference between mechanisms and topological explanations in terms of practical modelling practices. The rest of the paper investigates how in practice mechanisms and topologies are combined. They may be articulated in theoretical structures and explanatory strategies, first through a relation of constraint, second in interlevel theories, or they may condition each other. Finally, I explore how a particular model can integrate mechanistic informations, by focusing on the recent practice of merging networks in ecology and its consequences upon multiscale modelling. (shrink)

Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs of o-minimal groups, and show that every definable unary function in a dense pair of geometric topological fields agrees with a definable function in the reduct, off a small definable subset, that is, a definable set (...) internal to the predicate. For certain dense pairs of geometric topological fields without the independence property, whenever the underlying set of a definable group is contained in the dense-codense predicate, the group law is locally definable in the reduct as a geometric topological field. If the reduct has elimination of imaginaries, we extend this result, up to interdefinability, to all groups internal to the predicate. (shrink)

We explore a non-classical, universal set theory, based on a purely 'structural' conception of sets. A set is a transfinite process of unfolding of an arbitrary binary structure, with identity of sets given by the observational equivalence between such processes. We formalize these notions using infinitary modal logic, which provides partial descriptions for set structures up to observational equivalence. We describe the comprehension and topological properties of the resulting set-theory, and we use it to give non-classical solutions (...) to classical paradoxes, to prove fixed-point theorems that relate recursion and corecursion, to formalize 'super-large', reflexive categories and 'super-large' circular modes, and to provide 'natural' solutions for domain equations. (shrink)

Algebraic/topological descriptions of living processes are indispensable to the understanding of both biological and cognitive functions. This paper presents a fundamental algebraic description of living/cognitive processes and exposes its inherent ambiguity. Since ambiguity is forbidden to computation, no computational description can lend insight to inherently ambiguous processes. The impredicativity of these models is not a flaw, but is, rather, their strength. It enables us to reason with ambiguous mathematical representations of ambiguous natural processes. The noncomputability of these structures means (...) computerized simulacra of them are uninformative of their key properties. This leads to the question of how we should reason about them. That question is answered in this paper by presenting an example of such reasoning, the demonstration of a topological strategy for understanding how the fundamental structure can form itself from within itself. (shrink)

Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models (...) of knowledge and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB- logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. Keywords. Stalnaker’s logic KB of knowledge and belief; Topological epistemology; Epistemic Invisibility; Doxastic invisibility; Gettier cases; . (shrink)

An algebraization of the notion of topology has been proposed more than 70 years ago in a classical paper by McKinsey and Tarski, leading to an area of research still active today, with connections to algebra, geometry, logic and many applications, in particular, to modal logics. In McKinsey and Tarski’s setting the model theoretical notion of homomorphism does not correspond to the notion of continuity. We notice that the two notions correspond if instead we consider a preorder relation \( \sqsubseteq (...) \) defined by \(a \sqsubseteq b\) if _a_ is contained in the topological closure of _b_, for _a_, _b_ subsets of some topological space. A _specialization poset_ is a partially ordered set endowed with a further coarser preorder relation \( \sqsubseteq \). We show that every specialization poset can be embedded in the specialization poset naturally associated to some topological space, where the order relation corresponds to set-theoretical inclusion. Specialization semilattices are defined in an analogous way and the corresponding embedding theorem is proved. Specialization semilattices have the amalgamation property. Some basic topological facts and notions are recovered in this apparently very weak setting. The interest of these structures arises from the fact that they also occur in many rather disparate contexts, even far removed from topology. (shrink)

I consider recent uses of the notion of neutrality in evolutionary biology and ecology, questioning their relevance to the kind of explanation recently labeled ‘topological explanation’. Focusing on fitness landscapes and genotype-phenotype maps, I explore the explanatory uses of neutral subspaces, as modeled in two perspectives: hyperdimensional fitness landscapes and RNA sequence-structure maps. I argue that topological properties of such spaces account for features of evolutionary systems: respectively, capacity for adaptive evolution toward global optima and mutational (...) robustness of genotypes. Thus many models appealing to “neutral” manifolds provide topological alternatives to hypothetical mechanisms. (shrink)

In the early 1920s, Hans Reichenbach and Kurt Lewin presented two topological accounts of time that appear to be interrelated in more than one respect. Despite their different approaches, their underlying idea is that time order is derived from specific structural properties of the world. In both works, moreover, the notion of genidentity--i.e., identity through or over time--plays a crucial role. Although it is well known that Reichenbach borrowed this notion from Kurt Lewin, not much has been written (...) about their relationship, nor about the way Lewin implemented this notion in his own work in order to ground his topology. This paper examines these two early versions of the topology of time, and follows the extent of Lewin’s influence on Reichenbach’s proposal. (shrink)

Given an abstract logic L = L(Q i ) i ∈ I generated by a set of quantifiers Q i , one can construct for each type τ a topological space S τ exactly as one constructs the Stone space for τ in first-order logic. Letting T be an arbitrary directed set of types, the set $S_T = \{(S_\tau, \pi^\tau_\sigma)\mid\sigma, \tau \in T, \sigma \subset \tau\}$ is an inverse topological system whose bonding mappings π τ σ are naturally (...) determined by the reduct operation on structures. We relate the compactness of L to the topological properties of S T . For example, if I is countable then L is compact iff for every τ each clopen subset of S τ is of finite type and S τ is homeomorphic to $\underset{lim}S_T$ , where T is the set of finite subtypes of τ. We finally apply our results to concrete logics. (shrink)

It is well-known that the global structure of every space-time model for relativistic cosmology is observationally underdetermined. In order to alleviate the severity of this underdetermination, it has been proposed that we adopt the Cosmological Principle because the Principle restricts our attention to a distinguished class of space-time models (spatially homogeneous and isotropic models). I argue that, even assuming the Cosmological Principle, the topology of space remains observationally underdetermined. Nonetheless, I argue that we can muster reasons to prefer various (...) topological properties over others. In particular, I favor the adoption of multiply connected universe models on grounds of (i) simplicity, (ii) Machian considerations, and (iii) explanatory power. We are able to appeal to such grounds because multiply connected topologies open up the possibility of finite universe models (consistent with our best data), which in turn avoid thorny issues concerning the postulation of an actually infinite universe. (shrink)

In the second installment to Gruszczyński and Pietruszczak we carry out an analysis of spaces of points of Grzegorczyk structures. At the outset we introduce notions of a concentric and \-concentric topological space and we recollect some facts proven in the first part which are important for the sequel. Theorem 2.9 is a strengthening of Theorem 5.13, as we obtain stronger conclusion weakening Tychonoff separation axiom to mere regularity. This leads to a stronger version of Theorem 6.10. Further, we (...) show that Grzegorczyk points are maximal contracting filters in the sense of De Vries, but the converse inclusion is not necessarily true. We also compare the notions of a Grzegorczyk point and an ultrafilter, and establish several properties of topological spaces based on Grzegorczyk structures. The main results of the paper are representation and completion theorems for G-structures. We prove both set-theoretical and topological representation theorems for various classes of G-structures. We also present topological object duality theorem for the class of complete G-structures and the class of concentric spaces, both restricted to structures which satisfy countable chain condition. We conclude the paper with proving equivalence of the original Grzegorczyk axiom with the one accepted by us as axiom. (shrink)

We show that true first-order arithmetic is interpretable over the real-algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras. From this the undecidability of the structures follows. We also show that Scott's model is equivalent to true second-order arithmetic. In the appendix we argue that undecidability on the language of ordered rings follows from intuitionistically plausible properties of the real numbers.

In this dissertation we explore projective Fraïssé theory and its applications, as well as limitations, to the study of compact metrizable spaces. The goal of projective Fraïssé theory is to approximate spaces via classes of finite structures and glean topological or dynamical properties of a space by relating them to combinatorial features of the associated class of structures. Using the framework of compact metrixable structures, we establish general results which expand and help contextualize previous works in the field. (...) Many proofs in the domain of projective Fraïssé theory are carried out in a context dependent fashion and have thus far eluded clean generalizations. A reason is to be found in the lack of a clear understanding of which spaces are amenable to be studied via projective Fraïssé limits. We give both positive and negative results in this direction. We isolate a combinatorial condition which entails a correspondence between finite structures and regular quasi-partitions of compact metrizable spaces. This correspondence greatly aids the combinatorial-toplogical translation. We apply this machinery to study a class of one-dimensional compact metrizable spaces, which we call smooth fences. To this end, we isolate a class of finite structures—finite partial orders whose Hasse diagram is a forest—whose projective Fraïssé limit approximates a distinctive smooth fence with remarkable properties. We call it the Fraïssé fence and characterize it topologically by carefully exploiting the bridge between the combinatorial and topological worlds. We explore homogeneity and universality features of the Fraïssé fence and the properties of its spaces and endpoints, and provide some results on the dynamics of its group of homeomorphisms. The dissertation is partially based on [1, 2]. (shrink)

All the typical global quantum mechanical observables are complex relative phases obtained by interference phenomena. They are described by means of some global geometric phase factor, which is thought of as the “memory” of a quantum system undergoing a “cyclic evolution” after coming back to its original physical state. The origin of a geometric phase factor can be traced to the local phase invariance of the transition probability assignment in quantum mechanics. Beyond this invariance, transition probabilities also remain invariant under (...) the operation of complex conjugation. Most important, geometric phase factors distinguish between unitary and antiunitary transformations in terms of complex conjugation. These two types of invariance functions as an anchor point to investigate the role of loops and based loops in the state space of a quantum system as well as their links and interrelations. We show that arbitrary transition probabilities can be calculated using projective invariants of loops in the space of rays. The case of the double slit experiment serves as a model for this purpose. We also represent the action of one-parameter unitary groups in terms of oppositely oriented-based loops at a fixed ray. In this context, we explain the relation among observables, local Boolean frames of projectors, and one-parameter unitary groups. Next, we exploit the non-commutative group structure of oriented-based loops in 3-d space and demonstrate that it carries the topological semantics of a Borromean link. Finally, we prove that there exists a representation of this group structure in terms of one-parameter unitary groups that realizes the topological linking properties of the Borromean link. (shrink)

In this work, we investigate the relationship between paraconsistent semantics and some well-known topological spaces such as connected and continuous spaces. We also discuss homotopies as truth preserving operations in paraconsistent topological models.

We discuss here a series of testable hypotheses concerning the role of chromosome folding into topologically associating domains (TADs). Several lines of evidence suggest that segmental packaging of chromosomal neighborhoods may underlie features of chromatin that span large domains, such as heterochromatin blocks, association with the nuclear lamina and replication timing. By defining which DNA elements preferentially contact each other, the segmentation of chromosomes into TADs may also underlie many properties of long‐range transcriptional regulation. Several observations suggest that TADs (...) can indeed provide a structural basis to regulatory landscapes, by controlling enhancer sharing and allocation. We also discuss how TADs may shape the evolution of chromosomes, by causing maintenance of synteny over large chromosomal segments. Finally we suggest a series of experiments to challenge these ideas and provide concrete examples illustrating how they could be practically applied. (shrink)

Understanding of elementary topological equivalencies is impaired by preconceptions about the topological structure of ordinary objects, so that the equivalencies turn out to be counterintuitive. Here I will discuss some of these preconceptions, namely the dominance of gestalt properties of the visual display of the configuration, the neglect of holistic properties, the dominance of transformations the preserve metric properties over those that preserve topological properties only, the assumption that holes are objects of (...) their own. These factors delineate an empirical research field, intuitive topology. An explanatory hypothesis for the preconceptions suggests that they are hard-wired. (shrink)