Ogni logica $L$ genera canonicamente la $L$-equivalenza $\equiv_{L}$e la $L$-immersione $\underset{L}{\rightarrow}$ proprio come la logica del primo ordine genera l’equivalenza elementare $\equiv$ e l’immersione elementare $\lesssim$. Astraendo da $L$, è interessante studiare in sè relazioni d’equivalenza e di immersione generali tra strutture. Mostriamo che esiste una corrispondenza biunivoca tra relazioni d’equivalenza con la proprietà di Robinson e relazioni d’immersione con la proprietà di Amalgamazione Forte ($AP^{+}$). Caratterizziamo algebricamente quelle relazioni di immersione che si possono scrivere come $\underset{L}{\rightarrow}$ per $L$ una logica. Mostriamo che $\lesssim$ è generata esclusivamente dalla logica del primo ordine.
L-embedding, amalgamation and L-elementary equivalence / D.Mundici. - In: ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI DELLA CLASSE DI SCIENZE FISICHE, MATEMATICHE E NATURALI. - ISSN 0392-7881. - STAMPA. - 72:(1982), pp. 312-314.
L-embedding, amalgamation and L-elementary equivalence
MUNDICI, DANIELE
1982
Abstract
Ogni logica $L$ genera canonicamente la $L$-equivalenza $\equiv_{L}$e la $L$-immersione $\underset{L}{\rightarrow}$ proprio come la logica del primo ordine genera l’equivalenza elementare $\equiv$ e l’immersione elementare $\lesssim$. Astraendo da $L$, è interessante studiare in sè relazioni d’equivalenza e di immersione generali tra strutture. Mostriamo che esiste una corrispondenza biunivoca tra relazioni d’equivalenza con la proprietà di Robinson e relazioni d’immersione con la proprietà di Amalgamazione Forte ($AP^{+}$). Caratterizziamo algebricamente quelle relazioni di immersione che si possono scrivere come $\underset{L}{\rightarrow}$ per $L$ una logica. Mostriamo che $\lesssim$ è generata esclusivamente dalla logica del primo ordine.I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.