Proved this theory decidable because it can be mapped into another theory he had already proved decidable, namely his first-order theory of the real numbers
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikipedia
- #event
Proved this theory decidable because it can be mapped into another theory he had already proved decidable, namely his first-order theory of the real numbers
Text from Wikipedia, available under CC BY-SA 4.0.
Captured 2026-08-18 from Wikipedia. The archived copy is preserved so this citation survives link rot.