تقرير
A simple continuous theory
| العنوان: | A simple continuous theory |
|---|---|
| المؤلفون: | Hanson, James |
| سنة النشر: | 2023 |
| المجموعة: | Mathematics |
| مصطلحات موضوعية: | Mathematics - Logic, 03C66, 03C45 |
| الوصف: | In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an 'essential' way. A common feature of such theories is that they do not interpret any infinite discrete structures. We investigate a stronger condition that is easier to establish and use it to give an example of a strictly simple continuous theory that does not interpret any infinite discrete structures: the theory of richly branching $\mathbb{R}$-forests with generic binary predicates. We also give an example of a superstable theory that fails to satisfy this stronger condition but nevertheless does not interpret any infinite discrete structures. Comment: 26 pages |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2306.14324 |
| رقم الأكسشن: | edsarx.2306.14324 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |