DECIDABLE BOOLEAN-ALGEBRAS OF LOW-LEVEL

Authors
GONCHAROV SS
Citation
Ss. Goncharov, DECIDABLE BOOLEAN-ALGEBRAS OF LOW-LEVEL, Annals of pure and applied Logic, 94(1-3), 1998, pp. 75-95
Citations number
17
Categorie Soggetti
Mathematics,Mathematics,Mathematics,Mathematics
Journal title
Annals of pure and applied Logic → ACNP
ISSN journal
01680072
Volume
94
Issue
1-3
Year of publication
1998
Pages
75 - 95
Database
ISI
SICI code
0168-0072(1998)94:1-3<75:DBOL>2.0.ZU;2-7
Abstract
We will study the question about decidability for Boolean algebras wit h first elementary characteristic one. The main problem is sufficient conditions for decidability of Boolean algebras with recursive represe ntation for extended signature by definable predicates. We will use th e base definitions on recursive and constructive models from [2, 4-6, 10, 11] but on Boolean algebras from [1, 8]. (C) 1998 Published by Els evier Science B.V. All rights reserved.