Finite Forcing, Existential Types and Complete Types

Hirschfeld, Joram

J. Symbolic Logic, Tome 45 (1980) no. 1, p. 93-102 / Harvested from Project Euclid

Résumé

We use the spaces $\mathscr{T}_n$ and $\mathscr{E}_n$ of complete types and of existential types to investigate various notions which appear in the theory of the algebraic structure of models.

Publié le : 1980-03-14
Classification:

@article{1183740513,
     author = {Hirschfeld, Joram},
     title = {Finite Forcing, Existential Types and Complete Types},
     journal = {J. Symbolic Logic},
     volume = {45},
     number = {1},
     year = {1980},
     pages = { 93-102},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183740513}
}

Hirschfeld, Joram. Finite Forcing, Existential Types and Complete Types. J. Symbolic Logic, Tome 45 (1980) no. 1, pp.  93-102. http://gdmltest.u-ga.fr/item/1183740513/