-embedding, Amalgamation and -elementary equivalence
- Volume: 72, Issue: 6, page 312-314
- ISSN: 1120-6330
Access Full Article
top
Abstract
topHow to cite
topMundici, Daniele. "$\bf{L}$-embedding, Amalgamation and $\bf{L}$-elementary equivalence." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni 72.6 (1982): 312-314. <http://eudml.org/doc/287011>.
@article{Mundici1982,
author = {Mundici, Daniele},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},
keywords = {amalgamation; compactness; abstract logic; L-elementary embeddability},
language = {eng},
month = {6},
number = {6},
pages = {312-314},
publisher = {Accademia Nazionale dei Lincei},
title = {$\bf\{L\}$-embedding, Amalgamation and $\bf\{L\}$-elementary equivalence},
url = {http://eudml.org/doc/287011},
volume = {72},
year = {1982},
}
TY - JOUR
AU - Mundici, Daniele
TI - $\bf{L}$-embedding, Amalgamation and $\bf{L}$-elementary equivalence
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
DA - 1982/6//
PB - Accademia Nazionale dei Lincei
VL - 72
IS - 6
SP - 312
EP - 314
LA - eng
KW - amalgamation; compactness; abstract logic; L-elementary embeddability
UR - http://eudml.org/doc/287011
ER -
References
top- Barwise, K.J. (1974) - Axioms for abstract model theory, «Ann. Math. Logic.», 7, 221-265. Zbl0324.02034
- Feferman, S. (1974) - Two notes on abstract model theory I, «Fund. Math.», 82, 153-175. Zbl0296.02026
- Flum, J. (1976) - First-order logic and its extensions, «Lecture Notes in Math.», Springer-Verlag, Berlin, vol. 499, 248-310.
- Makowsky, J.A., Shelah, S. and Stavi, J. (1976) - -logics and generalized quantifiers, «Ann. Math. Logic», 10, 155-192. Zbl0346.02007
- Mundici, D. (1982) - Duality between logics and equivalence relations, «Transactions AMS», 270, 111-129. Zbl0497.03018MR642332DOI10.2307/1999763
- Mundici, D. (1983) - Compactness = JEP in any logic, «Fund. Math.», 116, to appear. Zbl0564.03034
- Mundici, D. (1981-1982) - Lectures on Abstract Model Theory I, Preprint, n° 6, «Math. Inst. Univ. of Florence».
- 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. Zbl0465.03020
- Nadel, M. (1980) - An arbitrary equivalence relation as elementary equivalence in an abstract logic, «Zeit. math. Logik.», 26, 103-109. Zbl0444.03016
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.