Continuous isomorphisms from R onto a complete abelian group

DOI10.2178/jsl/1278682208zbMath1209.03047OpenAlexW2036711340MaRDI QIDQ4931099

Matthew Hendtlass, Douglas S. Bridges

Publication date: 4 October 2010

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1278682208

zbMATH Keywords

compact abelian groupconstructive analysiscontinuous homomorphism

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Topological methods for abelian groups (20K45)

Related Items (1)

Continuous homomorphisms of R onto a compact group

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear mappings are fairly well-behaved
• Techniques of constructive analysis
• Set theoretic foundations for constructive analysis
• An omniscience principle, the König Lemma and the Hahn‐Banach theorem
• A continuity principle, a version of Baire's theorem and a boundedness principle

This page was built for publication: Continuous isomorphisms from R onto a complete abelian group