{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T23:15:01Z","timestamp":1719875701680},"reference-count":6,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2006,10,1]]},"DOI":"10.1305\/ndjfl\/1168352662","type":"journal-article","created":{"date-parts":[[2007,1,10]],"date-time":"2007-01-10T08:12:32Z","timestamp":1168416752000},"source":"Crossref","is-referenced-by-count":5,"title":["Filters on Computable Posets"],"prefix":"10.1215","volume":"47","author":[{"given":"Steffen","family":"Lempp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl","family":"Mummert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Downey, R. G., \"Computability theory and linear orderings\", pp. 823--976 in <i>Handbook of Recursive Mathematics, Vol. 2<\/i>, edited by Yu. L. Ershov, vol. 139 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1998.","DOI":"10.1016\/S0049-237X(98)80047-5"},{"key":"4","unstructured":"[4] Rogers, H., Jr., <i>Theory of Recursive Functions and Effective Computability<\/i>, 2d edition, The MIT Press, Cambridge, 1987."},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Simpson, S. G., <i>Subsystems of Second Order Arithmetic<\/i>, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1999.","DOI":"10.1007\/978-3-642-59971-2"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Soare, R. I., <i>Recursively Enumerable Sets and Degrees<\/i>, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1987.","DOI":"10.1007\/978-3-662-02460-7"},{"key":"2","unstructured":"[2] Mummert, C., \"Reverse mathematics of MF\" spaces, submitted for publication."},{"key":"3","unstructured":"[3] Mummert, C., <i>On the Reverse Mathematics of General Topology<\/i>, Ph.D. thesis, Pennsylvania State University, 2005."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1168352662","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:56:47Z","timestamp":1706648207000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-47\/issue-4\/Filters-on-Computable-Posets\/10.1305\/ndjfl\/1168352662.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,1]]},"references-count":6,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2006,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1168352662","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2006,10,1]]}}}