The theory of boolean algebras with a distinguished subalgebra is undecidable

Matatyahu Rubin

Annales scientifiques de l'Université de Clermont. Mathématiques (1976)

  • Volume: 60, Issue: 13, page 129-134
  • ISSN: 0249-7042

How to cite

top

Rubin, Matatyahu. "The theory of boolean algebras with a distinguished subalgebra is undecidable." Annales scientifiques de l'Université de Clermont. Mathématiques 60.13 (1976): 129-134. <http://eudml.org/doc/80432>.

@article{Rubin1976,
author = {Rubin, Matatyahu},
journal = {Annales scientifiques de l'Université de Clermont. Mathématiques},
language = {eng},
number = {13},
pages = {129-134},
publisher = {UER de Sciences exactes et naturelles de l'Université de Clermont},
title = {The theory of boolean algebras with a distinguished subalgebra is undecidable},
url = {http://eudml.org/doc/80432},
volume = {60},
year = {1976},
}

TY - JOUR
AU - Rubin, Matatyahu
TI - The theory of boolean algebras with a distinguished subalgebra is undecidable
JO - Annales scientifiques de l'Université de Clermont. Mathématiques
PY - 1976
PB - UER de Sciences exactes et naturelles de l'Université de Clermont
VL - 60
IS - 13
SP - 129
EP - 134
LA - eng
UR - http://eudml.org/doc/80432
ER -

References

top
  1. [1] Yu. L. Ershov, Decidability of relatively complemented distributive lattices and the theory of filters, Algebra i. Logika Sem.3 (1964), p. 5-12. 
  2. [2] L. Henkin and J.D. Monk, Cylindric algebras and related structures, Proceedings of the Tarski Symposium, 1974, p. 105-121. Zbl0307.02041MR376346
  3. [3] L. Henkin, J.D. Monk and A. Tarski, Cylindric Algebras, North-Holland, 1971. Zbl0576.03043MR314620
  4. [4] M.O. Rabin, Decidability of second order theories and automata on infinite trees, Trans. Amer. Math. Soc.141 (1969) 1-35. Zbl0221.02031MR246760
  5. [5] A. Tarski, Arithmetical classes and types of Boolean algebras, Bull. Amer. Math. Soc.55 (1949), p. 64. 
  6. [6] C.C. Chang and H.J. Keisler, Model theory, North-Holland, 1973. Zbl0276.02032

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.