Sibirsk. Mat. Zh., 2008 Volume 49, Number 1, Pages 189–192
(Mi smj1832)
|
This article is cited in
3 papers
A decomposability criterion for elementary theories
D. K. Ponomarev A. P. Ershov Institute of Informatics Systems Sib. Br. RAS
Abstract:
We prove that each elementary theory has a unique decomposition into indecomposable components and formulate a decomposability criterion.
Keywords:
decomposable theory, decomposition of theories.
UDC:
510.6 Received: 17.07.2006
Revised: 10.05.2007
© , 2026
Fulltext:
PDF file (236 kB)
