On the expressive power of quantifiers in continuous logic

arXiv2207.01863MaRDI QIDQ6404002FDOQ6404002

Publication date: 5 July 2022

Abstract: 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.

This page was built for publication: On the expressive power of quantifiers in continuous logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6404002)