-embedding, Amalgamation and -elementary equivalence
Daniele Mundici (1982)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
Similarity:
Ogni logica genera canonicamente la -equivalenza e la -immersione proprio come la logica del primo ordine genera l’equivalenza elementare e l’immersione elementare . Astraendo da , è 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 (). Caratterizziamo algebricamente...