×

zbMATH — the first resource for mathematics

Model-theoretic invariants: Applications to recursive and hyperarithmetic operations. (English) Zbl 0225.02040
Theory of models, Proc. 1963 internat. Sympos. Berkeley, 190-205 (1965).

MSC:
03C40 Interpolation, preservation, definability
03C50 Models with special properties (saturated, rigid, etc.)
03C62 Models of arithmetic and set theory
03D99 Computability and recursion theory