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

Preprint Number 2209

Previous Next Preprint server

2209. Itaï Ben Yaacov (ICJ, AGL)
On the expressive power of quantifiers in continuous logic

Submission date: 5 July 2022


In this short note we compare the expressive power of real-valued continuous logic (or just continuous logic, in recent literature) with that of compact-valued continuous logic, proposed by Chang and Keisler. We conclude that the two logics have the same expressive power, and moreover, that this remains true if we replace the plethora of potential quantifiers of compact-valued logic with a single “primordial” one.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2207.01863: pdf, ps.

Last updated: August 1 2022 11:36 Please send your corrections to: