3 ms·
Infinite structures do not preclude finite analysis. The theory of real closed fields is complete and decidable, for example.
by cgmg 9y ago
Infinite structures do not preclude finite analysis.
The theory of real closed fields is complete and decidable, for example.
- groby_b 9y agoYes. Also, not germane to the topic discussed.