In this paper we give a differential lifting principle which provides a general method to geometrically axiomatize the model companion (if it exists) of some theories of differential topological fields. The topological fields we consider here are in fact topological systems in the sense of van den Dries, and the lifting principle we develop is a generalization of the geometric axiomatization of the theory DCF₀ given by Pierce and Pillay. Moreover, it provides a geometric alternative (...) to the axiomatizations obtained by Tressl and Guzy/Point in separate papers where the authors also build general schemes of axioms for some model complete theories of differential fields. We first characterize the existentially closed models of a given theory of differential topological fields and then, under an additional hypothesis of largeness, we show how to modify this characterization to get a general scheme of first-order axioms for the model companion of any large theory of differential topological fields. We conclude with an application of this lifting principle proving that, in existentially closed models of a large theory of differential topological fields, the jet-spaces are dense in their ambient topological space. (shrink)

Given a model-complete theory of topological fields, we considered its generic differential expansions and under a certain hypothesis of largeness, we axiomatised the class of existentially closed ones. Here we show that a density result for definable types over definably closed subsets in such differential topological fields. Then we show two transfer results, one on the VC-density and the other one, on the combinatorial property NTP2.

We consider interpretable topological spaces and topological groups in a p-adically closed field K. We identify a special class of “admissible topologies” with topological tameness properties like generic continuity, similar to the topology on definable subsets of Kn. We show that every interpretable set has at least one admissible topology, and that every interpretable group has a unique admissible group topology. We then consider definable compactness (in the sense of Fornasiero) on interpretable groups. We show that an (...) interpretable group is definably compact if and only if it has finitely satisfiable generics (fsg), generalizing an earlier result on definable groups. As a consequence, we see that fsg is a definable property in definable families of interpretable groups, and that any fsg interpretable group defined over Qp is definably isomorphic to a definable group. (shrink)

Let [Formula: see text] be an expansion of either an ordered field [Formula: see text], or a valued field [Formula: see text]. Given a definable set [Formula: see text] let [Formula: see text] be the ring of continuous definable functions from [Formula: see text] to [Formula: see text]. Under very mild assumptions on the geometry of [Formula: see text] and on the structure [Formula: see text], in particular when [Formula: see text] is [Formula: see text]-minimal or [Formula: see text]-minimal, or (...) an expansion of a local field, we prove that the ring of integers [Formula: see text] is interpretable in [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] is definably connected of pure dimension [Formula: see text], then [Formula: see text] defines the subring [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] has no isolated points, then there is a discrete ring [Formula: see text] contained in [Formula: see text] and naturally isomorphic to [Formula: see text], such that the ring of functions [Formula: see text] which take values in [Formula: see text] is definable in [Formula: see text]. (shrink)

We construct a fibered dimension function in some topological differential fields.

We consider first-order theories of topological fields admitting a model-completion and their expansion to differential fields . We give a criterion under which the expansion still admits a model-completion which we axiomatize. It generalizes previous results due to M. Singer for ordered differential fields and of C. Michaux for valued differential fields. As a corollary, we show a transfer result for the NIP property. We also give a geometrical axiomatization of that model-completion. Then, for certain (...) differential valued fields, we extend the positive answer of Hilbert’s seventeenth problem and we prove an Ax–Kochen–Ershov theorem. Similarly, we consider first-order theories of topological fields admitting a model-companion and their expansion to differential fields, and under a similar criterion as before, we show that the expansion still admits a model-companion. This last result can be compared with those of M. Tressl: on one hand we are only dealing with a single derivation whereas he is dealing with several, on the other hand we are not restricting ourselves to definable expansions of the ring language, taking advantage of our topological context. We apply our results to fields endowed with several valuations. (shrink)

In field computing a topologic organization of CFs is necessary to support sensorimotor planning. A simple model of cortical dynamics can exploit such topologic organization.

