Pages that link to "Item:Q1092889"
From MaRDI portal
The following pages link to Undecidability of theories of Boolean algebras with selected ideals (Q1092889):
Displaying 8 items.
- Autostability of Boolean algebras with distinguished ideal (Q1288130) (← links)
- Theories of Boolean algebras with distinguished ideals which have no prime model (Q1914758) (← links)
- The theories of superatomic Boolean algebras with distinguished subalgebra which lack countably saturated models (Q2191384) (← links)
- Undecidable theories of Lyndon algebras (Q2732275) (← links)
- Definability of sentences in the language of Boolean algebras with distinguished ideals (Q2885262) (← links)
- Selected Ideas Used for Decidability and Undecidability of Bisimilarity (Q3532999) (← links)
- The Theory of Boolean Algebras With <i>Q</i><sub>0</sub> and Quantification Over Ideals (Q3765746) (← links)
- (Q4695117) (← links)