Unique Existence and Computability in Constructive Reverse Mathematics

DOI10.1007/978-3-540-73001-9_38zbMath1151.03351OpenAlexW1507261115MaRDI QIDQ5425338

Hajime Ishihara

Publication date: 13 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73001-9_38

zbMATH Keywords

constructive mathematicsreverse mathematicscomputabilityBrouwer's fan theoremunique existenceweak König lemma

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Problems, solutions, and completions

This page was built for publication: Unique Existence and Computability in Constructive Reverse Mathematics