Given a group , G⊆Mm, definable in a first-order structure equation image equipped with a dimension function and a topology satisfying certain natural conditions, we find a large open definable subset V⊆G and define a new topology τ on G with which becomes a topological group. Moreover, τ restricted to V coincides with the topology of V inherited from Mm. Likewise we topologize transitive group actions and fields definable in equation image. These results require a series of preparatory (...) facts concerning dimension functions, some of which might be of independent interest. (shrink)

We construct a nontrivial definable type V field topology on any dp-minimal field K that is not strongly minimal, and prove that definable subsets of Kn have small boundary. Using this topology and...

We extend to curved space-time the field theory on R×S3 topology in which field equations were obtained for scalar particles, spin one-half particles, the electromagnetic field of magnetic moments, an SU2 gauge theory, and a Schrödinger-type equation, as compared to ordinary field equations that are formulated on a Minkowskian metric. The theory obtained is an angular-momentum representation of gravitation. Gravitational field equations are presented and compared to the Einstein field equations, and the mathematical and physical similarity and differences between them (...) are pointed out. The problem of motion is discussed, and the equations of motion of a rigid body are developed and given explicitly. One result which is worth emphazing is that while general relativity theory yields Newton's law of motion in the lowest approximation, our theory gives Euler's equations of motion for a rigid body in its lowest approximation. (shrink)

A brief description of the ordinary field theory, from the variational and Noether's theorem point of view, is outlined. A discussion is then given of the field equations of Klein-Gordon, Schrödinger, Dirac, Weyl, and Maxwell in their ordinary form on the Minkowskian space-time manifold as well as on the topological space-time manifold R × S3 as they were formulated by Carmeli and Malin, including the latter's most general solutions. We then formulate the general variational principle in the R × (...) S3 topological space, from which we derive the field equations in this space. (shrink)

The equations of electrodynamics for the interactions between magnetic moments are written on R×S3 topology rather than on Minkowskian space-time manifold of ordinary Maxwell's equations. The new field equations are an extension of the previously obtained Klein-Gordon-type, Schrödinger-type, Weyl-type, and Dirac-type equations. The concept of the magnetic moment in our case takes over that of the charge in ordinary electrodynamics as the fundamental entity. The new equations have R×S3 invariance as compared to the Lorentz invariance of Maxwell's equations. The solutions (...) of the new field equations are given. In this theory the divergence of the electric field vanishes whereas that of the magnetic field does not. (shrink)

A gauge theory on R×S 3 topology is developed. It is a generalization to the previously obtained field theory on R×S 3 topology and in which equations of motion were obtained for a scalar particle, a spin one-half particle, the electromagnetic field of magnetic moments, and a Shrödinger-type equation, as compared to ordinary field equations defined on a Minkowskian manifold. The new gauge field equations are presented and compared to the ordinary Yang-Mills field equations, and the mathematical and physical differences (...) between them are discussed. (shrink)

A Klein-Gordon-type equation onR×S 3 topology is derived, and its nonrelativistic Schrödinger equation is given. The equation is obtained with a Laplacian defined onS 3 topology instead of the ordinary Laplacian. A discussion of the solutions and the physical interpretation of the equation are subsequently given, and the most general solution to the equation is presented.

A Dirac-type equation on R×S 3 topology is derived. It is a generalization of the previously obtained Klein-Gordon-type, Schrödinger-type, and Weyl-type equations, and reduces to the latter in the appropriate limit. The (discrete) energy spectrum is found and the corresponding complete set of solutions is given as expansions in terms of the matrix elements of the irreducible representations of the group SU 2 . Finally, the properties of the solutions are discussed.

A Weyl-type equation onR×S 3 topology is derived, as a generalization to previously obtained Klein-Gordon- and Schrödinger-type equations for the same topology. The general solution of the new equation is given as an expansion in the matrix elements of the irreducible representations of the groupSU 2. The properties of the solutions are discussed.

