{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:32:29Z","timestamp":1725456749220},"publisher-location":"Berlin\/Heidelberg","reference-count":33,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540529535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0029641","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:33:46Z","timestamp":1133397226000},"page":"446-456","source":"Crossref","is-referenced-by-count":0,"title":["A sup-preserving completion of ordered partial algebras"],"prefix":"10.1007","author":[{"given":"Ana","family":"Pasztor","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"50_CR1","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BF02483917","volume":"14","author":"J. Adamek","year":"1982","unstructured":"Adamek, J., Construction of free ordered algebras, Alg. Universalis. 14 (1982) 140\u2013166.","journal-title":"Alg. Universalis."},{"issue":"1","key":"50_CR2","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1016\/0022-0000(82)90059-9","volume":"24","author":"J. Adamek","year":"1982","unstructured":"Adamek, J., Nelson, E., Reiterman, J., Tree construction of free continuous algebras, J. of Comp. and System Sci. 24\/1 (1982) 114\u2013146.","journal-title":"J. of Comp. and System Sci."},{"key":"50_CR3","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-07854-1_169","volume":"45","author":"J.A. Goguen","year":"1976","unstructured":"ADJ (=Goguen, J.A., Thatcher, J.W., Wagner, E.G., and Wright, J.B.), Some fundamentals of order-algebraic Semantics, Proc. Symp. Math. Found. of Comp. Sci. Gdansk, Poland, Sept. 1976, Springer Lecture Notes in Computer Science 45 (1976) 153\u2013168.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"50_CR4","first-page":"68","volume":"24","author":"ADJ","year":"1977","unstructured":"ADJ, Initial algebra semantics and continuous theories, J.A.C.M. 24 (1977) 68\u201395.","journal-title":"J.A.C.M."},{"key":"50_CR5","unstructured":"ADJ, Free continuous theories, IBM Res. Report 6909, Yorktown heights, 1977."},{"key":"50_CR6","first-page":"57","volume":"7","author":"ADJ","year":"1978","unstructured":"ADJ, A uniform approach to inductive posets and inductive closure, in Math. Found. of Comp. Sci., Springer Lecture Notes in Computer Science 53 and also in T.C.S. 7 (1978) 57\u201377.","journal-title":"Math. Found. of Comp. Sci., Springer Lecture Notes in Computer Science 53 and also in T.C.S."},{"key":"50_CR7","volume-title":"Generalization of the concept of variety and quasivariety to partial algebras through category theory","author":"H. Andreka","year":"1981","unstructured":"Andreka, H., Nemeti, I.: Generalization of the concept of variety and quasivariety to partial algebras through category theory. Dissertationes Mathematicae (Rozprawy Math.) No CCIV, Polish Scientific Publishers, Warszawa 1981, 101 p."},{"key":"50_CR8","unstructured":"Arnold, A., Nivat, M., Metric interpretations of recursive program schemes, Proc. 2nd workshop on categorical and algebraic methods in Comp. Sci., Dortmund 1978, 11\u201322."},{"issue":"3","key":"50_CR9","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1137\/0211041","volume":"11","author":"B. Banaschewski","year":"1982","unstructured":"Banaschewski, B., Nelson, E., Completions of partially ordered sets, SIAM J. Comput., 11\/3 (1982) 521\u2013528.","journal-title":"SIAM J. Comput."},{"key":"50_CR10","first-page":"200","volume":"13","author":"S.L. Bloom","year":"1976","unstructured":"Bloom, S.L., Varieties of ordered algebras, J.C.S.S. 13 (1976) 200\u2013212.","journal-title":"J.C.S.S."},{"key":"50_CR11","unstructured":"Burmeister, P.: Primitive Klassen partieller Algebren, Habilitationsschrift, Univ. Bonn, 1971."},{"key":"50_CR12","doi-asserted-by":"crossref","first-page":"235","DOI":"10.4064\/cm-17-2-235-245","volume":"XVII","author":"P. Burmeister","year":"1967","unstructured":"Burmeister, P., Schmidt, J.: On the completion of partial algebras, Colloquium Mathematicum Vol. XVII, 1967, 235\u2013245.","journal-title":"Colloquium Mathematicum"},{"key":"50_CR13","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/3-540-09118-1_16","volume":"67","author":"I. Guessarian","year":"1979","unstructured":"Guessarian, I., On continuous completions, Proc. 4th GI, Springer Lecture Notes in Computer Science 67 (1979) 142\u2013152.","journal-title":"Proc. 4th GI, Springer Lecture Notes in Computer Science"},{"key":"50_CR14","volume-title":"Category Theory","author":"H. Herrlich","year":"1973","unstructured":"Herrlich, H., Strecker, G.E., Category Theory, Allyn and Bacon Inc., Boston, 1973"},{"key":"50_CR15","volume-title":"Epimorphisms and dominions","author":"J.R. Isbell","year":"1966","unstructured":"Isbell, J.R., Epimorphisms and dominions, Proc. Conf. on Categorical Algebra, La Jolla, Calif. (1965), Springer-Verlag, Berlin-New York (1966)."},{"key":"50_CR16","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF02483923","volume":"14","author":"G. Jarzembski","year":"1982","unstructured":"Jarzembski, G., Free \u03c9-continuous algebras, Alg. Universalis. 14 (1982) 231\u2013234.","journal-title":"Alg. Universalis."},{"issue":"1","key":"50_CR17","first-page":"1","volume":"21","author":"D. Lehmann","year":"1980","unstructured":"Lehmann, D., On the algebra of order, J.C.S.S. 21\/1 (1980) 1\u201323.","journal-title":"J.C.S.S."},{"key":"50_CR18","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0304-3975(82)90002-0","volume":"17","author":"D. Lehmann","year":"1982","unstructured":"Lehmann, D., Pasztor, A., Epis need not be dense, Theoretical Computer Science 17 (1982) 151\u2013161.","journal-title":"Theoretical Computer Science"},{"key":"50_CR19","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0304-3975(77)90031-7","volume":"4","author":"G. Markowsky","year":"1977","unstructured":"Markowsky, G., Categories of chain-complete p.o. sets, Theoretical Computer Science 4 (1977) 125\u2013135.","journal-title":"Theoretical Computer Science"},{"key":"50_CR20","unstructured":"Meseguer, J., Completions, factorizations and colimits for \u03c9 \u2014 posets, Coll. Math. Soc. Janos Bolyai 26."},{"key":"50_CR21","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1007\/3-540-08442-8_96","volume":"56","author":"J. Meseguer","year":"1977","unstructured":"Meseguer, J., On order-complete universal algebra and enriched functorial semantics, in Proc. FCT 77, Springer Lecture Notes in Computer Science 56 (1977) 294\u2013301.","journal-title":"Proc. FCT 77, Springer Lecture Notes in Computer Science"},{"key":"50_CR22","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0022-4049(80)90106-1","volume":"19","author":"J. Meseguer","year":"1980","unstructured":"Meseguer, J., Varieties of chain-complete algebras, J. of Pure and Applied Alg. 19 (1980) 347\u2013383.","journal-title":"J. of Pure and Applied Alg."},{"key":"50_CR23","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BFb0089915","volume":"871","author":"E. Nelson","year":"1981","unstructured":"Nelson, E.: Free Z \u2014 continuous Algebras, \u201cProceedings, Workshop on Continuous Lattices\u201d, Springer Lecture Notes in Mathematics 871, 315\u2013334, 1981.","journal-title":"Springer Lecture Notes in Mathematics"},{"key":"50_CR24","unstructured":"Pasztor, A.: Faktorisierungssysteme inder Kategorie del partiellen Algebren \u2014 Kennzeichnung von (Homo) Morphismenklassen, HochschulVerlag \u2014 Freiburg \u2014 1979."},{"key":"50_CR25","unstructured":"Pasztor, A.: Epis of some categories of Z \u2014 continuous partial algebras, Acta Cybemetica VI\/1 (1983)."},{"issue":"2","key":"50_CR26","first-page":"285","volume":"23","author":"A. Pasztor","year":"1982","unstructured":"Pasztor, A., The epis of Pos(Z), Comment. Math. Univ. Carol., 23\/2 (1982) 285\u2013299.","journal-title":"Comment. Math. Univ. Carol."},{"key":"50_CR27","unstructured":"Pasztor, A., Ordered algebras are monoreflective in the category of ordered partial algebras, Proc. 7th Coll. on Trees in Alg. and Progr., March 4\u20136, 1982, Lille, France."},{"key":"50_CR28","doi-asserted-by":"crossref","unstructured":"Pasztor, A., Chain-continuous algebras \u2014 a variety of partial algebras, Fundamenta Informaticae vi\/3 (1983).","DOI":"10.3233\/FI-1983-63-405"},{"key":"50_CR29","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0022-4049(86)90113-1","volume":"41","author":"A. Pasztor","year":"1986","unstructured":"Pasztor, A., \u201cOn P-dominions of continuous algebras,\u201d Journal of Pure and Applied Algebra 41 (1986) 263\u2013283.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"50_CR30","unstructured":"Schmidt, J., Universal Algebra, Manuscript, Univ. of Georgia, Athens, GA 1967\/68."},{"key":"50_CR31","unstructured":"Scott, D., Outline of a Math Theory of Computation, Proc. 4th Ann. Princeton Conf. on Inf. Sci. and Systems (1969) 169\u2013176."},{"key":"50_CR32","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BFb0059703","volume":"188","author":"D. Scott","year":"1971","unstructured":"Scott, D., The lattice of flow diagrams, Semantics of Algorithmic Lang., Springer Lecture Notes in Mathematics 188 (1971) 311\u2013366.","journal-title":"Semantics of Algorithmic Lang., Springer Lecture Notes in Mathematics"},{"key":"50_CR33","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"Scott, D., Data Types as Lattices, SIAM J. Comp. 5 (1976) 522\u2013587.","journal-title":"SIAM J. Comp."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1990"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029641.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T16:12:26Z","timestamp":1626797546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029641"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540529535"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/bfb0029641","relation":{},"subject":[]}}