{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:24:48Z","timestamp":1725686688862},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308697"},{"type":"electronic","value":"9783642308703"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30870-3_30","type":"book-chapter","created":{"date-parts":[[2012,5,28]],"date-time":"2012-05-28T02:56:12Z","timestamp":1338173772000},"page":"293-302","source":"Crossref","is-referenced-by-count":1,"title":["A Direct Proof of Wiener\u2019s Theorem"],"prefix":"10.1007","author":[{"given":"Matthew","family":"Hendtlass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Schuster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Aczel, P., Rathjen, M.: Notes on Constructive Set Theory. Report No. 40, Institut Mittag-Leffler, Royal Swedish Academy of Sciences (2001)"},{"key":"30_CR2","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1016\/S1385-7258(67)50064-1","volume":"29","author":"N.G. Bruijn de","year":"1967","unstructured":"de Bruijn, N.G., van der Meiden, W.: Notes on Gelfand\u2019s theory. Indag. Math.\u00a029, 467\u2013474 (1967)","journal-title":"Indag. Math."},{"key":"30_CR3","unstructured":"Bridges, D.S.: Constructive Functional Analysis. Research Notes in Mathematics, vol.\u00a028. Pitman, London (1979)"},{"key":"30_CR4","series-title":"Grundlehren der Math. Wiss","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E.A. Bishop","year":"1985","unstructured":"Bishop, E.A., Bridges, D.S.: Constructive Analysis. Grundlehren der Math. Wiss, vol.\u00a0279. Springer, Heidelberg (1985)"},{"key":"30_CR5","doi-asserted-by":"publisher","first-page":"2749","DOI":"10.1090\/S0002-9939-00-05327-2","volume":"128","author":"D. Bridges","year":"2000","unstructured":"Bridges, D., Richman, F., Schuster, P.: A weak countable choice principle. Proc.\u00a0Amer.\u00a0Math.\u00a0Soc.\u00a0128, 2749\u20132752 (2000)","journal-title":"Proc.\u00a0Amer.\u00a0Math.\u00a0Soc."},{"key":"30_CR6","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1090\/S0002-9939-1961-0124515-4","volume":"12","author":"P. Cohen","year":"1961","unstructured":"Cohen, P.: A note on constructive methods in Banach algebras. Proc. Amer. Math. Soc.\u00a012, 159\u2013163 (1961)","journal-title":"Proc. Amer. Math. Soc."},{"issue":"11","key":"30_CR7","first-page":"1","volume":"2","author":"T. Coquand","year":"2010","unstructured":"Coquand, T., Spitters, B.: Constructive theory of Banach algebras. Journal of Logic and Analysis\u00a02(11), 1\u201315 (2010)","journal-title":"Journal of Logic and Analysis"},{"key":"30_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0273-0979-1991-15949-5","volume":"24","author":"T. Coquand","year":"1991","unstructured":"Coquand, T., Stolzenberg, G.: The Wiener lemma and certain of its generalizations. Bull. Amer. Math. Soc. (N.S.)\u00a024, 1\u20139 (1991)","journal-title":"Bull. Amer. Math. Soc. (N.S.)"},{"key":"30_CR9","unstructured":"Gelfand, I.M., Raikov, D.A., Chilov, G.E.: Les anneaux norm\u00e9s commutatifs. Gauthier-Villars, Paris (1964)"},{"key":"30_CR10","series-title":"Modules projectifs de type fini, Math\u00e9matiques en devenir","volume-title":"Alg\u00e8bre commutative. M\u00e9thodes constructives","author":"H. Lombardi","year":"2012","unstructured":"Lombardi, H., Quitt\u00e9, C.: Alg\u00e8bre commutative. M\u00e9thodes constructives. Modules projectifs de type fini, Math\u00e9matiques en devenir, vol.\u00a0107. Calvage & Mounet, Paris (2012)"},{"key":"30_CR11","first-page":"264","volume":"48","author":"D. Newman","year":"1975","unstructured":"Newman, D.: A simple proof of Wiener\u2019s 1\/f theorem. Proc. Amer. Math. Soc.\u00a048, 264\u2013265 (1975)","journal-title":"Proc. Amer. Math. Soc."},{"key":"30_CR12","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0020-0190(88)90126-3","volume":"29","author":"J. Raoult","year":"1988","unstructured":"Raoult, J.: Proving open properties by induction. Inform. Process. Letters\u00a029, 19\u201323 (1988)","journal-title":"Inform. Process. Letters"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Schuster, P.: Induction in algebra: a first case study. In: Twenty-Seventh Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2012 (2012)","DOI":"10.1109\/LICS.2012.68"},{"key":"30_CR14","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in mathematics: An introduction, Volume II. Studies in Logic and the Foundations of Mathematics, vol.\u00a0123. North-Holland (1988)"}],"container-title":["Lecture Notes in Computer Science","How the World Computes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30870-3_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:32:26Z","timestamp":1620127946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30870-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308697","9783642308703"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30870-3_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}