A model-theoretic Baire category theorem for simple theories and its applications

DOI10.4064/FM220-3-1MaRDI QIDQ4909596zbMATH OpenOpenAlexFDO

Authors Ziv Shami

Publication date 21 March 2013

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0912.2591

zbMATH Keywords

dichotomyBaire category theoremtrichotomySU-ranksimple theoriesforking topologyessentially 1-based typesupersimplicityweak nfcp

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Abstract: We prove a model theoretic Baire category theorem for $ildea{u}_{low}^f$-sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in countable nfcp theories: either every type that is internal in a minimal type is essentially-1-based by means of the forking topology or $T$ interprets an infinite definable 1-based group of finite $D$-rank or $T$ interprets a strongly-minimal formula.

Recommendations

• scientific article; zbMATH DE number 175743
• scientific article; zbMATH DE number 1531892
• On omega-categorical simple theories
• The classification of small weakly minimal sets. II
• Countable models of 1-based theories

Cited in

(5)

• On omega-categorical simple theories
• On countable simple unidimensional theories
• A dichotomy for \(D\)-rank 1 types in simple theories
• On uncountable hypersimple unidimensional theories
• On the forking topology of a reduct of a simple theory

This page was built for publication: A model-theoretic Baire category theorem for simple theories and its applications

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