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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

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

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.
Shelah's Categoricity Conjecture from a Successor for Tame Abstract Elementary Classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Symbolic Logic 71 (2):553 - 568.
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.
On Absoluteness of Categoricity in Abstract Elementary Classes.Sy-David Friedman & Martin Koerwien - 2011 - Notre Dame Journal of Formal Logic 52 (4):395-402.
Elementary classes in basic modal logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω.Gregory M. Johnson - 2010 - Notre Dame Journal of Formal Logic 51 (3):361-371.
Categoricity from one successor cardinal in Tame abstract elementary classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Mathematical Logic 6 (2):181-201.
Upward Stability Transfer for Tame Abstract Elementary Classes.John Baldwin, David Kueker & Monica VanDieren - 2006 - Notre Dame Journal of Formal Logic 47 (2):291-298.
Music and metaphysics.Saam Trivedi - 2008 - Metaphilosophy 39 (1):124–143.
A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes.Daniele Mundici - 1981 - Studia Logica 40 (3):253 - 267.
Decidable discrete linear orders.M. Moses - 1988 - Journal of Symbolic Logic 53 (2):531-539.
Definability of types, and pairs of o-minimal structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
Upward Categoricity from a Successor Cardinal for Tame Abstract Classes with Amalgamation.Olivier Lessmann - 2005 - Journal of Symbolic Logic 70 (2):639 - 660.
The Nonabsoluteness of Model Existence in Uncountable Cardinals for $L{omega{1},omega}$.Sy-David Friedman, Tapani Hyttinen & Martin Koerwien - 2013 - Notre Dame Journal of Formal Logic 54 (2):137-151.

Analytics

Added to PP
2010-08-24

Downloads
23 (#701,793)

6 months
10 (#306,562)

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.
Constructing ω-stable structures: rank 2 fields.John T. Baldwin & Kitty Holland - 2000 - Journal of Symbolic Logic 65 (1):371-391.

Add more references