{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:14:15Z","timestamp":1725596055596},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223020"},{"type":"electronic","value":"9783642223037"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22303-7_4","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T11:33:30Z","timestamp":1310988810000},"page":"46-52","source":"Crossref","is-referenced-by-count":2,"title":["A Modal Transcription of the Hausdorff Residue"],"prefix":"10.1007","author":[{"given":"Leo","family":"Esakia","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0166-8641(03)00039-7","volume":"132","author":"G. Bezhanishvili","year":"2003","unstructured":"Bezhanishvili, G., Mines, R., Morandi, P.: Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces. Topology and its Applications\u00a0132, 291\u2013305 (2003)","journal-title":"Topology and its Applications"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1111\/j.1755-2567.1980.tb00686.x","volume":"46","author":"G. Boolos","year":"1980","unstructured":"Boolos, G.: On systems of modal logic with provability interpretations. Theoria\u00a046, 7\u201318 (1980)","journal-title":"Theoria"},{"key":"4_CR3","volume-title":"Heyting Algebras I: Duality Theory","author":"L. Esakia","year":"1985","unstructured":"Esakia, L.: Heyting Algebras I: Duality Theory. Metsniereba, Tbilisi (1985) (russian)"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.apal.2003.11.013","volume":"127","author":"L. Esakia","year":"2004","unstructured":"Esakia, L.: Intuitionistic logic via modality and topology. Annals of Pure and Applied Logic\u00a0127, 155\u2013170 (2004)","journal-title":"Annals of Pure and Applied Logic"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1111\/j.1755-2567.1978.tb00831.x","volume":"44","author":"R. Goldblatt","year":"1978","unstructured":"Goldblatt, R.: Arithmetical necessity, provability and intuitionistic logic. Theoria\u00a044, 38\u201346 (1978)","journal-title":"Theoria"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"223","DOI":"10.4064\/fm-60-3-223-231","volume":"60","author":"A. Grzegorczyk","year":"1967","unstructured":"Grzegorczyk, A.: Some relations systems and the associated topological spaces. Fund. Math.\u00a060, 223\u2013231 (1967)","journal-title":"Fund. Math."},{"key":"4_CR7","volume-title":"Set Theory","author":"F. Hausdorff","year":"1991","unstructured":"Hausdorff, F.: Set Theory. Chelsea Publ. Company, New York (1991)"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1215\/S0012-7094-43-01029-4","volume":"10","author":"E. Hewitt","year":"1943","unstructured":"Hewitt, E.: A problem of set-theoretic topology. Duke Math. J.\u00a010, 309\u2013333 (1943)","journal-title":"Duke Math. J."},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J.C.C. McKinsey","year":"1944","unstructured":"McKinsey, J.C.C., Tarski, A.: The algebra of topology. Annals of Mathematics\u00a045, 141\u2013191 (1944)","journal-title":"Annals of Mathematics"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22303-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,28]],"date-time":"2019-01-28T23:03:51Z","timestamp":1548716631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22303-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223020","9783642223037"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22303-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}