A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
From MaRDI portal
Publication:6319522
DOI10.23638/LMCS-17(2:21)2021arXiv1905.11966MaRDI QIDQ6319522
Maria Emilia Maietti, Michael Rathjen, Samuele Maschio
Publication date: 28 May 2019
Topological spaces and generalizations (closure spaces, etc.) (54A05) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)