Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Developing continuity theory in a formal predicative set theory. |
| Συγγραφείς: |
Avron, Arnon1 (AUTHOR), Levi, Nissan1 (AUTHOR) |
| Πηγή: |
Logic Journal of the IGPL. Aug2026, Vol. 34 Issue 4, p1-27. 27p. |
| Θεματικοί όροι: |
*Mathematical analysis, *Logic, Set theory, Real numbers, Continuous functions, Mathematical logic |
| Περίληψη: |
We present correct and natural development of continuity theory in a predicative set theory called PZF U . This is done by using a delicate and careful choice of those Dedekind cuts that are taken as real numbers. PZF U is based on ancestral logic rather than on first-order logic. Its key feature is that it is definitional in the sense that every object that is shown in it to exist is defined by some closed term of the theory. This allows for a very concrete, computationally oriented model of it. The development of analysis in PZF U does not involve coding, and the definitions it provides for the basic notions are the natural ones. [ABSTRACT FROM AUTHOR] |
|
Copyright of Logic Journal of the IGPL is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Βάση Δεδομένων: |
Business Source Index |