Publication:5744319

DOI10.1142/S0219061315500063zbMATH Open1370.03050arXiv1401.6715OpenAlexW1576561604MaRDI QIDQ5744319FDOQ5744319

Pierre Simon

Publication date: 18 February 2016

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Abstract: We study invariant types in NIP theories. Amongst other things: we prove a definable version of the (p,q)-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of M-invariant types to that of M-finitely satisfiable types; we show some amalgamation results for invariant types and list a number of open questions.

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

zbMATH Keywords

NIPinvariant typecoheir, definable type

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A course in model theory
• Pointwise Compact Sets of Baire-Measurable Functions
• External definability and groups in NIP theories
• A Guide to NIP Theories
• Definably amenable NIP groups

Cited In (13)

• Title not available (Why is that?)
• Around definable types in \(p\)-adically closed fields
• Sequential approximations for types and Keisler measures
• Inert type extensions and related factorization properties
• Remarks on convergence of Morley sequences
• A definable \((p,q)\)-theorem for NIP theories
• Glivenko-Cantelli classes and \textit{NIP} formulas
• THE DEFINABLE (P, Q)-THEOREM FOR DISTAL THEORIES
• The domination monoid in o-minimal theories
• Weakly binary expansions of dense meet‐trees
• DEFINABLE AND INVARIANT TYPES IN ENRICHMENTS OF NIP THEORIES
• Title not available (Why is that?)
• Non-isolated types in stable theories

This page was built for publication: Invariant types in NIP theories

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