The basic methodology of rough set theory depends on an equivalence relation induced from the generated partition by the classification of objects. However, the requirements of the equivalence relation restrict the field of applications of this philosophy. To begin, we describe two kinds of closure operators that are based on right and left adhesion neighbourhoods by any binary relation. Furthermore, we illustrate that the suggested techniques are an extension of previous methods that are already available in the literature. As a (...) result of these topological techniques, we propose extended rough sets as an extension of Pawlak’s models. We offer a novel topological strategy for making a topological reduction of an information system for COVID-19 based on these techniques. We provide this medical application to highlight the importance of the offered methodologies in the decision-making process to discover the important component for coronavirus infection. Furthermore, the findings obtained are congruent with those of the World Health Organization. Finally, we create an algorithm to implement the recommended ways in decision-making. (shrink)

The quantization of the magnetic flux in superconducting rings is studied in the frame of a topological model of electromagnetism that gives a topological formulation of electric charge quantization. It turns out that the model also embodies a topological mechanism for the quantization of the magnetic flux with the same relation between the fundamental units of magnetic charge and flux as there is between the Dirac monopole and the fluxoid.

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)

A topological inevitability of early developmental events through the use of classical topological concepts is discussed. Topological dynamics of forms and maps in embryo development are presented. Forms of a developing organism such as cell sets and closed surfaces are topological objects. Maps (or mathematical functions) are additional topological constructions in these objects and include polarization, singularities and curvature. Topological visualization allows us to analyze relationships that link local morphogenetic processes and integral developmental structures (...) and also to find stable spatio-temporal topological characteristics that are invariant for a taxonomic group. The application of topological principles reveals a topological imperative: certain topological rules define and direct embryogenesis. A topological stability of embryonic morphogenesis is proposed and a topological scenario of developmental and evolutionary transformations is presented. (shrink)

We investigate definable topological dynamics of groups definable in an o‐minimal expansion of the field of reals. Assuming that a definable group G admits a model‐theoretic analogue of Iwasawa decomposition, namely the compact‐torsion‐free decomposition, we give a description of minimal subflows and the Ellis group of its universal definable flow in terms of this decomposition. In particular, the Ellis group of this flow is isomorphic to. This provides a range of counterexamples to a question by Newelski whether the Ellis (...) group is isomorphic to. We further extend the results to universal topological covers of definable groups, interpreted in a two‐sorted structure containing the o‐minimal sort and a sort for an abelian group. (shrink)

Post algebras of order + as a semantic foundation for +-valued predicate calculi were examined in [5]. In this paper Post spaces of order + being a modification of Post spaces of order n2 (cf. Traczyk [8], Dwinger [1], Rasiowa [6]) are introduced and Post fields of order + are defined. A representation theorem for Post algebras of order + as Post fields of sets is proved. Moreover necessary and sufficient conditions for the existence of representations preserving a (...) given set of infinite joins and infinite meets are established and applied to Lindenbaum-Tarski algebras of elementary theories based on +-valued predicate calculi in order to obtain a topological characterization of open theories. (shrink)

A model for U(1) gauge theories over a compact Lie group is described usingR×S 3 as background space. A comparison with other results is given. Electrodynamics equations are obtained. Finally, some considerations and observations about gravity onR×S 3 space are presented.

The present paper gives a topological solution to representability problems related to multi-utility, in the field of Decision Theory. Necessary and sufficient topologies for the existence of a semicontinuous and finite Richter–Peleg multi-utility for a preorder are studied. It is well known that, given a preorder on a topological space, if there is a lower semicontinuous Richter–Peleg multi-utility, then the topology of the space must be finer than the Upper topology. However, this condition fails to be sufficient. Instead (...) of search for properties that must be satisfied by the preorder, we study finer topologies which are necessary or/and sufficient for the existence of semicontinuous representations. We prove that Scott topology must be contained in the topology of the space in case there exists a finite lower semicontinuous Richter–Peleg multi-utility. However, the existence of this representation cannot be guaranteed. A sufficient condition is given by means of Alexandroff’s topology, for that, we prove that more order implies less Alexandroff’s topology, as well as the converse. Finally, the paper is implemented with a topological study of the maximal elements. (shrink)

