Found 8 Documents (Results 1–8)
Bishop-style constructive reverse mathematics. (English) Zbl 07464649
Brattka, Vasco (ed.) et al., Handbook of computability and complexity in analysis. Cham: Springer. Theory Appl. Comput., 347-365 (2021).
The monotone completeness theorem in constructive reverse mathematics. (English) Zbl 1469.03172
Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 101-112 (2019).
On the contrapositive of countable choice. (English) Zbl 1218.03034
Reviewer: Valery Plisko (Moskva)
Filter Results by …
Document Type
- Journal Articles (6)
- Collection Articles (2)
all
top 5
Author
- Ishihara, Hajime (8)
- Schuster, Peter Michael (3)
- Nemoto, Takako (2)
- Vîţă, Luminiţa Simona (2)
- Bridges, Douglas Suth (1)
- Diener, Hannes (1)
- Fujiwara, Makoto (1)
- Mines, Ray (1)
- Suzuki, Nobu-Yuki (1)
- Yokoyama, Keita (1)
Serial
- Ann. Pure Appl. Logic (2)
- Arch. Math. Logic (2)
- Indag. Math., New Ser. (1)
- Bull. Symb. Log. (1)
