Related papers: LOTS as Fixed Point Sets: An Application of Tarski…
A number of recent papers treated the representation theory of partially ordered sets in unitary spaces with the so called orthoscalar relation. Such theory generalizes the classical theory which studies the representations of partially…
Various topological concepts are often involved in the research of mathematical logic, and almost all of these concepts can be regarded as developing from the Stone representation theorem. In the Stone representation theorem, a Boolean…
The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric…
Recently many papers on cone metric spaces have been appeared, and main topological properties of such spaces have been obtained. A cone metric space is Hausdorff, and first countable, so the topology of it coincides with a topology induced…
Systems displaying quantum topological order feature robust characteristics that are very attractive to quantum computing schemes. Topological quantum field theories have proven to be powerful in capturing the quintessential attributes of…
This is a survey article on trees, with a modest number of proofs to give a flavor of the way these topologies can be efficiently handled. Trees are defined in set-theorist fashion as partially ordered sets in which the elements below each…
We study the smallest possible number of points in a topological space having k open sets. Equivalently, this is the smallest possible number of elements in a poset having k order ideals. Using efficient algorithms for constructing a…
The structure of topological spaces is analysed here through the lenses of fibrous preorders. Each topological space has an associated fibrous preorder and those fibrous preorders which return a topological space are called spacial. A…
The density topology $\cal T$ is a topology on the real line, finer than the usual topology, having as its open sets the measurable subsets of ${\mathbb R}$, which are of density 1 at each of their points. The aim of this paper is to…
Drawing on the theory of Minimal Model Program singularities for foliations, we define relative canonical and log-canonical singularities for algebraic stacks with finite generic stabilisers. We show that if a point has log-canonical…
Tree sets are posets with additional structure that generalize tree-like objects in graphs, matroids, or other combinatorial structures. They are a special class of abstract separation systems. We study infinite tree sets and how they…
We show that the first order theory of the lattice of open sets in some natural topological spaces is $m$-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first…
Some models of set theory are given which contain sets that have some of the important characteristics of being geometric, or spatial, yet do not have any points, in various ways. What's geometrical is that there are functions to these…
We extend the Stone duality between topological spaces and locales to include order: there is an adjunction between the category of preordered topological spaces satisfying the so-called open cone condition, and the newly defined category…
In the 1980s, category theorists introduced the Lawvere-Tierney $(\leq_{\mathrm{LT}})$ order in the Effective Topos, known to effectively embed the Turing degrees. Understanding its structure is a longstanding open problem in the area. In…
In [1], the authors have studied stability of certain causal properties of space-times in general relativity. As a continuation of this work, in the present paper, we review and discuss, some more aspects of stability which occur in various…
In this paper, we compute the iterated derived sets of the set of multiple t-values under the usual topology of R. Our results imply that the set of multiple t-values, ordered by >=, is a well-ordered set.
We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…
Lie systems form a class of systems of first-order ordinary differential equations whose general solutions can be described in terms of certain finite families of particular solutions and a set of constants, by means of a particular type of…
Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…