Saturation and omitting types

D. W. H. Gillam

Type: Article

Publication Date: 1977-12-01

Citations: 0

DOI: https://doi.org/10.1007/bf02007252

Similar Works

Action	Title	Year	Authors
+	Omitting types in expansions and related strong saturation properties	2003	Fredrik Engström
+	Stability and omitting types	1991	Ehud Hrushovski Saharon Shelah
+	An omitting types theorem for saturated structures	1993	A.D. Greif M. Laskowski
+	Omitting Types and a Two-Cardinal Theorem	1979	Kenneth A. Bowen
+	Morley’s omitting types theorem	2009	John Baldwin
+	Omitting types in arithmetic and conservative extensions	1974	R. Phillips
+	Strongly determined types	1999	А. А. Иванов Dugald Macpherson
+	Type assignment with equality	1997	J. Roger Hindley
+	Ground Canonicity	2003	Nachum Dershowitz
+	Ground Canonicity	2003	Nachum Dershowitz
+	Completeness of cut-free type theories	1974	Mitsuru Yasuhara
+	Proving and Modelling	2007	Gila Hanna Hans Niels Jahnke
+	Confluence Operators	2008	Sébastien Konieczny Ramón Pino Pérez
+	Confluence Operators	2008	Sébastien Konieczny Ramón Pino Pérez
+	Confluence Operators	2008	Sébastien Konieczny Ramón Pino Pérez
+	Confluence Operators	2008	Sébastien Konieczny Ramón Pino Pérez
+	Confluence Operators	2008	Sébastien Konieczny Ramón Pino Pérez
+	Confluence Operators	2008	Sébastien Konieczny Ramón Pino Pérez
+	Cofinal extension preserves recursive saturation	1980	C. Smoryński Jonathan Stavi
+ PDF Chat	Semi-continuous Sized Types and Termination	2006	Andreas Abel

Action	Title	Year	Authors

Action	Title	Year	Authors
+ PDF Chat	Equationally compact algebras (I)	1966	B. Węgłorz
+	Some applications of infinitely long formulas	1965	H. Jerome Keisler
+ PDF Chat	Equationally compact algebras (III)	1967	B. Węglorz
+ PDF Chat	Some compactifications of general algebras	1964	Jan Mycielski
+ PDF Chat	Equationally compact algebras II	1967	Jan Mycielski C. Ryll–Nardzewski