A Superatomic Boolean Algebra with a Distinguished Subalgebra Whose Theory Lacks Simple Models
摘要
We construct a superatomic Boolean algebra with a distinguished subalgebrawhose elementary theory lacks simple models.