|
Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 2020, Number 1, Pages 60–64
(Mi vmumm4304)
|
|
|
|
This article is cited in 3 scientific papers (total in 3 papers)
Short notes
Generalized realizability and the Markov principle
A. Yu. Konovalov Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Abstract:
Various variants of the notion of the $V$-realizability for predicate formulas are defined, where indices of functions in the set $V$ are used for interpreting the implication and the universal quantifier. It is proved that Markov's principle is weakly $V$-realizable, not uniformly $V$-realizable, and uniformly $V$-realizable in any $V$-enumerable domain $M \subseteq \mathbb N$.
Key words:
constructive semantics, realizability, absolute realizability, generalized realizability, Markov's principle.
Received: 11.07.2018
Citation:
A. Yu. Konovalov, “Generalized realizability and the Markov principle”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2020, no. 1, 60–64; Moscow University Mathematics Bulletin, 75:1 (2020), 38–41
Linking options:
https://www.mathnet.ru/eng/vmumm4304 https://www.mathnet.ru/eng/vmumm/y2020/i1/p60
|
Statistics & downloads: |
Abstract page: | 96 | Full-text PDF : | 15 | References: | 17 | First page: | 6 |
|