Invariant types in NIP theories-Reference-Cited by-同舟云学术

Invariant types in NIP theories

Published:2015-12 Issue:02 Volume:15 Page:1550006
ISSN:0219-0613
Container-title:Journal of Mathematical Logic
language:en
Short-container-title:J. Math. Log.

Author:

Simon Pierre¹

Affiliation:

1. CNRS, Institut Camille Jordan, Université Claude Bernard, Lyon I, 43 Boulevard du 11 Novembre 1918, 69622 Villeurbanne Cedex, France

Abstract

We study invariant types in NIP theories. Amongst other things: we prove a definable version of the [Formula: see text]-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of [Formula: see text]-invariant types to that of [Formula: see text]-finitely satisfiable types; we show some amalgamation results for invariant types and list a number of open questions.

Publisher

World Scientific Pub Co Pte Lt

Subject

Logic

Link

https://www.worldscientific.com/doi/pdf/10.1142/S0219061315500063

Reference14 articles.

1. Graduate Texts in Mathematics;Albiac F.,2006

2. Piercing convex sets and the Hadwiger-Debrunner (p, q)-problem

3. Pointwise Compact Sets of Baire-Measurable Functions

4. Forking and Dividing in NTP2 theories

5. Externally definable sets and dependent pairs II

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Around definable types in p-adically closed fields;Annals of Pure and Applied Logic;2024-12

2. Glivenko–Cantelli classes and NIP formulas;Archive for Mathematical Logic;2024-06-03

3. A definable (p,q)-theorem for NIP theories;Advances in Mathematics;2024-01

4. Enriching a predicate and tame expansions of the integers;Journal of Mathematical Logic;2023-11-21

5. DEFINABLE -THEOREM FOR FAMILIES WITH VC-CODENSITY LESS THAN;The Journal of Symbolic Logic;2023-06-29