{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T14:47:00Z","timestamp":1648824420983},"reference-count":28,"publisher":"Wiley","issue":"5","license":[{"start":{"date-parts":[[2011,4,5]],"date-time":"2011-04-05T00:00:00Z","timestamp":1301961600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"},{"start":{"date-parts":[[2011,4,5]],"date-time":"2011-04-05T00:00:00Z","timestamp":1301961600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Quarterly"],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1002\/malq.201010024","type":"journal-article","created":{"date-parts":[[2011,4,5]],"date-time":"2011-04-05T17:23:22Z","timestamp":1302024202000},"page":"481-484","source":"Crossref","is-referenced-by-count":0,"title":["Powers of positive elements in <i>C<\/i>\n*-algebras"],"prefix":"10.1002","volume":"57","author":[{"given":"Hiroki","family":"Takamura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2011,4,5]]},"reference":[{"key":"10.1002\/malq.201010024-BIB1|cit1","volume-title":"Notes on Constructive Set Theory, Institut Mittag-Leffler Report No. 40","author":"Aczel","year":"2001"},{"key":"10.1002\/malq.201010024-BIB2|cit2","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1090\/S0002-9947-1957-0100789-4","article-title":"Spectral theory for operators on a banach space","volume":"86","author":"Bishop","year":"1957","journal-title":"Trans. Am. Math. Soc."},{"key":"10.1002\/malq.201010024-BIB3|cit3","volume-title":"Foundations of Constructive Analysis","author":"Bishop","year":"1967"},{"key":"10.1002\/malq.201010024-BIB4|cit4","volume-title":"Constructive Analysis, Grundlehren der Mathematischen Wissenschaften Vol. 279","author":"Bishop","year":"1985"},{"key":"10.1002\/malq.201010024-BIB5|cit5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02313-6","volume-title":"Operator Algebras and Quantum Statistical Mechanics Vol. 1: C*- and W*-algebras, Algebra, Symmetry Groups, Decomposition of States, Texts and Monographs in Physics","author":"Bratteli","year":"1979"},{"key":"10.1002\/malq.201010024-BIB6|cit6","volume-title":"Constructive Functional Analysis, Research Notes in Mathematics","author":"Bridges","year":"1979"},{"key":"10.1002\/malq.201010024-BIB7|cit7","first-page":"145","article-title":"Constructive methods in Banach algebra theory","volume":"52","author":"Bridges","year":"2000","journal-title":"Math. Jap."},{"key":"10.1002\/malq.201010024-BIB8|cit8","first-page":"171","article-title":"Constructive Banach algebra theory and the Nullstellensatz","volume":"69","author":"Bridges","year":"2006","journal-title":"Publ. Math."},{"key":"10.1002\/malq.201010024-BIB9|cit9","first-page":"1","article-title":"Powers of a Hermitian element","volume":"36","author":"Bridges","year":"2007","journal-title":"N. Z. J. Math."},{"key":"10.1002\/malq.201010024-BIB10|cit10","first-page":"355","article-title":"Constructing square roots in a Banach algebra","volume":"70","author":"Bridges","journal-title":"Sci. Math. Jap."},{"key":"10.1002\/malq.201010024-BIB11|cit11","doi-asserted-by":"crossref","first-page":"729","DOI":"10.1016\/j.jco.2006.03.004","article-title":"Ideals in constructive banach algebra theory","volume":"22","author":"Bridges","year":"2007","journal-title":"J. Complex."},{"key":"10.1002\/malq.201010024-BIB12|cit12","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0019-3577(96)88654-X","article-title":"Spectral of self-adjoint operators in constructive analysis","volume":"7","author":"Bridges","year":"1996","journal-title":"Indag. Math."},{"issue":"7","key":"10.1002\/malq.201010024-BIB13|cit13","doi-asserted-by":"crossref","first-page":"2133","DOI":"10.1090\/S0002-9939-03-07267-8","article-title":"The polydisk Nullstellensatz","volume":"132","author":"Bridges","year":"2004","journal-title":"Proc. Am. Math. Soc."},{"key":"10.1002\/malq.201010024-BIB14|cit14","first-page":"243","article-title":"Adjoint, absolute values and polar decomposition","volume":"44","author":"Bridges","year":"2000","journal-title":"J. Oper. Theory"},{"key":"10.1002\/malq.201010024-BIB15|cit15","volume-title":"Techniques of Constructive Analysis, Universitext","author":"Bridges","year":"2006"},{"issue":"11","key":"10.1002\/malq.201010024-BIB16|cit16","first-page":"1","article-title":"A constructive theory of Banach algebras","volume":"2","author":"Coquand","year":"2010","journal-title":"Log. Anal."},{"key":"10.1002\/malq.201010024-BIB17|cit17","unstructured":"R. Havea Constructive Spectral and Numerical Range, Ph.D. thesis 2001"},{"key":"10.1002\/malq.201010024-BIB18|cit18","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1112\/blms\/21.1.79","article-title":"On the constructive Hahn-Banach theorem","volume":"21","author":"Ishihara","year":"1989","journal-title":"Bull. Lond. Math. Soc."},{"key":"10.1002\/malq.201010024-BIB19|cit19","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0168-0072(91)90037-M","article-title":"Constructive compact operators on a Hilbert space","volume":"52","author":"Ishihara","year":"1991","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1002\/malq.201010024-BIB20|cit20","volume-title":"Fundamentals of the Theory of Operator Algebras","author":"Kadison","year":"1983"},{"key":"10.1002\/malq.201010024-BIB21|cit21","doi-asserted-by":"crossref","first-page":"307","DOI":"10.32917\/hmj\/1556935304","article-title":"A theorem on operator algebras","volume":"18","author":"Ogasawara","year":"1955","journal-title":"J. Sci. Hiroshima Univ."},{"key":"10.1002\/malq.201010024-BIB22|cit22","volume-title":"C*-Algebras and their Automorphism Groups","author":"Pedersen","year":"1979"},{"key":"10.1002\/malq.201010024-BIB23|cit23","volume-title":"C*-Algebras and W*-Algebras","author":"Sakai","year":"1971"},{"key":"10.1002\/malq.201010024-BIB24|cit24","unstructured":"B. Spitters Constructive and Intuitionistic Integration Theory and Functional Analysis, Ph.D. thesis 2003"},{"key":"10.1002\/malq.201010024-BIB25|cit25","first-page":"208","volume-title":"An Introduction to the Theory of C*-algebras in Constructive Mathematics, in: From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics","author":"Takamura","year":"2005"},{"key":"10.1002\/malq.201010024-BIB26|cit26","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6188-9","volume-title":"Theory of Operator Algebras I","author":"Takesaki","year":"1979"},{"key":"10.1002\/malq.201010024-BIB27|cit27","unstructured":"L. V\u00ee\u0163\u0103 The Constructive Theory of Operator Algebras, Ph.D. thesis 2000"},{"key":"10.1002\/malq.201010024-BIB28|cit28","volume-title":"An Introduction to Operator Algebras","author":"Zhu","year":"1993"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201010024","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201010024","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/onlinelibrary.wiley.com\/wol1\/doi\/10.1002\/malq.201010024\/fullpdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,3]],"date-time":"2021-07-03T13:31:43Z","timestamp":1625319103000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201010024"}},"subtitle":["Powers of positive elements in <i>C<\/i>\n*-algebras"],"short-title":[],"issued":{"date-parts":[[2011,4,5]]},"references-count":28,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2011,10]]}},"URL":"https:\/\/doi.org\/10.1002\/malq.201010024","archive":["Portico"],"relation":{},"ISSN":["0942-5616"],"issn-type":[{"value":"0942-5616","type":"print"}],"subject":[],"published":{"date-parts":[[2011,4,5]]}}}