Algebras of distributions for isolating formulas of a complete theory
From MaRDI portal
Publication:892012
zbMath1355.03025arXiv1205.3473MaRDI QIDQ892012
I. V. Shulepov, Sergeĭ Vladimirovich Sudoplatov
Publication date: 18 November 2015
Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1205.3473
Relational systems, laws of composition (08A02) Partial algebras (08A55) Sets with a single binary operation (groupoids) (20N02) Basic properties of first-order languages and structures (03C07)
Related Items (15)
Generations and quotients for algebras of distributions of binary formulas ⋮ Algebras of binary isolating formulas for theories of root products of graphs ⋮ On algebras of distributions of binary formulas for theories of unars ⋮ Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures ⋮ On deterministic and absorbing algebras of binary formulas of polygonometrical theories ⋮ Algebras of binary isolating formulas for strong product theories ⋮ Algebras of binary formulas for weakly circularly minimal theories with trivial definable closure ⋮ Algebras of binary formulas for weakly circularly minimal theories with non-trivial definable closure ⋮ Algebras of binary formulas for compositions of theories ⋮ Algebras of distributions of binary isolating formulas for quite o-minimal theories ⋮ Algebras of distributions of binary formulas for theories of Archimedean solids ⋮ On algebras of distributions of binary isolating formulas for theories of abelian groups and their ordered enrichments ⋮ Structure of algebras of binary formulas for polygonometrical theories with the symmetry condition ⋮ Algebras of distributions of binary isolating formulas for almost \(\omega \)-categorical weakly \(o\)-minimal theories ⋮ Algebras of binary isolating formulas for tensor product theories
This page was built for publication: Algebras of distributions for isolating formulas of a complete theory