MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 1194
Preprint Number 1194
1194. Karim Khanaki NIP formulas and Baire 1 definability E-mail: Submission date: 25 March 2017 Abstract: In this short note, using results of Bourgain, Fremlin, and Talagrand
[BFT], we show that for a countable structure M and a formula
φ(x,y) the following are equivalent: This implies, as it is well known, that if φ is NIP then every global M-invariant φ-type is Baire 1 definable over M. Then, we point out that Poizat's result about the numbers of coheirs of types in NIP theories holds in the framework of continuous logic. Mathematics Subject Classification: Keywords and phrases: |

Last updated: March 23 2021 10:20 | Please send your corrections to: |