منابع مشابه
Spatial Vagueness and Second-Order Vagueness
This paper presents a geometric characterization of geographic objects with vague boundaries. Since the framework is based on ordering geometry and does not rely on numerical concepts, it can be applied to qualitative spatial reasoning. The characterization describes vague regions and gradual transitions between two vague regions. This approach takes into account that the region of all points t...
متن کاملTopological Sigma Models
A variant of the usual supersymmetric nonlinear sigma model is described, governing maps from a Riemann surface Σ to an arbitrary almost complex manifold M. It possesses a fermionic BRST-like symmetry, conserved for arbitrary Σ, and obeying Q = 0. In a suitable version, the quantum ground states are the 1 + 1 dimensional Floer groups. The correlation functions of the BRST-invariant operators ar...
متن کاملTopological Models for Arithmetic
In this paper, we use topological models to compute the `–adic topological K-theory of certain arithmetic rings A. Our technique is to exploit class field theory to show that the etale topological type of A is equivalent in an appropriate sense to something relatively simple. Calculating the K-theory of this simple “topological model” provides an explicit determination of the `–adic topological...
متن کاملOn topological models of GLP
We develop topological semantics of a polymodal provability logic GLP. Our main result states that the bimodal fragment of GLP, although incomplete with respect to relational semantics, is topologically complete. The topological (in)completeness of GLP remains an interesting open problem.
متن کاملPoset models of topological spaces
We consider poset models of topological spaces and show that every T1-space has an bounded complete algebraic poset model, thus give a positive answer to a question asked in a recent paper by Waszkiewicz. It is also proved that every T1-space is homeomorphic to the maximal point space of a d-space. In the classic general topology, people are mainly interested in the spaces which satisfy at leas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Erkenntnis
سال: 2020
ISSN: 0165-0106,1572-8420
DOI: 10.1007/s10670-019-00214-2