Types in abstract elementary classes

DOI10.1305/NDJFL/1095386646MaRDI QIDQ558427zbMATH OpenOpenAlexFDO

Authors Tapani Hyttinen

Publication date 6 July 2005

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1095386646

zbMATH Keywords

abstract elementary classeshomogeneous model theory

Mathematics Subject Classification ID

Properties of classes of models (03C52)

Recommendations

• Homotopy types of abstract elementary classes
• scientific article; zbMATH DE number 1827965
• Independence in finitary abstract elementary classes
• A topology for Galois types in abstract elementary classes
• Classification theory for abstract elementary classes. Vol 2.

Cites work

• scientific article; zbMATH DE number 1192201 (Why is no real title available?)
• Canonical Finite Diagrams and Quantifier Elimination
• Constructing ω-stable structures: rank 2 fields
• Finite diagrams stable in power

Cited in

(7)

• Type classes with existential types
• scientific article; zbMATH DE number 7301530 (Why is no real title available?)
• Computing the number of types of infinite length
• A topology for Galois types in abstract elementary classes
• Uncountably categorical local tame abstract elementary classes with disjoint amalgamation
• Independence in finitary abstract elementary classes
• Class-diagrams for abstract data types

This page was built for publication: Types in abstract elementary classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q558427)