Countably-categorical Boolean algebras with distinguished ideals |
| |
| Authors: | D E Pal'chunov |
| |
| Institution: | (1) Institute of Mathematics of the Siberian Division of the Academy of Sciences of the USSR, 630090 Novosibirsk, USSR |
| |
| Abstract: | In the paper all countable Boolean algebras with m distinguished. ideals having countably-categorical elementary theory are described and constructed. From the obtained characterization it follows that all countably-categorical elementary theories of Boolean algebras with distinguished ideals are finite-axiomatizable, decidable and, consequently, their countable models are strongly constructivizable. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
