Related papers: A duality theoretic view on limits of finite struc…
There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras,…
Efficient heuristics have predicted many functional materials such as high-temperature superconducting hydrides, while inorganic structural chemistry explains why and how the crystal structures are stabilized. Here we develop the paired…
In this paper, we generalize the duality between self-dual and Maxwell-Chern-Simons theories for the case of a CPT-even Lorentz-breaking extension of these theories. The duality is demonstrated with use of the gauge embedding procedure,…
We investigate the differential calculus defined by Ashtekar and Lewandowski on projective limits of manifolds by means of cylindrical smooth functions and compare it with the C^infty calculus proposed by Froehlicher and Kriegl in more…
Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with…
The dual of the four dimensional non-linear sigma model is constructed using techniques familiar to string theory. This construction necessitates the introduction of a rank two antisymmetric tensor field whose properties are examined. The…
We study sheaves in the context of a duality theory for lattice structure endowed with extra operations, and in the context of forcing in a topos. Using Sheaf duality theory of Comer for cylindric algebras, we give a representation theorem…
In this paper, we prove a structure theorem for the infinite union of $n$-adic doubling measures via techniques which involve far numbers. Our approach extends the results of Wu in 1998, and as a by product, we also prove a classification…
We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and…
This paper is a study of first-order coherent logic from the point of view of duality and categorical logic. We prove a duality theorem between coherent hyperdoctrines and open polyadic Priestley spaces, which we subsequently apply to prove…
Category theory gives a mathematical characterization of naturality but not of canonicity. The purpose of this paper is to develop the logical theory of canonical maps based on the broader demonstration that the dual notions of elements &…
Finite dimensional solutions to a class of stochastic partial differential equations are obtained extending the differential constraints method for deterministic PDE to the stochastic framework. A geometrical reformulation of the stochastic…
Finite-density QCD and many other field theories with sign problems have a $\mathcal{PT}$-type symmetry. After a brief introduction to $\mathcal{PT}$-symmetric field theories, a real dual representation for $\mathcal{PT}$-symmetric scalar…
An alternative mathematics based on qualitative plurality of finiteness is developed to make non-standard mathematics independent of infinite set theory. The vague concept "accessibility" is used coherently within finite set theory whose…
De Vries Duality generalizes Stone duality between Boolean algebras and Stone spaces to a duality between de Vries algebras (complete Boolean algebras equipped with a subordination relation satisfying some axioms) and compact Hausdorff…
Recent critiques of the semantic conception of scientific theories suggest that a theory is not best formulated as a collection of models satisfying some set of kinematical or dynamical conditions. Thus it has been argued that additional…
There has been recent interest in conformal twisted boundary conditions and their realisations in solvable lattice models. For the Ising and Potts quantum chains, these amount to boundary terms that are related to duality, which is a proper…
Tame geometry originated in mathematical logic and implements strong finiteness properties by defining the notion of tame sets and functions. In part I we argued that observables in a wide class of quantum field theories are tame functions…
We consider the problem of deciding the satisfiability of quantifier-free formulas in the theory of finite sets with cardinality constraints. Sets are a common high-level data structure used in programming; thus, such a theory is useful for…
Extending the investigations about the theory of duals, we analyze duals built up with the aid of discrete symmetry operators. We scrutinize algebraic and physical constraints (encompassing them in a theoretical scope) in order to verify…