"Polynomial Completeness in Algebraic Systems provides a coherent presentation of the subject, including primality, functional completeness, and affine completeness, as well as their several variations and generalizations. The authors focus on the recently developed theory of af…
"Polynomial Completeness in Algebraic Systems provides a coherent presentation of the subject, including primality, functional completeness, and affine completeness, as well as their several variations and generalizations. The authors focus on the recently developed theory of af…
The 1970s saw the appearance and development in categoricity theory of a tendency to focus on the study and description of uncountably categorical theories in various special classes defined by natural algebraic or syntactic conditions. There have thus been studies of uncountabl…
Modern model theory began with Morley's categoricity theorem: A countable first-order theory that has a unique (up to isomorphism) model in one uncountable cardinal (i.e., is categorical in cardinality) if and only if the same holds in all uncountable cardinals. Over the last 35…