The topological models of intuitionistic analysis. One counterexample

DOI10.1007/BF01149927zbMath0355.02025OpenAlexW1995567758WikidataQ124883795 ScholiaQ124883795MaRDI QIDQ1237070

M. D. Krol'

Publication date: 1976

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01149927

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)

Related Items (2)

A new model for intuitionistic analysis ⋮ Some purely topological models for intuitionistic analysis

Cites Work

• Unnamed Item

This page was built for publication: The topological models of intuitionistic analysis. One counterexample