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.
Lipparini, P. (1982). Locally finite theories with model companion. ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI DELLA CLASSE DI SCIENZE FISICHE, MATEMATICHE E NATURALI, 72(1), 6-11.
Locally finite theories with model companion
Lipparini, Paolo
1982-01-01
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
1982Locally finite theories with model companion RLINA_1982_8_72_1_6_0.pdf
accesso aperto
Descrizione: articolo
Tipologia:
Versione Editoriale (PDF)
Licenza:
Copyright dell'editore
Dimensione
350.17 kB
Formato
Adobe PDF
|
350.17 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
