From Intuitionistic Mathematics to Point-Free Topology

DOI10.1142/9789811236488_0003OpenAlexW3188099519MaRDI QIDQ5081868

Tatsuji Kawai

Publication date: 17 June 2022

Published in: Proof and Computation II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789811236488_0003

Mathematics Subject Classification ID

General logic (03Bxx) Mathematical logic and foundations (03-XX) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx)

Related Items (1)

Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$

This page was built for publication: From Intuitionistic Mathematics to Point-Free Topology