Continuity and comprehension in intuitionistic formal systems
From MaRDI portal
Publication:1224089
DOI10.2140/pjm.1977.68.29zbMath0323.02048OpenAlexW2060439819MaRDI QIDQ1224089
Publication date: 1977
Published in: Pacific Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2140/pjm.1977.68.29
Related Items (5)
Church's thesis, continuity, and set theory ⋮ Effective inseparability in a topological setting ⋮ On effective topological spaces ⋮ Unnamed Item ⋮ Representations versus numberings: On the relationship of two computability notions
This page was built for publication: Continuity and comprehension in intuitionistic formal systems
