Related papers: On structured spaces and their properties
We present an algebraic characterization of the complexity classes Logspace and NLogspace, using an algebra with a composition law based on unification. This new bridge between unification and complexity classes is inspired from proof…
In this paper we introduce the concept of the rectangular metric like spaces, along with its topology and we prove some fixed point theorems under different contraction principles. We introduce the concept of modified metric-like space as…
In this paper which is the first of a series of papers on smooth structures, the concepts of C-structures and smooth structures are introduced and studied. The notion of smooth structure on semi-integral domains is given. It is shown that…
A class of nets in constructive (in A.A.Markov's sense) topological space for which the convergence is equivalent to convergence of all subsequences, is described. B.A.Kushner's theorem about coincidence of strong and weak constructive…
In this paper we explore algebraic and geometric structures that arise on parallelizable manifolds. Given a parallelizable manifold $\mathbb{L}$, there exists a global trivialization of the tangent bundle, which defines a map…
The aim of this note is to explain in which sense an axiomatic Sobolev space over a general metric measure space (\`a la Gol'dshtein-Troyanov) induces - under suitable locality assumptions - a first-order differential structure.
In this paper we propose two guiding principles that suggest a number of conjectures (some now proved) about various forms of rigidity for moduli spaces arising in algebraic geometry. Such conjectures have group-theoretic, topological and…
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
This is the first paper in a series on intrinsic Donaldson-Thomas theory, where we develop a new framework for enumerative geometry that allows the generalization of constructions and results from linear moduli stacks to general non-linear…
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…
We initiate a systematic study of lattices of thick subcategories for arbitrary essentially small triangulated categories. To this end we give several examples illustrating the various properties these lattices may, or may not, have and…
We discuss here geometric structures of condensed matters by means of a fundamental topological method. Any geometric pattern can be universally represented by a decomposition space of a topological space consisting of the infinite product…
In architecture, city planning, visual arts, and other design areas, shapes are often made with points, or with structural representations based on point-sets. Shapes made with points can be understood more generally as finite arrangements…
We introduce a framework to define coalgebra and bialgebra structures on two-dimensional (2D) square lattices, extending the algebraic theory of Hopf algebras and quantum groups beyond the one-dimensional (1D) setting. Our construction is…
A generic method for combinatorial constructions of intrinsic geometrical spaces is presented. It is based on the well known inverse sequences of finite graphs that determine (in the limit) topological spaces. If a pattern of the…
It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric…
We prove a characterization of profinite algebras, i.e., topological algebras that are isomorphic to a projective limit of finite discrete algebras. In general profiniteness concerns both the topological and algebraic characteristics of a…
We study different notions of connected constructive metric spaces. They differ the types of connected components and how different components relate to each other. These notions are equivalent in classical point set topology but they give…
We define and study structural properties of hypergraphs of models of a theory including lattice ones. Characterizations for the lattice properties of hypergraphs of models of a theory, as well as for structures on sets of isomorphism types…
A Smarandache multi-space is a union of $n$ different spaces equipped with some different structures for an integer $n\geq 2$, which can be both used for discrete or connected spaces, particularly for geometries and spacetimes in…