Inheriting the anti-Specker property

zbMath1232.03056MaRDI QIDQ621419

Douglas S. Bridges

Publication date: 2 February 2011

Published in: Documenta Mathematica (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/233626

zbMATH Keywords

constructive topologyanti-Specker propertyIshihara's principle

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Constructive and recursive analysis (03F60) Compact (locally compact) metric spaces (54E45)

Related Items (2)

Z-stability in Constructive Analysis ⋮ Intuitionistic sequential compactness?

This page was built for publication: Inheriting the anti-Specker property