Lipparini: Locally finite theories with model companion

Lipparini, Paolo:
Locally finite theories with model companion
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Serie 8 72 (1982), fasc. n.1, p. 6-11, (English)
pdf (359 Kb), djvu (637 Kb). | MR 0726084 | Zbl 0524.03021

Sunto

Si dà, mediante condizioni per l'amalgamabilità di tre modelli, una caratterizzazione completa delle teorie localmente finite con model-compagno. Si introduce inoltre un concetto intermedio tra quelli di model-compagno e model-completamento.

Referenze Bibliografiche

[1] P.D. Bacsich (1973) - Primality and model completions, «Alg.Univ.», 3, pp.265-270. | Zbl 0308.02052

[2] C.C. Chang and H.J. Keisler (1973) - Model theory, Amsterdam. | Zbl 0276.02032

[3] G. Gratzer (1979) - Universal Algebra, New York.

[4] J. Hirschfeld and W.H. Wheeler (1975) - Forcing, Arithmetic and division rings, Berlin. | Zbl 0304.02024

[5] P. Lipparini - Existentially complete closure algebras, to appear on «Boll. U. M. I.», Supplemento per l'algebra e la geometria.

[6] M.Morley and R. Vaught (1962) - Homogeneous universal models, «Math.Scand.», 11, pp. 37-57. | fulltext EuDML | Zbl 0112.00603

[7] W.H. Wheeler (1976) - Model companions and definability in existentially complete structures, «Isr. J. of Math.», vol. 25, pp. 252-277.

[8] W.H. Wheeler (1978) - A characterization of companionable, universal theories, «J. Symb. Log.», 43, pp. 402-429. | Zbl 0391.03019

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a zelati at unina dot it

logo MBAC Con il contributo del Ministero per i Beni e le Attività Culturali

bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Referenza completa

Sunto

Referenze Bibliografiche