Abstract
We discuss the notion of uniform canonical bases, both in an abstract manner and specifically for the theory of atomless Lp lattices. We also discuss the connection between the definability of the set of uniform canonical bases and the existence of the theory of beautiful pairs (i.e., with the finite cover property), and prove in particular that the set of uniform canonical bases is definable in algebra- ically closed metric valued fields. 2010 Mathematics Subject Classification 03C45 (primary); 46B42,12J25 (second- ary)
Highlights
The canonical base of a type is a minimal set of parameters required to define the type, and as such it generalises notions such as the field of definition of a variety in algebraic geometry
In particular we observe that every stable theory admits uniform canonical bases in some imaginary sorts, so the space of all types can be naturally identified with a type-definable set
Let Cb be a uniform canonical base map in the sort x, and let f be definable function defined on img Cb, into some other possibly infinite sort
Summary
The canonical base of a type is a minimal set of parameters required to define the type, and as such it generalises notions such as the field of definition of a variety in algebraic geometry. In particular we observe that every stable theory admits uniform canonical bases in some imaginary sorts, so the space of all types can be naturally identified with a type-definable set. The second question, discussed, is whether the (type-definable) set of uniform canonical bases is definable We characterise this situation in terms of the existence of a theory of beautiful pairs.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.