Locally finite theories with model companion
Paolo Lipparini (1982)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
Similarity:
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.