From Intuitionistic Mathematics to Point-Free Topology

DOI10.1142/9789811236488_0003MaRDI QIDQ5081868zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I
• The principle of pointfree continuity
• Reducibility, a constructive dual of spatiality
• scientific article; zbMATH DE number 1164976
• scientific article; zbMATH DE number 2212005

Cited in

(4)

• scientific article; zbMATH DE number 6423784 (Why is no real title available?)
• Point-free construction of real exponentiation
• A Point-Free Relation-Algebraic Approach to General Topology
• Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5081868)