Moscow University mathematics bulletin, 2020, Vol.75 (1), p.38-41
2020
Volltextzugriff (PDF)
Details
- Autor(en) / Beteiligte
- Titel
- Generalized Realizability and Markov’s Principle
- Ist Teil von
- Moscow University mathematics bulletin, 2020, Vol.75 (1), p.38-41
- Ort / Verlag
- Moscow: Pleiades Publishing
- Erscheinungsjahr
- 2020
- Quelle
- SpringerLink
- Beschreibungen/Notizen
- Various variants of the concept 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 ⊆ ℕ.
- Sprache
- Englisch
- Identifikatoren
- ISSN: 0027-1322eISSN: 1934-8444DOI: 10.3103/S0027132220010064Titel-ID: cdi_proquest_journals_2423818941
- Format
- –
- Schlagworte
- Analysis, Brief Communications, Mathematics, Mathematics and Statistics, Realizability