Recent arguments asserting a topological turn in culture also identify a range of topologically informed interventions in social and cultural theory. Talk of a topological turn evokes both the enduring interest that the field of mathematics presents and the business of analysis in the cultural sphere. This article questions the novelty of this ‘becoming topological of culture’ and digs into a deeper historicity in order to identify the trends that may be said to support the development of (...) topology in the current situation. It also examines the relationship between mathematics considered ontologically and mathematics considered epistemologically, in order to better grasp the significance of the practical abstractions that mathematics as technics manifests. Discussions of Cantor, Russell, Poincaré, Lévi-Strauss, Lacan and others address the background of contemporary mathematical topology. The article goes on to examine Alain Badiou’s principle that mathematics is ontology and concludes with a discussion of the mathematics of Martin Heidegger. (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)

Beyond their linguistic and rhetorical uses, the mental epistemic verbs to knowand to believe reveal a basic conceptual system for human intentionality and the theory of representational mind. Numerous studies, particularly in the field of child development, have been devoted to the conditions under which knowledge and belief are acquired. Upstream of this empirical approach, this paper proposes a topological model of the conceptual structure underlying the linguistic use of to know and to believe. A cusp model of catastrophe (...) theory is chosen to model the formation of epistemic states. Its main characteristic is considering to believe as an intermediate state which lacks stability and presents the delayed effect of hysteresis. The attribution of mental states to the other (viewpoint of the third person) is obtained by the crossing of first and third person knowledge and belief, which gives rise to new categories (to know if and to falsely believe) and closes the system. Another merging of the beliefs of persons A and B, using the butterfly catastrophe, provides a model of interpersonal belief appreciated by an independent observer along a potential evolving from agreement to disagreement. (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)

Topology and geometry have played an important role in our theoretical understanding of quantum field theories. One of the most interesting applications of topology has been the quantization of certain coupling constants. In this paper, we present a general framework for understanding the quantization itself in the light of group cohomology. This analysis of the cohomological aspects of physics leads to reconsider the very foundations of mechanics in a new light.

It is a well-known fact that mathematics plays a crucial role in physics; in fact, it is virtually impossible to imagine contemporary physics without it. But it is questionable whether mathematical concepts could ever play such a role in psychology or philosophy. In this paper, we set out to examine a rather unobvious example of the application of topology, in the form of the theory of persons proposed by Kurt Lewin in his Principles of Topological Psychology. Our aim is (...) to show that this branch of mathematics can furnish a natural conceptual system for Gestalt psychology, in that it provides effective tools for describing global qualitative aspects of the latter’s object of investigation. We distinguish three possible ways in which mathematics can contribute to this: explanation, explication and metaphor. We hold that all three of these can be usefully characterized as throwing light on their subject matter, and argue that in each case this contrasts with the role of explanations in physics. Mathematics itself, we argue, provides something different from such explanations when applied in the field of psychology, and this is nevertheless still cognitively fruitful. (shrink)

The commonalities of Douglas Walton's Slippery Slope Arguments and James Davies's Ways of Thinking are obvious: both are written by Canadian philosophers; both lie within the broad field of informal logic; and both make appeals in support of dialogical reasoning. But there the similarities end. The former is the work of a prolific author writing a treatise focussing narrowly on one topic within informal logic; the latter is the product of a newcomer to book-writing, and his is a textbook intended (...) for beginning students. (shrink)

The article is devoted to the nature of the topological intuition and disclosure of the specifics of topological heuristics in the framework of philosophical theory of knowledge. As we know, intuition is a one of the support categories of the theory of knowledge, the driving force of scientific research. Great importance is mathematical intuition for the solution of non-standard problems, for which there is no algorithm for such a solution. In such cases, the mathematician addresses the so-called heuristics, (...) built on the basis of guesswork, obtained by intuition. The author substantiates the conclusion that topological intuition significantly specific compared to a traditional mathematical intuitions of Euclidean geometry. Today topology is a rapidly developing field of modern mathematics, integrates nicely with other sections of mathematical science. In its most general form of the topology can be defined as the branch of mathematics that studies the properties of spatial figures, does not change under deformations. The topological intuition is an instrument for development of topology on the basis of typological heuristics, which is the result of applying topological intuition to the objects topology. The author demonstrates in detail providing with the examples the specificity of topological heuristics and establishes its interconnection with Euclidean geometry. The author draws the conclusion about the fundamentality of topological intuition, and that it, perhaps, is primary in relation to traditionally understood mathematical 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)

