{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T09:40:11Z","timestamp":1685526011119},"reference-count":14,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":2010,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Log. Quart."],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1002\/malq.200810048","type":"journal-article","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T13:38:04Z","timestamp":1269869884000},"page":"191-197","source":"Crossref","is-referenced-by-count":1,"title":["Continuous homomorphisms of R onto a compact group"],"prefix":"10.1002","volume":"56","author":[{"given":"Douglas","family":"Bridges","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Hendtlass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"10.1002\/malq.200810048-BIB1","unstructured":"P. Aczel, and M. Rathjen, Notes on Constructive Set Theory. Report No. 40, Institut Mittag-Leffler, Royal Swedish Academy of Sciences (2001)."},{"key":"10.1002\/malq.200810048-BIB2","doi-asserted-by":"crossref","unstructured":"Y. Akama, S. Berardi, S. Hayashi, and U. Kohlenbach, An arithmetical hierarchy of the law of excluded middle and related principles. In: Proc. 19th Annual IEEE Symposium on Logic in Computer Science, (LICS'04), pp. 192-201 (IEEE Press, 2004).","DOI":"10.1109\/LICS.2004.1319613"},{"key":"10.1002\/malq.200810048-BIB3","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1002\/malq.200410038","article-title":"Brouwer's fan theorem and unique existence in constructive analysis","volume":"51","author":"Berger","year":"2005","journal-title":"Math. Log. Quart."},{"key":"10.1002\/malq.200810048-BIB4","unstructured":"E. A. Bishop, Foundations of Constructive Analysis (McGraw-Hill, 1967)."},{"key":"10.1002\/malq.200810048-BIB5","doi-asserted-by":"crossref","unstructured":"E. A. Bishop, and D. S. Bridges, Constructive Analysis. Grundlehren der math. Wissenschaften 279 (Springer, 1985).","DOI":"10.1007\/978-3-642-61667-9"},{"key":"10.1002\/malq.200810048-BIB6","doi-asserted-by":"crossref","unstructured":"D. S. Bridges, A constructive Morse theory of sets. In: Mathematical Logic and its Applications (D. Skordev, ed.), pp. 61-79 (Plenum Publishing Corp., 1987).","DOI":"10.1007\/978-1-4613-0897-3_5"},{"key":"10.1002\/malq.200810048-BIB7","doi-asserted-by":"crossref","unstructured":"D. S. Bridges, and M. Hendtlass, Continuous isomorphisms from R onto a complete abelian group. J. Symbolic Logic, to appear.","DOI":"10.2178\/jsl\/1278682208"},{"key":"10.1002\/malq.200810048-BIB8","doi-asserted-by":"crossref","unstructured":"D. S. Bridges, and F. Richman, Varieties of Constructive Mathematics. London Mathematical Society Lecture Notes 97 (Cambridge University Press, 1987).","DOI":"10.1017\/CBO9780511565663"},{"key":"10.1002\/malq.200810048-BIB9","unstructured":"D. S. Bridges, and L. S. V\u00eet\u0327a\u0306, Techniques of Constructive Analysis (Universitext, Springer, 2006)."},{"key":"10.1002\/malq.200810048-BIB10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/1971023","article-title":"Set theoretic foundations for constructive analysis","volume":"105","author":"Friedman","year":"1977","journal-title":"Annals Math."},{"key":"10.1002\/malq.200810048-BIB11","unstructured":"H. Ishihara, and P. M. Schuster, A continuity principle, a version of Baire's theorem, and a boundedness principle. J. Symbolic Logic, to appear."},{"key":"10.1002\/malq.200810048-BIB12","doi-asserted-by":"crossref","unstructured":"M. C. Irwin, Smooth Dynamical Systems (World Scientific, 2001).","DOI":"10.1142\/4681"},{"key":"10.1002\/malq.200810048-BIB13","doi-asserted-by":"crossref","first-page":"347","DOI":"10.2307\/2272159","article-title":"Constructive set theory","volume":"40","author":"Myhill","year":"1975","journal-title":"J. Symbolic Logic"},{"key":"10.1002\/malq.200810048-BIB14","unstructured":"F. Richman, On Baire's category theorem. Preprint, Florida Atlantic University, Boca Raton, FL (2008)."}],"container-title":["MLQ"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.200810048","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/malq.200810048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T09:19:08Z","timestamp":1685524748000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.200810048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,3]]}},"URL":"https:\/\/doi.org\/10.1002\/malq.200810048","relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3]]}}}