Types in Abstract Elementary Classes

Notre Dame Journal of Formal Logic 45 (2):99-108 (2004)
  Copy   BIBTEX

Abstract

We suggest a method of finding a notion of type to abstract elementary classes and determine under what assumption on these types the class has a well-behaved homogeneous and universal "monster" model, where homogeneous and universal are defined relative to our notion of type

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1095386646

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

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

A topology for galois types in abstract elementary classes.Michael Lieberman - 2011 - Mathematical Logic Quarterly 57 (2):204-216.
Rank Functions and Partial Stability Spectra for Tame Abstract Elementary Classes.Michael J. Lieberman - 2013 - Notre Dame Journal of Formal Logic 54 (2):153-166.
Lascar Types and Lascar Automorphisms in Abstract Elementary Classes.Tapani Hyttinen & Meeri Kesälä - 2011 - Notre Dame Journal of Formal Logic 52 (1):39-54.
Canonical Finite Diagrams and Quantifier Elimination.Tapani Hyttinen - 2002 - Mathematical Logic Quarterly 48 (4):533-554.
Independence in finitary abstract elementary classes.Tapani Hyttinen & Meeri Kesälä - 2006 - Annals of Pure and Applied Logic 143 (1-3):103-138.
Finitely generated submodels of an uncountably categorical homogeneous structure.Tapani Hyttinen - 2004 - Mathematical Logic Quarterly 50 (1):77.
Toward a stability theory of tame abstract elementary classes.Sebastien Vasey - 2018 - Journal of Mathematical Logic 18 (2):1850009.
An AEC framework for fields with commuting automorphisms.Tapani Hyttinen & Kaisa Kangas - 2023 - Archive for Mathematical Logic 62 (7):1001-1032.
On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure.Tapani Hyttinen - 1997 - Mathematical Logic Quarterly 43 (1):134-142.
Generalizing Morley's Theorem.Tapani Hyttinen - 1998 - Mathematical Logic Quarterly 44 (2):176-184.

Analytics

Added to PP
2010-08-24

Downloads
36 (#658,719)

6 months
8 (#390,329)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Independence in finitary abstract elementary classes.Tapani Hyttinen & Meeri Kesälä - 2006 - Annals of Pure and Applied Logic 143 (1-3):103-138.

Add more citations

References found in this work

Constructing ω-stable structures: Rank 2 fields.John T. Baldwin & Kitty Holland - 2000 - Journal of Symbolic Logic 65 (1):371-391.
Finite diagrams stable in power.Saharon Shelah - 1970 - Annals of Mathematical Logic 2 (1):69-118.
Canonical Finite Diagrams and Quantifier Elimination.Tapani Hyttinen - 2002 - Mathematical Logic Quarterly 48 (4):533-554.

Add more references