{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,11]],"date-time":"2024-02-11T14:41:24Z","timestamp":1707662484933},"reference-count":13,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2007,2,1]],"date-time":"2007-02-01T00:00:00Z","timestamp":1170288000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2007,2]]},"abstract":"<jats:p>We prove two results for the sequential topology on countable products of sequential topological spaces. First we show that a countable product of topological quotients yields a quotient map between the product spaces. Then we show that the reflection from sequential spaces to its subcategory of monotone \u03c9-convergence spaces preserves countable products. These results are motivated by applications to the modelling of computation on non-discrete spaces.<\/jats:p>","DOI":"10.1017\/s0960129506005895","type":"journal-article","created":{"date-parts":[[2007,3,7]],"date-time":"2007-03-07T10:59:58Z","timestamp":1173265198000},"page":"161-172","source":"Crossref","is-referenced-by-count":3,"title":["Two preservation results for countable products of sequential spaces"],"prefix":"10.1017","volume":"17","author":[{"given":"MATTHIAS","family":"SCHR\u00d6DER","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ALEX","family":"SIMPSON","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2007,2,1]]},"reference":[{"key":"S0960129506005895_rf13","first-page":"384","volume-title":"Continuous Lattices, Proceedings of the Conference on Topological and Categorical Aspects of Continuous Lattices, Bremen 1979","author":"Wyler","year":"1981"},{"key":"S0960129506005895_rf12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9"},{"key":"S0960129506005895_rf10","volume-title":"Proceedings of thirteenth ALGI Workshop","author":"Simpson","year":"2003"},{"key":"S0960129506005895_rf9","unstructured":"Schr\u00f6der M. (2003) Admissible Representations for Continuous Computations, Ph.D. thesis, FernUniversit\u00e4t Hagen."},{"key":"S0960129506005895_rf7","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.008"},{"key":"S0960129506005895_rf6","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003699"},{"key":"S0960129506005895_rf4","doi-asserted-by":"publisher","DOI":"10.4064\/fm-57-1-107-115"},{"key":"S0960129506005895_rf3","doi-asserted-by":"publisher","DOI":"10.1016\/j.topol.2004.02.011"},{"key":"S0960129506005895_rf1","unstructured":"Battenfeld I. (2006) Modelling Computational Effects in QCB (in preparation)."},{"key":"S0960129506005895_rf5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725"},{"key":"S0960129506005895_rf2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005202"},{"key":"S0960129506005895_rf11","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1093\/oso\/9780198537809.003.0004","volume-title":"Handbook of Logic in Computer Science","author":"Stoltenberg-Hansen","year":"1995"},{"key":"S0960129506005895_rf8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00109-8"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129506005895","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,11]],"date-time":"2024-02-11T14:06:17Z","timestamp":1707660377000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129506005895\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,2]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,2]]}},"alternative-id":["S0960129506005895"],"URL":"https:\/\/doi.org\/10.1017\/s0960129506005895","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,2]]}}}