Marcja, Tulipani: Questioni di teoria dei modelli per linguaggi universali positivi

Marcja, Annalisa and Tulipani, Sauro:
Questioni di teoria dei modelli per linguaggi universali positivi
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Serie 8 56 (1974), fasc. n.6, p. 915-923, (Italian)
pdf, djvu. | MR 0389578 | Zbl 0317.02055

Sunto

In this paper some model theoretical notions for universal positive languages are investigated. In §i and §2 we shall study the lattice of formulas, maximal and prime theories, and correlations between them. In §3, §4 we shall define some kind of morphisms and we shall characterize theories with quantifier elimination.

Referenze Bibliografiche

[1] C. C. CHANGE H. J. KEISLER (1973) - Model Theory. Amsterdam. | MR 409165

[2] E. R. FISHER e A. ROBINSON (1972) - Inductive theories and their forcing companions, «Israel J. Math.», 12, 95-107. | fulltext (doi) | MR 314612 | Zbl 0268.02036

[3] H. J. KEISLER (1960) - Theory of models with generalized atomic formulas, «J. Symbolic Logic», 25, 1-26. | fulltext (doi) | MR 130169 | Zbl 0107.00803

[4] H. RASIOWA e R. SIKORSKI (1968) - Mathematics of metamathematics, Warszawa. | MR 344067 | Zbl 0122.24311

[5] G. E. SACKS (1972) - Saturated model theory. Reading. | MR 398817

[6] A. TARSKI (1968) - Equational logic and equational theories of algebras, in «Contributions to mathematical logic», Amsterdam. | MR 237410

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