Related papers: Pregeometry over locally o-minimal structure and d…
A discrete subset $S$ of a topologically gyrogroup $G$ is called a {\it suitable set} for $G$ if $S\cup \{1\}$ is closed and the subgyrogroup generated by $S$ is dense in $G$, where $1$ is the identity element of $G$. In this paper, we…
Let $G$ be a graph and $S\subseteq V(G)$. If every two adjacent vertices of $G$ have different metric $S$-representations, then $S$ is a local metric generator for $G$. A local metric generator of smallest order is a local metric basis for…
A hypergeometric type equation satisfying certain conditions defines either a finite or an infinite system of orthogonal polynomials. We present in a unified and explicit way all these systems of orthogonal polynomials, the associated…
This expository paper explores the interaction of group ordering with topological questions, especially in dimensions 2 and 3. Among the topics considered are surfaces, braid groups, 3-manifolds and their structures such as foliations and…
In this paper, a computably definable predicate is defined and characterized. Then, it is proved that every separable infinite-dimensional Hilbert structure in an effectively presented language is computable. Moreover, every definable…
We develop in this paper the theory of covers for Hausdorff properly $\bigvee $-definable manifolds with definable choice in an o-minimal structure $\N$. In particular, we show that given an $\N$-definably connected $\N$-definable group $G$…
For a $C^*$-algebra $\mathcal A$ and a von Neumann algebra $\mathcal R$, we describe the predual of space $D(\mathcal A,\mathcal R)$ of decomposable maps from $\mathcal A$ into $\mathcal R$ equipped with decomposable norm. This predual is…
This is the second in a series of papers on the relation between algebraic set theory and predicative formal systems. In part I, we introduced the notion of a predicative category of small maps and obtained the result that such categories…
Our goal here is to see the space of matrices of a given size from a geometric and topological perspective, with emphasis on the families of various ranks and how they fit together. We pay special attention to the nearest orthogonal…
Let $A$ be a unital locally matrix algebra. Among the examples of such algebras are: (1) an infinite tensor product $\otimes M_{n_i}(\mathbb{F})$ of matrix algebras over a field $\mathbb{F}$, and (2) the Clifford algebra of a nondegenerate…
We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying…
Classification and invariants, with respect to basis changes, of finite dimensional algebras are considered. An invariant open, dense (in the Zariscki topology) subset of the space of structural constants is defined. The algebras with…
We settle some open problems in the special case of groups in o-minimal structures, such as the equality of G^00 and G^000 and the equivalence of definable amenability and existence of a type with bounded orbit. We prove almost exactness of…
We continue the study of a class of topological $\mathcal{L}$-fields endowed with a generic derivation $\delta$, focussing on describing definable groups. We show that one can associate to an $\mathcal{L}_{\delta}$ definable group a type…
Most ideas about what an algorithm is are very similar. Basic operations are used for transforming objects. The evaluation of internal and external states by relations has impact on the further process. A more precise definition can lead to…
In this paper, a new structure is defined on a topological space that equips the space with a concept of distance in order to do that firstly, a generalization of quasi-pseudo-metric space named R.O-metric space is introduced, and some of…
We consider d-minimal expansions of ordered fields. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied…
The study of topological information of spatial objects has for a long time been a focus of research in disciplines like computational geometry, spatial reasoning, cognitive science, and robotics. While the majority of these researches…
In this paper, first we obtain some new and interesting results on projective modules and on the upper topology of an ordinal number. Then it is shown that the rank map of a locally of finite type projective module is continuous with…
A dimension group is a partially ordered countable group such that (1) every finite subset is contained in an ordered subgroup which is a finite direct power of Z and (2) the group has an order unit i.e. a positive element u such that every…