Open Access
2004 Types in Abstract Elementary Classes
Tapani Hyttinen
Notre Dame J. Formal Logic 45(2): 99-108 (2004). DOI: 10.1305/ndjfl/1095386646

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.

Citation

Download Citation

Tapani Hyttinen. "Types in Abstract Elementary Classes." Notre Dame J. Formal Logic 45 (2) 99 - 108, 2004. https://doi.org/10.1305/ndjfl/1095386646

Information

Published: 2004
First available in Project Euclid: 16 September 2004

zbMATH: 1088.03034
MathSciNet: MR2130802
Digital Object Identifier: 10.1305/ndjfl/1095386646

Subjects:
Primary: 03C52

Keywords: abstract elementary classes , homogeneous model theory

Rights: Copyright © 2004 University of Notre Dame

Vol.45 • No. 2 • 2004
Back to Top