\(\aleph _ 0\)-categoricity in infra primal varieties (Q1078591)

Macintyre and Rosenstein proved that in a variety V of unitary rings generated by a finite field F a member \(R\in V\) is \(\aleph_ 0\)- categorical iff R is a ''filtered Boolean product'' of subfields of F with an \(\aleph_ 0\)-categorical ''augmented Boolean algebra''. This paper extends this result to each variety generated by an infra-primal algebra A - i.e. a finite algebra all of whose nontrivial subalgebras are non- isomorphic and each automorphism of a subalgebra of A extends to an automorphism of A. - Even more a part of the converse is shown, namely if A is quasi-primal - i.e. the ternary discriminator \(t(x,y,z)=z\) if \(x=y\); \(=x\) if \(x\neq y\) is a term-function of A - then the \(\aleph_ 0\)- categorical members of the variety generated by A have the same characterization iff A is infra-primal. The methods of proof are a thorough investigation of the sheaf-representation of algebras in varieties generated by quasi-primal algebras.