[DL] Formalising real numbers

[Steve W]

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: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20100411/79a32134/attachment.htm>