|
Intelligent systems. Theory and applications, 2019, Volume 23, Issue 2, Pages 159–163
(Mi ista234)
|
|
|
|
Part 3. Mathematical models
The Zermelo–Fraenkel set theory is not sound with respect to the constructive sematics based on hyperarithmetic sorts
A. Yu. Konovalov
Abstract:
A semantics of the realizability based on hyperarithmetical sorts for formulas of the language of set theory is introduced. The soundness of axioms of the Zermelo–Fraenkel set theory with respect to this semantics is studied.
Keywords:
constructive semantics, realizability, axiomatic set theory, hyperarithmetical sorts.
Citation:
A. Yu. Konovalov, “The Zermelo–Fraenkel set theory is not sound with respect to the constructive sematics based on hyperarithmetic sorts”, Intelligent systems. Theory and applications, 23:2 (2019), 159–163
Linking options:
https://www.mathnet.ru/eng/ista234 https://www.mathnet.ru/eng/ista/v23/i2/p159
|
Statistics & downloads: |
Abstract page: | 116 | Full-text PDF : | 26 | References: | 15 |
|