𝐋-embedding, Amalgamation and 𝐋-elementary equivalence
Mundici, Daniele
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 72 (1982), p. 312-314 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

Ogni logica L genera canonicamente la L-equivalenza ≡Le la L-immersione →𝐿 proprio come la logica del primo ordine genera l’equivalenza elementare ≡ e l’immersione elementare ≲. 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 (A⁢P+). Caratterizziamo algebricamente quelle relazioni di immersione che si possono scrivere come →𝐿 per L una logica. Mostriamo che ≲ è generata esclusivamente dalla logica del primo ordine.

Publié le : 1982-06-01
@article{RLINA_1982_8_72_6_312_0,
     author = {Daniele Mundici},
     title = {$\bf{L}$-embedding, Amalgamation and $\bf{L}$-elementary equivalence},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {72},
     year = {1982},
     pages = {312-314},
     zbl = {0527.03019},
     mrnumber = {0726294},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RLINA_1982_8_72_6_312_0}
}

Mundici, Daniele. $\bf{L}$-embedding, Amalgamation and $\bf{L}$-elementary equivalence. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 72 (1982) pp. 312-314. http://gdmltest.u-ga.fr/item/RLINA_1982_8_72_6_312_0/

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

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

[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) - Δ-logics and generalized quantifiers, «Ann. Math. Logic», 10, 155-192. | Zbl 0346.02007

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

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

[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 0465.03020

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