Model theory of Boolean products of subdirectly irreducible heyting algebras
作者:
Klaus-Hilmar Sprenger,
期刊:
Communications in Algebra
(Taylor Available online 1998)
卷期:
Volume 26,
issue 5
页码: 1349-1366
ISSN:0092-7872
年代: 1998
DOI:10.1080/00927879808826204
出版商: Gordon and Breach Science Publishers Ltd.
数据来源: Taylor
摘要:
It is a longstanding open problem in algebraic model theory to determine the model companions of the varieties of relative Stone algebras. Following Weispfenning's general model theory of Boolean products of structures we obtain various theories of Heyting algebras which are model and substructure complete. This works by adding only finitely many constant symbols to the language of Heyting algebras, one of which denoting a global dual atom. Thereby we especially obtain quantifier elimination for theories of atomless Post algebras of ordern.
点击下载:
PDF (681KB)
返 回