English
Related papers

Related papers: Definable one dimensional topologies in o-minimal …

200 papers

Given an autohomeomorphism on an ordered topological space or its subspace, we show that it is sometimes possible to introduce a new topology-compatible order on that space so that the same map is monotonic with respect to the new ordering.…

General Topology · Mathematics 2023-06-27 Raushan Buzyakova

Classes of Banach spaces that are finitely, strongly finitely or elementary equivalent are introduced. On sets of these classes topologies are defined in such a way that sets of defined classes become compact totally disconnected…

Functional Analysis · Mathematics 2007-05-23 Eugene Tokarev

We consider the dimensions of finite type of representations of a partially ordered set, i.e. such that there is only finitely many isomorphism classes of representations of this dimension. We give a criterion for a dimension to be of…

Representation Theory · Mathematics 2012-01-24 Yuriy A. Drozd , Eugene A. Kubichka

The aim of this paper is twofold. Firstly, we give easy-to-handle criteria to determine whether a given family of subsets of a vector space is a neighbourhood basis of the origin for a complete vector topology. Then, we apply these criteria…

Functional Analysis · Mathematics 2025-02-20 José L. Ansorena , Alejandro Marcos

We prove a structure theorem for closed topological manifolds of cohomogeneity one; this result corrects an oversight in the literature. We complete the equivariant classification of closed, simply connected cohomogeneity one topological…

Geometric Topology · Mathematics 2015-06-09 Fernando Galaz-Garcia , Masoumeh Zarei

We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…

Logic · Mathematics 2019-08-20 Russell Miller

In this paper, we study some properties of $*-$open and $*-$closed subsets of a space. The collection of all $*-$open subsets of a space $X$ form a topology on $X$ which is denoted by $^{*}O(X)$. We investigate the relations between…

General Topology · Mathematics 2023-06-13 Aliakbar Alijani

Given an arbitrary spectral space $X$, we endow it with its specialization order $\leq$ and we study the interplay between suprema of subsets of $(X,\leq)$ and the constructible topology. More precisely, we investigate about when the…

General Topology · Mathematics 2019-11-27 Carmelo Antonio Finocchiaro , Dario Spirito

Let $\Delta$ be a spherical building each of whose irreducible components is infinite, has rank at least 2 and satisfies the Moufang condition. We show that $\Delta$ can be given the structure of a topological building that is compact and…

Group Theory · Mathematics 2011-08-09 Theo Grundhofer , Linus Kramer , Hendrik Van Maldeghem , Richard M. Weiss

Let $(X_n)_{n}$ be a sequence of uniform spaces such that each space $X_n$ is a closed subspace in $X_{n+1}$. We give an explicit description of the topology and uniformity of the direct limit $u-lim X_n$ of the sequence $(X_n)$ in the…

General Topology · Mathematics 2010-05-27 Taras Banakh , Dusan Repovs

We explain how to see finite combinatorics of preorders implicit in the {text} of basic topological definitions or arguments in (Bourbaki, General topology, Ch.I), and define a concise combinatorial notation such that complete definitions…

Category Theory · Mathematics 2024-10-01 Misha Gavrilovich

A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…

Category Theory · Mathematics 2020-06-22 Pau Enrique Moliner , Chris Heunen , Sean Tull

We prove that for a given deterministic top-down transducer with look-ahead it is decidable whether or not its translation is definable (1)~by a linear top-down tree transducer or (2)~by a tree homomorphism. We present algorithms that…

Formal Languages and Automata Theory · Computer Science 2021-06-01 Sebastian Maneth , Helmut Seidl , Martin Vu

We discuss topological versions of the closed graph theorem, where continuity is inferred from near continuity in tandem with suitable conditions on source or target spaces. We seek internal characterizations of spaces satisfying a closed…

General Topology · Mathematics 2024-04-05 Dominikus Noll

It is shown that the hyperspace of all nonempty closed subsets $\Cld_{AW}(X)$ of a separable metric space $X$ endowed with the Attouch-Wets topology is homeomorphic to a separable Hilbert space if and only if the completion of $X$ is…

Geometric Topology · Mathematics 2012-12-19 Rostyslav Voytsitskyy

Let $X$ be the prime spectrum of a ring. In [arXiv:0707.1525] the authors define a topology on $X$ by using ultrafilters and they show that this topology is precisely the constructible topology. In this paper we generalize the construction…

Commutative Algebra · Mathematics 2013-09-23 Carmelo A. Finocchiaro

We describe interrelations between a topology structure of closed manifolds (orientable and non-orientable) of the dimension $n\geq 4$ and the structure of the non-wandering set of regular homeomorphisms, in particular, Morse-Smale…

Dynamical Systems · Mathematics 2024-08-06 Elena Gurevich , Ilya Saraev

A topology on a nonempty set $X$ specifies a natural subset of $\mathcal{P}(X)$. By identifying $\mathcal{P}(\mathcal{P}(X))$ with the totally disconnected compact Hausdorff space $2^{\mathcal{P}(X)}$, the lattice $Top(X)$ of all topologies…

General Topology · Mathematics 2011-12-09 Jorge L. Bruno , Aisling E. McCluskey

We study the set of localizations of an integral domain from a topological point of view, showing that it is always a spectral space and characterizing when it is a proconstructible subspace of the space of all overrings. We then study the…

Commutative Algebra · Mathematics 2018-05-29 Dario Spirito

Given an o-minimal structure ${\mathcal M}$ with a group operation, we show that for a properly convex subset $U$, the theory of the expanded structure ${\mathcal M}'=({\mathcal M},U)$ has definable Skolem functions precisely when…

Logic · Mathematics 2016-11-17 Michael C. Laskowski , Christopher S. Shaw