Questioni di teoria dei modelli per linguaggi universali positivi

Annalisa Marcja; Sauro Tulipani

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti (1974)

  • Volume: 56, Issue: 6, page 915-923
  • ISSN: 0392-7881

Abstract

top
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.

How to cite

top

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 56.6 (1974): 915-923. <http://eudml.org/doc/293719>.

@article{Marcja1974,
author = {Marcja, Annalisa, Tulipani, Sauro},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
language = {ita},
month = {6},
number = {6},
pages = {915-923},
publisher = {Accademia Nazionale dei Lincei},
title = {Questioni di teoria dei modelli per linguaggi universali positivi},
url = {http://eudml.org/doc/293719},
volume = {56},
year = {1974},
}

TY - JOUR
AU - Marcja, Annalisa
AU - Tulipani, Sauro
TI - Questioni di teoria dei modelli per linguaggi universali positivi
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
DA - 1974/6//
PB - Accademia Nazionale dei Lincei
VL - 56
IS - 6
SP - 915
EP - 923
LA - ita
UR - http://eudml.org/doc/293719
ER -

References

top
  1. CHANGE, C. C. KEISLER, H. J. (1973) - Model Theory. Amsterdam. MR409165
  2. FISHER, E. R. e ROBINSON, A. (1972) - Inductive theories and their forcing companions, «Israel J. Math.», 12, 95-107. Zbl0268.02036MR314612DOI10.1007/BF02764656
  3. KEISLER, H. J. (1960) - Theory of models with generalized atomic formulas, «J. Symbolic Logic», 25, 1-26. Zbl0107.00803MR130169DOI10.2307/2964333
  4. RASIOWA, H. e SIKORSKI, R. (1968) - Mathematics of metamathematics, Warszawa. Zbl0122.24311MR344067
  5. SACKS, G. E. (1972) - Saturated model theory. Reading. MR398817
  6. TARSKI, A. (1968) - Equational logic and equational theories of algebras, in «Contributions to mathematical logic», Amsterdam. MR237410

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.