No CrossRef data available.
Article contents
MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS
Published online by Cambridge University Press: 27 September 2021
Abstract
We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete one-types, then it has a Borel complete reduct. Similarly, if
$Th(M)$
is not small, then
$M^{eq}$
has a Borel complete reduct, and if a theory T is not
$\omega $
-stable, then the elementary diagram of some countable model of T has a Borel complete reduct.
MSC classification
- Type
- Article
- Information
- Copyright
- © The Author(s), 2021. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20230307193347619-0815:S0022481221000785:S0022481221000785_inline496.png?pub-status=live)