"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 3…
Model theory
by Keisler, H. J., Chang, C. C.
fromStudies in logic and the foundations of mathematics
Model theory
by Keisler, H. J., Chang, C. C.
fromStudies in logic and the foundations of mathematics
Model theory
by Keisler, H. Jerome, Chang, C. C.
fromStudies in logic and the foundations of mathematics
Model theory
by Keisler, H. J., Chang, C. C.
fromStudies in logic and the foundations of mathematics