|
Intelligent systems. Theory and applications, 2019, Volume 23, Issue 3, Pages 131–134
(Mi ista243)
|
|
|
|
Part 3. Mathematical models
The intuitionistic set theory is not sound with respect to the constructive sematics based on hyperarithmetic sorts
A. Yu. Konovalov
Abstract:
The soundness of axioms of the intuitionistic set theory with respect to the realizability semantics based on hyperarithmetical sorts is studied.
Keywords:
constructive semantics, realizability, axiomatic set theory, hyperarithmetical sorts.
Citation:
A. Yu. Konovalov, “The intuitionistic set theory is not sound with respect to the constructive sematics based on hyperarithmetic sorts”, Intelligent systems. Theory and applications, 23:3 (2019), 131–134
Linking options:
https://www.mathnet.ru/eng/ista243 https://www.mathnet.ru/eng/ista/v23/i3/p131
|
Statistics & downloads: |
Abstract page: | 87 | Full-text PDF : | 15 | References: | 12 |
|