Geodesic
$\bf{L}$-embedding, Amalgamation and $\bf{L}$-elementary equivalence
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 72 (1982) no. 6, pp. 312-314 Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica

Voir la notice de l'article

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. 
@article{RLINA_1982_8_72_6_a2,
     author = {Mundici, Daniele},
     title = {$\bf{L}$-embedding, {Amalgamation} and $\bf{L}$-elementary equivalence},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {312--314},
     year = {1982},
     volume = {Ser. 8, 72},
     number = {6},
     zbl = {0527.03019},
     mrnumber = {0726294},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1982_8_72_6_a2/}
}
TY  - JOUR
AU  - Mundici, Daniele
TI  - $\bf{L}$-embedding, Amalgamation and $\bf{L}$-elementary equivalence
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1982
SP  - 312
EP  - 314
VL  - 72
IS  - 6
UR  - http://geodesic.mathdoc.fr/item/RLINA_1982_8_72_6_a2/
LA  - en
ID  - RLINA_1982_8_72_6_a2
ER  - 
%0 Journal Article
%A Mundici, Daniele
%T $\bf{L}$-embedding, Amalgamation and $\bf{L}$-elementary equivalence
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1982
%P 312-314
%V 72
%N 6
%U http://geodesic.mathdoc.fr/item/RLINA_1982_8_72_6_a2/
%G en
%F RLINA_1982_8_72_6_a2
Mundici, Daniele. $\bf{L}$-embedding, Amalgamation and $\bf{L}$-elementary equivalence. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 72 (1982) no. 6, pp. 312-314. http://geodesic.mathdoc.fr/item/RLINA_1982_8_72_6_a2/

[1] Barwise K.J. (1974) - Axioms for abstract model theory, «Ann. Math. Logic.», 7, 221-265. | Zbl

[2] Feferman S. (1974) - Two notes on abstract model theory I, «Fund. Math.», 82, 153-175. | Zbl

[3] Flum J. (1976) - First-order logic and its extensions, «Lecture Notes in Math.», Springer-Verlag, Berlin, vol. 499, 248-310.

[4] Makowsky J.A., Shelah S. and Stavi J. (1976) - $\Delta$-logics and generalized quantifiers, «Ann. Math. Logic», 10, 155-192. | Zbl

[5] Mundici D. (1982) - Duality between logics and equivalence relations, «Transactions AMS», 270, 111-129. | DOI | MR | Zbl

[6] Mundici D. (1983) - Compactness = JEP in any logic, «Fund. Math.», 116, to appear. | fulltext EuDML | Zbl

[7] Mundici D. (1981-1982) - Lectures on Abstract Model Theory I, Preprint, n° 6, «Math. Inst. Univ. of Florence».

[8] Mundici D. (1981) - An algebraic result about soft model theoretical equivalence relations with an application to Friedman's fourth problem, «Journal of Symb. Logic», 46, 523-530. | Zbl

[9] Nadel M. (1980) - An arbitrary equivalence relation as elementary equivalence in an abstract logic, «Zeit. math. Logik.», 26, 103-109. | Zbl