Finite forcing, existential types and complete types

Journal of Symbolic Logic 45 (1):93-102 (1980)
  Copy   BIBTEX

Abstract

We use the spaces T n and E n of complete types and of existential types to investigate various notions which appear in the theory of the algebraic structure of models

Categories

Keywords

Reprint years

DOI

10.2307/2273357

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Omitting types for finite variable fragments and complete representations of algebras.Hajnal Andréka, István Németi & Tarek Sayed Ahmed - 2008 - Journal of Symbolic Logic 73 (1):65-89.
A strong failure of $$\aleph _0$$ ℵ 0 -stability for atomic classes.Michael C. Laskowski & Saharon Shelah - 2019 - Archive for Mathematical Logic 58 (1-2):99-118.
Small theories of Boolean ordered o-minimal structures.Roman Wencel - 2002 - Journal of Symbolic Logic 67 (4):1385-1390.
Existence of Certain Finite Relation Algebras Implies Failure of Omitting Types for L n.Tarek Sayed Ahmed - 2020 - Notre Dame Journal of Formal Logic 61 (4):503-519.
Definability of types, and pairs of o-minimal structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
Amalgamation properties and finite models in L n -theories.John Baldwin & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (2):155-167.
Productos de Lt-tipos para especies T3.Juan Carlos Martinez - 1992 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 7 (1-3):105-121.
Heirs of Box Types in Polynomially Bounded Structures.Marcus Tressl - 2009 - Journal of Symbolic Logic 74 (4):1225 - 1263.

Analytics

Added to PP
2009-01-28

Downloads
42 (#538,217)

6 months
17 (#179,757)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Completing theories by forcing.J. Barwise - 1970 - Annals of Mathematical Logic 2 (2):119.

Add more references