Related papers: Preservation of NATP
We explore new interactions between finite model theory and classical streams of universal algebra and semigroup theory. A key result is an example of finite algebras whose variety is not finitely axiomatisable in first order logic, but…
In various subjects including mathematics, one can hope to use mathematical thinking well when the right kinds of algebraic structure to consider can be discovered or spotted. Therefore, it would help to understand kinds of algebraic…
This note recalls the representation of regular theories T in terms of set-valued functors on models given by Makkai(1990), and explicitly states the representation theorem for the classifying topos Set[T] in terms of filtered colimit…
We call an $\alpha \in \mathbb{R}$ regainingly approximable if there exists a computable nondecreasing sequence $(a_n)_n$ of rational numbers converging to $\alpha$ with $\alpha - a_n < 2^{-n}$ for infinitely many $n \in \mathbb{N}$. We…
By operations on models we show how to relate completeness with respect to permissive-nominal models to completeness with respect to nominal models with finite support. Models with finite support are a special case of permissive-nominal…
We characterise the existentially closed models of the theory of exponential fields. They do not form an elementary class, but can be studied using positive logic. We find the amalgamation bases and characterise the types over them. We…
We propose a new class of vector fields to construct a conserved charge in a general field theory whose energy momentum tensor is covariantly conserved. We show that there always exists such a vector field in a given field theory even…
Additive models can be used for interpretable machine learning for their clarity and simplicity. However, In the classical models for high-order data, the vectorization operation disrupts the data structure, which may lead to degenerated…
We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.
Let $A$, $A'$ be separable $C^*$-algebras, $B$ a stable $\sigma$-unital $C^*$-algebra. Our main result is the construction of the pairing $[[A',A]]\times\operatorname{Ext}^{-1/2}(A,B)\to\operatorname{Ext}^{-1/2}(A',B)$, where $[[A',A]]$…
Noether's theorem, which connects continuous symmetries to exact conservation laws, remains one of the most fundamental principles in physics and dynamical systems. In this work, we draw a conceptual parallel between two paradigms: the…
Given a canonical algebraically integrable foliation on a klt projective variety, we study the variation of the ample models of the associated adjoint foliated structures with respect to the parameter. When the foliation is of general type,…
Generalizing the notion of a tight almost disjoint family, we introduce the notions of a {\em tight eventually different} family of functions in Baire space and a {\em tight eventually different set of permutations} of $\omega$. Such sets…
The matrix units of a digraph algebra, A, induce a relation, known as the diagonal order, on the projections in a masa in the algebra. Normalizing partial isometries in A act on these projections by conjugation; they are said to be order…
In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…
We introduce $n$-orthogonality (and completely orthogonality) preserving operators between C$^*$-algebras. Our main theorem states that every completely orthogonality preserving bounded linear mapping between C$^*$-algebras is a weighted…
This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on…
We review some important algebraic structures which appear in a priori remote areas of Mathematics, such as control theory, numerical methods for solving differential equations, and renormalization in Quantum Field Theory. Starting with…
This paper concerns the model theory of jet spaces (i.e., higher-order tangent spaces) in differentially closed fields. Suppose p is the generic type of the jet space to a finite dimensional differential-algebraic variety at a generic…
We look for partition theorems for large subtrees for suitable uncountable trees and colourings. We concentrate on sub-trees of $^{\kappa \ge} 2$ expanded by a well ordering of each level. Unlike earlier works, we do not ask the embedding…