Limit Models of Ehrenfeucht Theories
摘要
Invariant properties of limit models of Ehrenfeucht theories are studied. Partial answers are obtained to the Ash–Millar question on the arithmetical decidability of models of Ehrenfeucht theories with arithmetical types.