In this paper we introduce the notion of a first order topological structure, and consider various possible conditions on the complexity of the definable sets in such a structure, drawing several consequences thereof.Our aim is to develop, for a restricted class of unstable theories, results analogous to those for stable theories. The “material basis” for such an endeavor is the analogy between the field of real numbers and the field of complex numbers, the former being a “nicely behaved” unstable (...) structure and the latter the archetypal stable structure. In this sense we try here to situate our work ono-minimal structures [PS] in a general topological context. Note, however, that thep-adic numbers, and structures definable therein, will also fit into our analysis.In the remainder of this section we discuss several ways of studying topological structures model-theoretically. Eventually we fix on the notion of a structure in which the topology is “explicitly definable” in the sense of Flum and Ziegler [FZ]. In §2 we introduce the hypothesis that every definable set is a Boolean combination of definable open sets. In §3 we introduce a “dimension rank” on definable sets. In §4 we consider structures on which this rank is defined, and for which also every definable set has a finite number of definably connected definable components. We show that prime models over sets exist under such conditions. (shrink)

definitions and explanations frequently come together and permeate almost all fields of knowledge. This does not exclude mathematics, even when these definitions hold clear links and close connections with our physical world. Here we propose a rather different perspective. Making operational physical assumptions, we show how it is possible to rigorously reconstruct some features of both geometry and topology. Broadly speaking, assuming this operational and more concrete philosophy we not only are capable of defining primitive concepts like points, straight (...) lines, planes, angles and spaces, but we also go all the way up to more complex constructions. We show that within our method it is also possible to come up with what we call a compass-based topology as well as a normed and a metric space. We hope this operationalist point-of-view can assist other researchers and students to have a clearer understanding of these quite abstract concepts. (shrink)

We initiate the study of definable [Formula: see text]-topologies and show that there is at most one such [Formula: see text]-topology on a [Formula: see text]-henselian NIP field. Equivalently, we show that if [Formula: see text] is a bi-valued NIP field with [Formula: see text] henselian, then [Formula: see text] and [Formula: see text] are comparable. As a consequence, Shelah’s conjecture for NIP fields implies the henselianity conjecture for NIP fields. Furthermore, the latter conjecture is proved for any (...) field admitting a henselian valuation with a dp-minimal residue field. We conclude by showing that Shelah’s conjecture is equivalent to the statement that any NIP field not contained in the algebraic closure of a finite field is [Formula: see text]-henselian. (shrink)

In this pedagogical communication after demonstrating the legitimacy for using the quantum theory of atoms in molecules (QTAIM) to non-Coulombic systems, Hookean H2 +/H3 2+ species are used for AIM analysis. In these systems, in contrast to their Coulombic counterparts, electron density is atom-like and instead of expected two/three topological atoms, just a single topological atom emerges. This observation is used to demonstrate that what is really “seen” by the topological analysis of electron densities is the clustering (...) of electrons. The very trait of monotonic decay of electron density around the “centers” of clustering guarantees the appearance of topological atoms as basin of attraction of the gradient vector field of the electron density. Although observations with Hookean molecules may seem disappointing at first glance, a careful reasoning points to the fact that the QTAIM methodology is extendable to novel domains, by a knowledge of the morphology of underlying densities, beyond the typical Coulombic systems. (shrink)

