Related papers: Beth definability and the Stone-Weierstrass Theore…
Working jointly in the equivalent categories of MV-al\-ge\-bras and lattice-ordered abelian groups with strong order unit (for short, unital $\ell$-groups), we prove that isomorphism is a sufficient condition for a separating subalgebra $A$…
The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…
In the absence of a satisfactory interpretation of quantum theory, physical law lacks physical basis. This paper reviews the orthodox, or Dirac-von Neumann interpretation, and makes explicit that Hilbert space describes propositions about…
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…
Propounding a general categorical framework for the extension of dualities, we present a new proof of the de Vries Duality Theorem for the category $\bf KHaus$ of compact Hausdorff spaces and their continuous maps, as an extension of a…
We consider the extension of two variable logic with quantifiers that state that the number of elements where a formula holds should belong to a given ultimately periodic set. We show that both satisfiability and finite satisfiability of…
The field of proof-theoretic semantics (P-tS) offers an alternative approach to meaning in logic that is based on inference and argument (rather than truth in a model). It has been successfully developed for various logics; in particular,…
The Wasserstein distance is an attractive tool for data analysis but statistical inference is hindered by the lack of distributional limits. To overcome this obstacle, for probability measures supported on finitely many points, we derive…
We present some extensions of classical results that involve elements of the dual of Banach spaces, such as Bishop-Phelp's theorem and James' compactness theorem, but restricting to sets of functionals determined by geometrical properties.…
The mathematical framework of Stone duality is used to synthesize a number of hitherto separate developments in Theoretical Computer Science: - Domain Theory, the mathematical theory of computation introduced by Scott as a foundation for…
When applying the classical Stone-Weierstrass common version in Probability Theory for example, and in other fields as well, problems may arise if all points of the compact set are not separated. A solution may consist in going back to the…
After defining continuous extensions of binary relations on the set N of natural numbers to its Stone-Cech compactification \beta N, we establish some results about one of such extensions. This provides us with one possible divisibility…
The set of all possible configurations of the Ehrenfest wind-tree model endowed with the Hausdorff topology is a compact metric space. For a typical configuration we show that the wind-tree dynamics has infinite ergodic index in almost…
Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of…
Let $\Delta$ be the Laplace-Beltrami operator on a non-compact symmetric space of any rank, and denote the bottom of its $L^2$-spectrum as $-|\rho|^{2}$. In this paper, we provide a comprehensive characterization of both the sufficient and…
We study the combination of two o-minimal extensions of the theory of real closed fields: one by a T-convex subring and the other by a T-derivation. Let T be a complete, model complete o-minimal extension of RCF. We show that the combined…
We show that descriptive complexity's result extends in High Order Logic to capture the expressivity of Turing Machine which have a finite number of alternation and whose time or space is bounded by a finite tower of exponential. Hence we…
Robustness is a property of system analyses, namely monotonic maps from the complete lattice of subsets of a (system's state) space to the two-point lattice. The definition of robustness requires the space to be a metric space. Robust…
For a space $X$ denote by $C_b(X)$ the Banach algebra of all continuous bounded scalar-valued functions on $X$ and denote by $C_0(X)$ the set of all elements in $C_b(X)$ which vanish at infinity. We prove that certain Banach subalgebras $H$…
We introduce some notions of invariant elementary definability which extend the notions of first-order order-invariant definability, and, more generally, definability invariant with respect to arbitrary numerical relations. In particular,…