[DL] Formalising real numbers

Steve W s.wong.731 at googlemail.com
Sun Apr 11 02:22:30 CEST 2010


Hi,

Does anyone know if it's possible to formalise the real numbers in DL? I
know the supremum property requires at least second-order logic, but can it
somehow be reformualted and still fit in FOL or even DL? Has there been any
attempt?

Thanks
Steve
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20100411/79a32134/attachment.html>


More information about the dl mailing list