{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T17:12:10Z","timestamp":1648919530137},"reference-count":58,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1996,8,1]],"date-time":"1996-08-01T00:00:00Z","timestamp":838857600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6194,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[1996,8]]},"DOI":"10.1016\/0168-0072(95)00067-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T11:17:23Z","timestamp":1027595843000},"page":"257-275","source":"Crossref","is-referenced-by-count":7,"title":["Effective inseparability in a topological setting"],"prefix":"10.1016","volume":"80","author":[{"given":"Dieter","family":"Spreen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0168-0072(95)00067-4_BIB1","doi-asserted-by":"crossref","first-page":"321","DOI":"10.2307\/2272158","article-title":"The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations","volume":"40","author":"Beeson","year":"1975","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(95)00067-4_BIB2","doi-asserted-by":"crossref","first-page":"18","DOI":"10.2307\/2272940","article-title":"The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals","volume":"41","author":"Beeson","year":"1976","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(95)00067-4_BIB3","doi-asserted-by":"crossref","first-page":"29","DOI":"10.2140\/pjm.1977.68.29","article-title":"Continuity and comprehension in intuitionistic formal systems","volume":"68","author":"Beeson","year":"1977","journal-title":"Pacific J. Math."},{"key":"10.1016\/0168-0072(95)00067-4_BIB4","doi-asserted-by":"crossref","first-page":"630","DOI":"10.2307\/2274195","article-title":"Church's thesis, continuity, and set theory","volume":"49","author":"Beeson","year":"1984","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(95)00067-4_BIB5","first-page":"1235","article-title":"R.e. inseparable general and subrecursive index sets","volume":"48","author":"Case","year":"1983","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(95)00067-4_BIB6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1002\/malq.19910370702","article-title":"Effectivizing inseparability","volume":"37","author":"Case","year":"1991","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"10.1016\/0168-0072(95)00067-4_BIB7_1","first-page":"295","article-title":"Algorithmic operators in constructive metric spaces","volume":"67","author":"Ce\u012dtin","year":"1962","journal-title":"Trudy Mat. Inst. Steklov"},{"key":"10.1016\/0168-0072(95)00067-4_BIB7_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/trans2\/064\/01","volume":"64","author":"Ce\u012dtin","year":"1967","journal-title":"Amer. Math. Soc. Transl."},{"key":"10.1016\/0168-0072(95)00067-4_BIB8_1","first-page":"59","article-title":"Recursive metrizability of numbered topological spaces and bases of effective linear topological spaces","volume":"8","author":"Dyment","year":"1984","journal-title":"Izv. Vyssh. Uchebn. Zaved, Mat. (Kazan)"},{"key":"10.1016\/0168-0072(95)00067-4_BIB8_2","first-page":"74","volume":"28","author":"Dyment","year":"1984","journal-title":"Sov. Math. (Iz. VUZ)"},{"key":"10.1016\/0168-0072(95)00067-4_BIB9_1","first-page":"47","article-title":"On a hierarchy of sets I","volume":"7","author":"Er\u0161ov","year":"1968","journal-title":"Algebra Logika"},{"key":"10.1016\/0168-0072(95)00067-4_BIB9_2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF02218750","volume":"7","author":"Er\u0161ov","year":"1968","journal-title":"Algebra and Logic"},{"key":"10.1016\/0168-0072(95)00067-4_BIB10_1","first-page":"367","article-title":"Computable functionals of finite type","volume":"11","author":"Er\u0161ov","year":"1972","journal-title":"Algebra Logika"},{"key":"10.1016\/0168-0072(95)00067-4_BIB10_2","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF02219096","volume":"11","author":"Er\u0161ov","year":"1972","journal-title":"Algebra and Logic"},{"key":"10.1016\/0168-0072(95)00067-4_BIB11","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1002\/malq.19730191901","article-title":"Theorie der Numerierungen I","volume":"19","author":"Er\u0161ov","year":"1973","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"10.1016\/0168-0072(95)00067-4_BIB12","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1002\/malq.19750210164","article-title":"Theorie der Numerierungen II","volume":"21","author":"Er\u0161ov","year":"1975","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"10.1016\/0168-0072(95)00067-4_BIB13","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/S0019-9958(84)80009-1","article-title":"Effectively given domains and lambda-calculus models","volume":"62","author":"Giannini","year":"1984","journal-title":"Inform. and Control"},{"key":"10.1016\/0168-0072(95)00067-4_BIB14","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1002\/malq.19800263603","article-title":"Konstruktive Darstellungen in topologischen R\u00e4umen mit rekursiver Basis","volume":"26","author":"Hauck","year":"1980","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"10.1016\/0168-0072(95)00067-4_BIB15","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1002\/malq.19810272510","article-title":"Berechenbarkeit in topologischen R\u00e4umen mit rekursiver Basis","volume":"27","author":"Hauck","year":"1981","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"10.1016\/0168-0072(95)00067-4_BIB16","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1017\/S1446788700031414","article-title":"Non-complemented open sets in effective topology","volume":"44","author":"Hingston","year":"1988","journal-title":"J. Austral. Math. Soc. Ser. A"},{"key":"10.1016\/0168-0072(95)00067-4_BIB17","series-title":"Patras Logic Symp.","article-title":"Major subsets in effective topology","author":"Kalantari","year":"1982"},{"key":"10.1016\/0168-0072(95)00067-4_BIB18","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273390","article-title":"Simplicity in effective topology","volume":"47","author":"Kalantari","year":"1982","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(95)00067-4_BIB19","doi-asserted-by":"crossref","first-page":"100","DOI":"10.2307\/2273326","article-title":"Maximality in effective topology","volume":"48","author":"Kalantari","year":"1983","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(95)00067-4_BIB20","doi-asserted-by":"crossref","first-page":"610","DOI":"10.2307\/2273453","article-title":"Degrees of recursively enumerable topological spaces","volume":"48","author":"Kalantari","year":"1983","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(95)00067-4_BIB21","doi-asserted-by":"crossref","first-page":"609","DOI":"10.2307\/2273299","article-title":"Recursive constructions in topological spaces","volume":"44","author":"Kalantari","year":"1979","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0168-0072(95)00067-4_BIB22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(85)90033-8","article-title":"Effective topological spaces I: a definability theory","volume":"29","author":"Kalantari","year":"1985","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/0168-0072(95)00067-4_BIB23","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0168-0072(84)90025-3","article-title":"Effective topological spaces II: a hierarchy","volume":"29","author":"Kalantari","year":"1985","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/0168-0072(95)00067-4_BIB24","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0168-0072(87)90009-1","article-title":"Effective topological spaces III: forcing and definability","volume":"36","author":"Kalantari","year":"1987","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/0168-0072(95)00067-4_BIB25","series-title":"Collected Papers: 1936\u20131967","article-title":"The Metamathematics of Algebraic Systems","author":"Mal'cev","year":"1971"},{"key":"10.1016\/0168-0072(95)00067-4_BIB26","doi-asserted-by":"crossref","first-page":"215","DOI":"10.4064\/fm-55-3-215-238","article-title":"Recursive metric spaces","volume":"55","author":"Moschovakis","year":"1964","journal-title":"Fundam. Math."},{"key":"10.1016\/0168-0072(95)00067-4_BIB27","first-page":"29","article-title":"Some theorems on classes of recursively enumerable sets","volume":"89","author":"Myhill","year":"1958","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/0168-0072(95)00067-4_BIB28_1","first-page":"28","article-title":"On effectively topological spaces","volume":"169","author":"Nogina","year":"1966","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"10.1016\/0168-0072(95)00067-4_BIB28_2","first-page":"865","volume":"7","author":"Nogina","year":"1966","journal-title":"Soviet Math. Dokl."},{"key":"10.1016\/0168-0072(95)00067-4_BIB29_1","first-page":"483","article-title":"Relations between certain classes of effectively topological spaces","volume":"5","author":"Nogina","year":"1969","journal-title":"Mat. Zametki"},{"key":"10.1016\/0168-0072(95)00067-4_BIB29_2","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/BF01410800","volume":"5","author":"Nogina","year":"1969","journal-title":"Math. Notes"},{"key":"10.1016\/0168-0072(95)00067-4_BIB30","first-page":"141","article-title":"Enumerable topological spaces","volume":"24","author":"Nogina","year":"1978","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"10.1016\/0168-0072(95)00067-4_BIB31","series-title":"Mathematical Linguistics and Theory of Algorithms","first-page":"130","article-title":"On completely enumerable subsets of direct products of numbered sets","author":"Nogina","year":"1978"},{"key":"10.1016\/0168-0072(95)00067-4_BIB32","series-title":"Mathematical Logic and Mathematical Linguistics","first-page":"135","article-title":"The relation between separability and traceability of sets","author":"Nogina","year":"1981"},{"key":"10.1016\/0168-0072(95)00067-4_BIB33","article-title":"Domains","author":"Plotkin","year":"1983"},{"key":"10.1016\/0168-0072(95)00067-4_BIB34","series-title":"Theory of Recursive Functions and Effective Computability","author":"Rogers","year":"1967"},{"key":"10.1016\/0168-0072(95)00067-4_BIB35","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","article-title":"Data types as lattices","volume":"5","author":"Scott","year":"1976","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0168-0072(95)00067-4_BIB36","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-7893-5_9","article-title":"Lectures on a mathematical theory of computation","author":"Scott","year":"1981"},{"key":"10.1016\/0168-0072(95)00067-4_BIB37","series-title":"Automata, Languages and Programming","first-page":"662","article-title":"Power domains and predicate transformers","volume":"Vol. 154","author":"Smyth","year":"1983"},{"key":"10.1016\/0168-0072(95)00067-4_BIB38","series-title":"Completeness of quasi-uniform spaces in terms of filters, manuscript","author":"Smyth","year":"1987"},{"key":"10.1016\/0168-0072(95)00067-4_BIB39","series-title":"Mathematical Foundations of Programming Language Semantics, 3rd Workshop","first-page":"236","article-title":"Quasi-uniformities: reconciling domains with metric spaces","volume":"Vol. 298","author":"Smyth","year":"1988"},{"key":"10.1016\/0168-0072(95)00067-4_BIB40","series-title":"Recursively Enumerable Sets and Degrees","author":"Soare","year":"1987"},{"key":"10.1016\/0168-0072(95)00067-4_BIB41","series-title":"Logic and Machines: Decision Problems and Complexity","first-page":"103","article-title":"On r.e. inseparability of cpo index sets","volume":"Vol. 171","author":"Spreen","year":"1984"},{"key":"10.1016\/0168-0072(95)00067-4_BIB42","series-title":"Recursion Theory Week, Proc. Oberwolfach","first-page":"363","article-title":"A characterization of effective topological spaces","volume":"Vol. 1432","author":"Spreen","year":"1990"},{"key":"10.1016\/0168-0072(95)00067-4_BIB43","series-title":"Topology and Category Theory in Computer Science","first-page":"231","article-title":"A characterization of effective topological spaces II","author":"Spreen","year":"1991"},{"key":"10.1016\/0168-0072(95)00067-4_BIB44","series-title":"Logical Foundations of Computer Science \u2014 Tver '92","first-page":"459","article-title":"Effective operators and continuity revisited","volume":"Vol. 620","author":"Spreen","year":"1992"},{"key":"10.1016\/0168-0072(95)00067-4_BIB45","series-title":"Computation and Proof Theory, Proc. Logic Colloquium '83","first-page":"437","article-title":"Effective operators in a topological setting","volume":"Vol. 1104","author":"Spreen","year":"1984"},{"key":"10.1016\/0168-0072(95)00067-4_BIB46","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(06)80002-2","article-title":"Algebraic and fixed point equations over inverse limits of algebras","volume":"87","author":"Stoltenberg-Hansen","year":"1991","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0168-0072(95)00067-4_BIB47","series-title":"Studies in Formalized Languages and Nonclassical Logics","first-page":"253","article-title":"Categories of effectively topological spaces","author":"Va\u012dnberg","year":"1974"},{"key":"10.1016\/0168-0072(95)00067-4_BIB48_1","first-page":"84","article-title":"Two types of continuity of computable mappings of numerated topological spaces","volume":"Vol. 2","author":"Va\u012dnberg","year":"1976"},{"key":"10.1016\/0168-0072(95)00067-4_BIB48_2","first-page":"159","article-title":"Two types of continuity of computable mappings of numerated topological spaces","volume":"Vol. 2","author":"Va\u012dnberg","year":"1976"},{"key":"10.1016\/0168-0072(95)00067-4_BIB49","series-title":"Computability on computable metric spaces, manuscript","author":"Weihrauch","year":"1991"},{"key":"10.1016\/0168-0072(95)00067-4_BIB50","article-title":"Berechenbarkeit auf cpo-s","author":"Weihrauch","year":"1980"},{"key":"10.1016\/0168-0072(95)00067-4_BIB51","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1017\/S1446788700031402","article-title":"Everywhere nonrecursive r.e. sets in recursively presented topological spaces","volume":"44","author":"Li","year":"1988","journal-title":"J. Austral. Math. Soc. Ser. A"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007295000674?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0168007295000674?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T05:33:45Z","timestamp":1578461625000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0168007295000674"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,8]]},"references-count":58,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,8]]}},"alternative-id":["0168007295000674"],"URL":"https:\/\/doi.org\/10.1016\/0168-0072(95)00067-4","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[1996,8]]}}}