scientific article; zbMATH DE number 203219
From MaRDI portal
Publication:4695117
zbMath0779.06010MaRDI QIDQ4695117
D. E. Pal'chunov, Alain Touraille
Publication date: 23 January 1994
Full work available at URL: http://www.numdam.org/item?id=ASCFM_1992__98_28_5_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting algebras (lattice-theoretic aspects) (06D20) Boolean algebras (Boolean rings) (06E99) Basic properties of first-order languages and structures (03C07)
Cites Work
- Undecidability of theories of Boolean algebras with selected ideals
- Countably-categorical Boolean algebras with distinguished ideals
- \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures
- Théories d'algèbres de Boole munies d'idéaux distingués. II
- Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
