{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T00:07:06Z","timestamp":1706659626676},"reference-count":5,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2008,1,1]]},"DOI":"10.1215\/00294527-2007-002","type":"journal-article","created":{"date-parts":[[2021,3,20]],"date-time":"2021-03-20T10:44:15Z","timestamp":1616237055000},"source":"Crossref","is-referenced-by-count":1,"title":["Topological Models for Extensional Partial Set Theory"],"prefix":"10.1215","volume":"49","author":[{"given":"Roland","family":"Hinnion","sequence":"first","affiliation":[]},{"given":"Thierry","family":"Libert","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Gilmore, P. C., \"The consistency of partial set theory without extensionality\", pp. 147--53 in <i>Axiomatic Set Theory<\/i>, vol. 13, Part II of <i>Proceedings of Symposia in Pure Mathematics, Los Angeles (1967)<\/i>, American Mathematical Society, Providence, 1974.","DOI":"10.1090\/pspum\/013.2\/0360271"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Hinnion, R., \"Naive set theory with extensionality in partial logic and in paradoxical logic\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 35 (1994), pp. 15--40.","DOI":"10.1305\/ndjfl\/1040609292"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Libert, T., \"Semantics for naive set theory in many-valued logics: Technique and historical account\", pp. 121--36 in <i>The Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today<\/i>, edited by J. van Benthem, G. Heinzmann, M. Rebuschi, and H. Visser, vol. 3 of <i>Logic, Epistemology, and the Unity of Science<\/i>, Springer, Dordrecht, 2006.","DOI":"10.1007\/978-1-4020-5012-7_9"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Libert, T., \"ZF and the axiom of choice in some paraconsistent set theories\", <i>Logic and Logical Philosophy<\/i>, (2003), pp. 91--114. Flemish-Polish Workshops II--IV and varia.","DOI":"10.12775\/LLP.2003.005"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Libert, T., \"Models for a paraconsistent set theory\", <i>Journal of Applied Logic<\/i>, vol. 3 (2005), pp. 15--41.","DOI":"10.1016\/j.jal.2004.07.010"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2007-002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:02Z","timestamp":1706648222000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-49\/issue-1\/Topological-Models-for-Extensional-Partial-Set-Theory\/10.1215\/00294527-2007-002.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1,1]]},"references-count":5,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2008,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2007-002","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2008,1,1]]}}}