A Topological Model for Troelstra's System CS of Intuitionistic Analysis

DOI10.1002/MALQ.19800262204MaRDI QIDQ3905275zbMATH OpenOpenAlexFDO

Authors Konrad Schultz

Publication date 1980

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19800262204

zbMATH Keywords

choice sequenceintuitionistic set theoryMarkov principle

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

This page was built for publication: A Topological Model for Troelstra's System CS of Intuitionistic Analysis

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