{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T11:41:31Z","timestamp":1648726891240},"reference-count":17,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2015,5,15]],"date-time":"2015-05-15T00:00:00Z","timestamp":1431648000000},"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":[[2017,5]]},"abstract":"<jats:p>In this paper, the concept of meet F-continuous posets is introduced. The main results are: (1) A poset <jats:italic>P<\/jats:italic> is meet F-continuous iff its normal completion is a meet continuous lattice iff a certain system \u03b3(<jats:italic>P<\/jats:italic>) which is, in the case of complete lattices, the lattice of all Scott closed sets is a complete Heyting algebra; (2) A poset <jats:italic>P<\/jats:italic> is precontinuous iff <jats:italic>P<\/jats:italic> is meet F-continuous and quasiprecontinuous; (3) The category of meet continuous lattices with complete homomorphisms is a full reflective subcategory of the category of meet F-continuous posets with cut-stable maps.<\/jats:p>","DOI":"10.1017\/s0960129515000213","type":"journal-article","created":{"date-parts":[[2015,5,15]],"date-time":"2015-05-15T07:02:37Z","timestamp":1431673357000},"page":"530-539","source":"Crossref","is-referenced-by-count":0,"title":["A completion-invariant extension of the concept of meet continuous lattices"],"prefix":"10.1017","volume":"27","author":[{"given":"WENFENG","family":"ZHANG","sequence":"first","affiliation":[]},{"given":"XIAOQUAN","family":"XU","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2015,5,15]]},"reference":[{"key":"S0960129515000213_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2014.01.015"},{"key":"S0960129515000213_ref2","volume-title":"Stetigkeit und irrationale Zahlen","author":"Dedekind","year":"1872"},{"key":"S0960129515000213_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF00383401"},{"key":"S0960129515000213_ref3","first-page":"43","volume-title":"Lecture Notes in Mathematic","author":"Ern\u00e9","year":"1981"},{"key":"S0960129515000213_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11401-007-0316-7"},{"key":"S0960129515000213_ref6","doi-asserted-by":"publisher","DOI":"10.2307\/2306387"},{"key":"S0960129515000213_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01195382"},{"key":"S0960129515000213_ref13","first-page":"495","article-title":"On infinitely distributive ordered sets","volume":"55","author":"Niederle","year":"2005","journal-title":"Mathematica Slovaca"},{"key":"S0960129515000213_ref7","volume-title":"Encyclopedia of Mathematics and its Applications","author":"Gierz","year":"2003"},{"key":"S0960129515000213_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01189001"},{"key":"S0960129515000213_ref1","volume-title":"Algebraic Theory of Lattices","author":"Crawley","year":"1973"},{"key":"S0960129515000213_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-010-0078-z"},{"key":"S0960129515000213_ref8","doi-asserted-by":"publisher","DOI":"10.1216\/RMJ-1981-11-2-271"},{"key":"S0960129515000213_ref9","volume-title":"Category Theory","author":"Herrlich","year":"1979"},{"key":"S0960129515000213_ref10","first-page":"937","article-title":"Macneille completions of Heyting algebras","volume":"30","author":"Harding","year":"2004","journal-title":"Houston Journal of Mathematics"},{"key":"S0960129515000213_ref12","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1937-1501929-X"},{"key":"S0960129515000213_ref11","first-page":"137","volume-title":"Domain Theory, Logic and Computation","author":"Kou","year":"2003"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129515000213","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T00:03:21Z","timestamp":1555545801000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129515000213\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,15]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["S0960129515000213"],"URL":"https:\/\/doi.org\/10.1017\/s0960129515000213","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,5,15]]}}}