Finitely generated submodels of an uncountably categorical homogeneous structure

DOI10.1002/MALQ.200310079MaRDI QIDQ4458704zbMATH OpenOpenAlexFDO

Authors Tapani Hyttinen

Publication date 15 March 2004

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200310079

zbMATH Keywords

finitely generated substructureHomogeneous model theory

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52)

Review text

The author works in a large homogeneous model \({\mathbf M}\) whose finite diagram is uncountably categorical. The stated objective is to generalize to this setting the theorem that a totally categorical first-order theory is not finitely axiomatizable. Of particular concern is the adaptation of the apparatus behind its first-order proof. This poses a series of problems that the author lists and proceeds to overcome. From the author's abstract: ``we lift the theory of envelopes to homogeneous model theory and develop the theory of imaginaries in the case of \(\omega\)-stable homogeneous classes of finite \(U\)-rank. The reader is expected to be familiar with \textit{T. Hyttinnen} and \textit{S. Shelah}'s paper in Ann. Pure Appl. Logic 103, No.1--3, 201--228 (2000; Zbl 0961.03028).

Recommendations

• scientific article; zbMATH DE number 1827964
• scientific article; zbMATH DE number 4012586
• On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure
• Dimension theory inside a homogeneous model
• Totally Categorical Structures

Cited in

(10)

• Simplicity and uncountable categoricity in excellent classes
• Some remarks on homologically finite subcategories
• Quasiminimal structures, groups and Zariski-like geometries
• scientific article; zbMATH DE number 4142027 (Why is no real title available?)
• The uniqueness of envelopes in ℵ₀-categorical, ℵ₀-stable structures
• On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure
• On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure
• scientific article; zbMATH DE number 1827964 (Why is no real title available?)
• On Fraïssé's theorem for uncountable classes of finitely generated structures
• INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES

This page was built for publication: Finitely generated submodels of an uncountably categorical homogeneous structure

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