English

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 R\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.

Keywords

Cite

@article{arxiv.2306.14324,
  title  = {A simple continuous theory},
  author = {James Hanson},
  journal= {arXiv preprint arXiv:2306.14324},
  year   = {2023}
}

Comments

26 pages