Locally finite theories with model companion
Si dà, mediante condizioni per l'amalgamabilità di tre modelli, una caratterizzazione completa delle teorie localmente finite con model-compagno. Si introduce inoltre un concetto intermedio tra quelli di model-compagno e model-completamento.