Dalle teorie \(p\)-\(\aleph _ 0\)-categoriche a quelle \(\aleph _ 0\)- categoriche: un passo intermedio. (From \(p\)-\(\aleph _ 0\)-categorical to \(\aleph _ 0\)-categorical theories: an intermediate stage) (Q1099166)

A theory T is said to be \(b-\aleph_ 0\)-categorical (Booleanly \(\aleph_ 0\)-categorical) if, for every \(n\in \omega -\{0\}\) and for every countable M, \(N\vDash T\), \(B_ n(M)\) is isomorphic to \(B_ n(N)\). In this paper we study the basic properties of \(b-\aleph_ 0\)- categorical theories, in particular we consider the problem of classifying the sequences \((B_ n:\) \(n\in \omega -\{0\})\) of countable atomic Boolean algebras such that there is a b-\(\aleph_ 0\)-categorical theory T satisfying \(B_ n\simeq B_ n(M)\) for all \(n\in \omega -\{0\}\) (where M is any countable model of T).