Endomorphisms of free Steiner quasigroups

Silvia Barbina; Enrique Casanovas

Home/Archive/arXiv

arXiv · 2412.06055

Endomorphisms of free Steiner quasigroups

Silvia Barbina·Enrique Casanovas

View original source ↗Read source document ↗Export metadata ↓

Abstract

A free Steiner quasigroup is a free object in the variety of Steiner quasigroups. Free Steiner quasigroups are characterised by the existence of a levelled construction that starts with a free base - that is, a set of elements none of which is a product of the others, and which generate the quasigroup. Then each element in a free Steiner quasigroup $M$ can be obtained as a term on the free base. We characterise homomorphisms between substructures of a free Steiner quasigroup where one generator is replaced by a term in the original generators. The characterisation depends on certain synctactic properties of the term in question.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Silvia Barbina, Enrique Casanovas. 2025-11-07. Endomorphisms of free Steiner quasigroups. https://arxiv.org/abs/2412.06055

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Operational Evidence and Incompleteness: A Minkowski Radar Model

A uniformly computable family of stationary reflector distances makes finite radar verification of a strict bound equivalent to halting. Every fixed-precision protocol terminates. Nevertheless, every effective theory sound for the corresponding absence statements and their negations leaves infinitely many true absence statements undecided. These are $Π^0_1$ sentences. The contribution is a simple radar realization of a standard computability obstruction.

math.LO↗

arXiv2026

On Borel sets in ideal topologies

We study the Borel and analytic subsets of the spaces ${}^κκ$ and ${}^κ2$ endowed with ideal topologies, where $κ$ is a regular uncountable cardinal, thereby addressing some open problems of the literature. We provide a systematic analysis of the Borel hierarchy for an arbitrary ideal topology. In particular, we formulate a sufficient condition ensuring that the hierarchy does not collapse, demonstrate that every Borel set in such a topology is analytic, and establish the existence of a set that is not Borel. Our main result shows that, when the underlying ideal contains an unbounded subset, the collection of analytic sets coincides with the full power set of the ambient space. Finally, we prove that the Approximation Lemma holds in the setting of ideal topologies.

math.LO↗

arXiv2026

Inquisitive first-order logic is neither compact nor recursively axiomatizable

Inquisitive first-order logic is an extension of classical first-order logic with formulas regimenting first-order questions, such as "whether all objects are P", "which objects are P", and "what is one object that is P". Since it was first developed in 2009, two major meta-theoretical questions about this logic have remained open, in spite of significant efforts. The first concerns compactness: if a conclusion follows from a set of premises, does it always follow from some finite subset? The second concerns the computational status of validity: is the set of validities recursively enumerable, or equivalently, does the logic admit a recursive axiomatization? We settle both questions in the negative, showing that inquisitive first-order logic is neither compact nor recursively axiomatizable. Furthermore, we prove that it violates another signature property of first-order logic, namely, Craig interpolation. We discuss the significance of our results, and show how to extend them to a closely related logic, viz., inquisitive team logic.

math.LO↗