Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1941

Preprint Number 1941

Previous Next Preprint server

1941. Michael C. Laskowski and Douglas S. Ulrich
Most(?) theories have Borel complete reducts

Submission date: 17 March 2021


We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete 1-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 ω-stable, then the elementary diagram of some countable model of T has a Borel complete reduct.

Mathematics Subject Classification: 03C50

Keywords and phrases:

Full text arXiv 2103.09724: pdf, ps.

Last updated: April 9 2021 12:08 Please send your corrections to: