The model-theoretic part focuses on countable Boolean algebras, and leads naturally to a study of effectiveness in Boolean algebras. The computable model-.
確定! 回上一頁