ON FORKING AND DEFINABILITY OF TYPES IN SOME DP-MINIMAL THEORIES-Reference-Cited by-同舟云学术

ON FORKING AND DEFINABILITY OF TYPES IN SOME DP-MINIMAL THEORIES

Published:2014-12 Issue:4 Volume:79 Page:1020-1024
ISSN:0022-4812
Container-title:The Journal of Symbolic Logic
language:en
Short-container-title:J. symb. log.

Author:

SIMON PIERRE,STARCHENKO SERGEI

Abstract

AbstractWe prove in particular that, in a large class of dp-minimal theories including the p-adics, definable types are dense amongst nonforking types.

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference6 articles.

1. [4] Simon Pierre , On dp-minimal ordered structures, this Journal, vol. 76 (2011), no. 4, pp. 448–460.

2. [6] Simon Pierre , Dp-minimality: invariant types and dp-rank, this Journal, vol. 79 (2014), no. 4, pp. 1025–1045.

3. [3] Dolich Alfred , Forking and independence in o-minimal theories, this Journal, vol. 69 (2004), no. 1, pp. 215–240.

4. [2] Cotter Sarah and Starchenko Sergei , Forking in VC-minimal theories, this Journal, vol. 77 (2012), no. 4, pp. 1257–1271.

5. [1] Chernikov Artem and Kaplan Itay , Forking and dividing in NTP2 theories, this Journal, vol. 77 (2012), no. 1, pp. 1–20.

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

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

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

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

4. Imaginaries, invariant types and pseudo \(p\)-adically closed fields;Transactions of the American Mathematical Society;2020-11-18

5. Definable groups in models of Presburger Arithmetic;Annals of Pure and Applied Logic;2020-06