Related papers: Godel's Completeness Theorem and Deligne's Theorem
From the perspective of the physics of complex systems (1) we deal with the current state of mod-ern physics including the crisis in physics demonstrated through its epistemological, psychological, economical as well as the social context;…
We propose to apply the idea of analytical continuation in the complex domain to the problem of geodesic completeness. We shall analyse rather in detail the cases of analytical warped products of real lines, these ones in parallel with…
We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (resp. connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple…
With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions…
A topologized semilattice $X$ is called complete if each non-empty chain $C\subset X$ has $\inf C$ and $\sup C$ that belong to the closure $C$ of the chain $C$ in $X$. In this paper, we introduce various concepts of completeness of…
In a previous effort [arXiv:1708.05492] we have created a framework that explains why topological structures naturally arise within a scientific theory; namely, they capture the requirements of experimental verification. This is…
In this paper, we consider an equivalence relation within the class of finitely presented discrete groups attending to their asymptotic topology rather than their asymptotic geometry. More precisely, we say that two finitely presented…
In the series of papers Motivic GUT Part I: Grand Unified Theory of Topological Order, Motivic GUT Part II: Grand Unified Theory of Symmetry-Protected Topological Order, and Motivic GUT Part III: Grand Unified Theory of Symmetry-Enriched…
In the mid 1980s, while working on establishing completion theorems for equivariant Algebraic K-Theory similar to the well-known completion theorems for equivariant topological K-theory, the late Robert Thomason found the strong finiteness…
This note proves the geodesic completeness of any compact manifold endowed with a linear connection such that the closure of its holonomy group is compact.
Let $X$ be a variety. In this survey, we study (decompositions of) the motivic class, in the Grothendieck ring of stacks, of the stack $\mathscr{C}oh^n(X)$ of $0$-dimensional coherent sheaves of length $n$ on $X$. To do so, we review the…
In this paper, we formulate and prove a general compactness theorem for harmonic maps using Deligne-Mumford moduli space and families of curves. The main theorem shows that given a sequence of harmonic maps over a sequence of complex…
A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…
Every Dedekind complete Riesz space X has a unique sup-completion X^{s}, which is a Dedekind complete lattice cone. This paper aims to present a systematic study this cone by extending several known results to general setting, proving new…
We give a model-theoretic characterization of the class of geometric theories classified by an atomic topos having enough points; in particular, we show that every complete geometric theory classified by an atomic topos is countably…
A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines…
Completeness for a (topological) space is often based on the existence of special structures (such as metrics, uniformities, proximities, convergences, etc) that explicitly induce the topology, making the completeness induction-dependent.…
Coherent states, being the closest analog to classical states of wave systems, are well known to possess special properties that set them apart from most other quantum optical states. For example, they are robust against photon loss and do…
We study completeness of a topological vector space with respect to different filters on the set N of all naturals. In the metrizable case all these kinds of completeness are the same, but in non-metrizable case the situation changes. For…
G\"odel's argument for the First Incompleteness Theorem is, structurally, a proof by contradiction. This article intends to reframe the argument by, first, isolating an additional assumption the argument relies on, and then, second, arguing…