A simple continuous theory
Logic
2023-06-27 v1
Abstract
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 -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.
Cite
@article{arxiv.2306.14324,
title = {A simple continuous theory},
author = {James Hanson},
journal= {arXiv preprint arXiv:2306.14324},
year = {2023}
}
Comments
26 pages