[Paper Review] Algebras of distributions of binary isolating formulas of a complete theory

Ilya V. Shulepov, S. V. Sudoplatov|arXiv (Cornell University)|May 15, 2012

Advanced Topics in Algebra4 references3 citations

TL;DR

This paper introduces a class of algebras—specifically, groupoids and partial groupoids—describing binary isolating formulas in complete first-order theories, particularly focusing on links between realizations of 1-types. It establishes that when an atomic model exists over a realization of a 1-type, the labels of principal formulas form a special groupoid, and characterizes these structures via algebraic and model-theoretic axioms, including deterministic and semi-associative properties, with a full characterization of such algebras via an $I_{ m Σ}$-structure construction.

ABSTRACT

We define a class of algebras describing links of binary isolating formulas on a set of realizations for a family of 1-types of a complete theory. We prove that a set of labels for binary isolating formulas on a set of realizations for a 1-type p forms a groupoid of a special form if there is an atomic model over a realization of p. We describe the class of these groupoids and consider features of these groupoids in a general case and for special theories. A description of the class of partial groupoids relative to families of 1-types is given.

Motivation & Objective

• To formalize the algebraic structure of binary isolating formulas between realizations of 1-types in a complete theory.
• To define and characterize a special class of groupoids—$\mathfrak{P}_{\nu(p)}$—arising from principal formulas over a 1-type $p$ when an atomic model exists over a realization of $p$.
• To introduce and study $I_{\mathcal{R}}$-structures as algebraic models that capture the distribution of binary isolating formulas across families of 1-types.
• To establish a correspondence between such algebraic structures and small complete theories via regular labelling functions.
• To extend the framework to partial groupoids through the join operation, enabling a general description of distribution algebras for binary isolating formulas.

Proposed method

• The paper defines a labelling function $\nu(p,q)$ that assigns unique labels from a signed alphabet $U$ to equivalence classes of principal formulas in $\mathrm{PF}(p,q)/\mathrm{PE}(p,q)$, distinguishing between edges and irreversible arcs.
• It constructs an $I_{\mathcal{R}}$-structure $\mathfrak{P}$ on triples $(p,X,q)$, where $X$ is a non-empty subset of labels, with a partially defined binary operation $\cdot$ modeling composition of formulas.
• The operation $\cdot$ is governed by axioms ensuring left semi-associativity, sign consistency (negative/positive labels), invertibility for positive labels, and deterministic behavior on non-negative labels.
• The structure includes substructures $\mathfrak{P}^{\geq 0}_d$, where the operation is total and singleton-valued, ensuring determinism for non-negative label compositions.
• It uses successively-annihilating sums to build monoids containing arbitrary groups, embedding group-theoretic behavior into the algebraic framework.
• The construction is validated by proving that every $I_{\mathcal{R}}$-structure arises as the algebra of distributions of binary isolating formulas for some complete theory $T$ with a family of 1-types $R\subset S(T)$.

Experimental results

Research questions

• RQ1 What algebraic structure underlies the set of binary isolating formulas between realizations of 1-types in a complete theory?
• RQ2 How can the links between realizations of 1-types be captured algebraically using labels of principal formulas?
• RQ3 What axiomatic properties characterize the groupoid $\mathfrak{P}_{\nu(p)}$ formed by principal formulas over a 1-type $p$ when an atomic model exists over a realization of $p$?
• RQ4 How can the class of partial groupoids arising from families of 1-types be described via joins of individual $\mathfrak{P}_{\nu(p)}$ structures?
• RQ5 What conditions ensure that an $I_{\mathcal{R}}$-structure corresponds to a real complete theory with a family of 1-types and a regular labelling function?

Key findings

• The labels of pairwise non-equivalent principal formulas for a 1-type $p$ form a groupoid $\mathfrak{P}_{\nu(p)}$ when an atomic model exists over a realization of $p$, and this groupoid satisfies specific axioms including semi-associativity and invertibility for positive labels.
• The structure $\mathfrak{P}_{\nu(p)}$ is isomorphic to an $I$-groupoid over the power set of labels $\mathcal{P}(\mu(p))\setminus\{\varnothing\}$, with operations closed under label composition.
• For any $I_{\mathcal{R}}$-structure $\mathfrak{P}$, there exists a complete theory $T$ with a family of 1-types $R\subset S(T)$ and a regular labelling function $\nu(R)$ such that $\mathfrak{P}_{\nu(R)} = \mathfrak{P}$, establishing a full categorical correspondence.
• The deterministic substructure $\mathfrak{P}^{\geq 0}_d$ ensures that compositions of non-negative labels yield singletons, and $\mathfrak{P}^{\geq 0}_d$ is closed under the operation, reflecting a well-behaved core of the system.
• The join of groupoids $\mathfrak{P}_{\nu(p)}$ is defined and shown to preserve key properties such as semi-associativity and sign consistency, enabling the extension of results to partial groupoids.
• The axioms governing $\cdot$ ensure that negative labels preserve order (e.g., $\mathrm{Col}(a) \leq \mathrm{Col}(b)$ for $u<0$), while positive labels preserve equality ($\mathrm{Col}(a) = \mathrm{Col}(b)$), linking algebraic structure to coloring in models.