2021
DOI: 10.1007/978-3-030-59234-9_10
|View full text |Cite
|
Sign up to set email alerts
|

Bishop-Style Constructive Reverse Mathematics

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
12
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
5
2
1

Relationship

0
8

Authors

Journals

citations
Cited by 9 publications
(12 citation statements)
references
References 0 publications
0
12
0
Order By: Relevance
“…There are a huge number of mathematical principles which are equivalent to LLPO; see Diener [11] and also Brattka-Gherardi-Pauly [6]. The principle LLPO may also be called de Morgan's law for Σ 0 1 formulas.…”
Section: Game Rulesmentioning
confidence: 99%
See 1 more Smart Citation
“…There are a huge number of mathematical principles which are equivalent to LLPO; see Diener [11] and also Brattka-Gherardi-Pauly [6]. The principle LLPO may also be called de Morgan's law for Σ 0 1 formulas.…”
Section: Game Rulesmentioning
confidence: 99%
“…Coincidentally, it turns out that our notion is heavily related to another notion called extended Weihrauch reducibility, which is introduced in Bauer [2]. By viewing topologies in this way, it is possible, for example, to position the study of the structure of Lawvere-Tierney topologies as an extension of the Weihrauch-style analogue [6] of reverse mathematics (note, however, that this is by no means an extension of the standard reverse mathematics [38,11] at all; reverse mathematics has more to do with the internal logic, and more finitary aspects). By bringing the arguments on topologies into pure computability theory in this way, we solve some problems proposed in [23,24].…”
mentioning
confidence: 99%
“…We have the following theorem, which sprouts from the section on metastability in Diener's forthcoming Habilitationsschrift ( [24]).…”
Section: 14mentioning
confidence: 99%
“…The notion of BD-N as well as Proposition 9 are due to [13]. For an overview of constructive reverse mathematics, see [11,14,15].…”
Section: Notesmentioning
confidence: 99%