Introduction. Topology is the most general and most fundamental branch of geometry. Logically its study should precede that of other kinds of geometry. But mathematical knowledge, whether regarded as part of our cultural heritage or as the possession of an individual, does not come into being like a building, from a completed foundation to a limited superstructure, but rather grows like a tree with ever-deepening roots as well as ever-spreading branches. So, historically, systematic studies in topology lagged behind Euclid's elements (...) some 2000 years and were unknown a century ago. There has, however, been considerable activity in this field by the present generation, and a number of modern treatments are available for the specialist. In spite of its fundamental nature, the subject is difficult, and many of its problems remain unsolved even today. This difficulty makes it pedagogically advisable to avoid questions of topology germane to other branches of mathematics and there is a distinct scarcity of material available even to the mathematician, whose main interest lies outside this field. (shrink)

At the turn of the 21st century, topology, the mathematical study of spatial properties that remain the same under the continuous deformation of objects, has come to invest all fields of aesthetics and culture. In particular, the algebraic topology of continuity has added to the digital realm of binary information, the on and off states of 0s and 1s, an invariant property, which now governs the relation between different forms of data. As this invariant function of continual transformation has (...) entered the field of automated computation, the culture of binary digits has shifted towards a new level of calculation derived from the introduction of temporal quantities into finite sets of algorithmic instructions and parameters. This new level of topological computation, it will be argued, defines new operative procedures of control, constantly adding axioms at the limit of calculation through an invariant function that establishes a smooth or uninterrupted connectivity between distinct data. The establishment of a continual function between distinct forms of data is based on homeomorphism or topological isomorphism between data objects, of which parametricism, as the new global style for architecture and design, is a perfect example. (shrink)

It is a well-known fact that mathematics plays a crucial role in physics; in fact, it is virtually impossible to imagine contemporary physics without it. But it is questionable whether mathematical concepts could ever play such a role in psychology or philosophy. In this paper, we set out to examine a rather unobvious example of the application of topology, in the form of the theory of persons proposed by Kurt Lewin in his Principles of Topological Psychology. Our aim is (...) to show that this branch of mathematics can furnish a natural conceptual system for Gestalt psychology, in that it provides effective tools for describing global qualitative aspects of the latter’s object of investigation. We distinguish three possible ways in which mathematics can contribute to this: explanation, explication and metaphor. We hold that all three of these can be usefully characterized as throwing light on their subject matter, and argue that in each case this contrasts with the role of explanations in physics. Mathematics itself, we argue, provides something different from such explanations when applied in the field of psychology, and this is nevertheless still cognitively fruitful. (shrink)

The recursion-theoretic study of mathematical structures other thanωis now a field of much activity. Analysis and algebra are two such structures which have been studied for their effective contents. Studies in analysis began with the work of Specker on nonconstructive proofs in analysis [16] and in Lacombe's inspiring notes on relevant notions of recursive analysis [8]. Studies in algebra originated in the work of Frolich and Shepherdson on effective extensions of explicit fields [1] and in Rabin's study of computable (...) fields [15]. Equipped with the richness of modern techniques in recursion theory, Metakides and Nerode [11]–[13] began investigating the effective content of vector spaces and fields; these studies have been extended by Kalantari, Remmel, Retzlaff, Shore and others.Kalantari and Retzlaff [5] began a foundational inquiry into effectiveness in topological spaces. They consider a topological spaceXwith a countable basis ⊿ for the topology. The space isfully effective, that is, the basis elements are coded intoωand the operation of intersection of basis elements and the relation of inclusion among them are both computable. Similar to, the lattice of recursively enumerable subsets ofω, the collection of r.e. open subsets ofXforms a latticeℒunder the usual operations of union and intersection. (shrink)

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)

Evidence is presented that the singularities induced in causal Lorentzian spacetimes by changes in 3-space topology give rise to infinite particle and energy production under reasonable laws of quantum field propagation. In the case of the gravitational field, if 3-space is compact the total energy must vanish. A topological transition therefore induces a violent collapse that effectively aborts the transition, since the collapse mode is the only mode carrying the negative energy needed to compensate the associated infinite energy production. (...) The existence of the Hamiltonian constraint of general relativity suggests that topological stability is a local property of the quantum theory that is maintained even when 3-space is noncompact. (shrink)