{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:02Z","timestamp":1706650802940},"reference-count":11,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1997,1,1]]},"DOI":"10.1305\/ndjfl\/1039700697","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:57:12Z","timestamp":1046206632000},"source":"Crossref","is-referenced-by-count":0,"title":["An Algebraic Theory of Structured Objects"],"prefix":"10.1215","volume":"38","author":[{"given":"Chrysafis","family":"Hartonas","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"Aczel, P., <i>Non-Well-Founded Sets<\/i>, <i>CSLI Lecture Notes<\/i>, vol. 14, Stanford University, Stanford, 1988. Zbl 0668.04001 MR 89j:03039"},{"key":"2","unstructured":"Aczel, P., \u201cReplacement systems and the axiomatization of situation theory,\u201d pp. 3\u201333 in <i>Situation Theory and its Applications<\/i>, <i>CSLI Lecture Notes<\/i>, vol. 1, Stanford University, Stanford, 1990."},{"key":"3","doi-asserted-by":"crossref","unstructured":"Aczel, P., and N. Mendler, \u201cA final coalgebra theorem,\u201d pp. 357\u201365 in <i>Lecture Notes in Computer Science<\/i>, vol. 389, Springer-Verlag, Berlin, 1994. MR 91f:18001","DOI":"10.1007\/BFb0018361"},{"key":"4","unstructured":"Aczel, P., and R. Lunnon, \u201cUniverses and parameters,\u201d pp. 1\u201322 in <i>Situation Theory and its Applications<\/i>, <i>CSLI Lecture Notes<\/i>, vol. 2, Stanford University, Stanford, 1991. MR 1167607"},{"key":"5","unstructured":"Barwise, J., \u201cNotes on a model for situation theory,\u201d preprint, 1989."},{"key":"7","unstructured":"Barwise, J., and J. Etchemendy, <i>The Liar<\/i>, Oxford University Press, Oxford, 1987. Zbl 0678.03001 MR 88k:03009"},{"key":"8","unstructured":"Lunnon, R., <i>Generalized Universes<\/i>, Ph.D. Disssertation, University of Manchester, Manchester, 1991."},{"key":"9","doi-asserted-by":"publisher","unstructured":"Tzouvaras, A., \u201cSignificant parts and identity of artifacts,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 34 (1993), pp. 445\u201352. Zbl 0795.03006 MR 94f:03037","DOI":"10.1305\/ndjfl\/1093634732"},{"key":"10","unstructured":"Westersthal, D., \u201cParametric types and propositions in first-order situation theory,\u201d pp. 98\u2013117 in <i>Situation Theory and its Applications<\/i>, <i>CSLI Lecture Notes<\/i>, vol. 1, Stanford University, Palo Alto, 1990."},{"key":"11","unstructured":"Williams, J. G., <i>Instantiation Theory<\/i>, <i>Lecture Notes in Artificial Intelligence<\/i>, vol. 518, Springer-Verlag, Berlin, 1991. Zbl 0785.68084 MR 94d:68093"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Barwise, J., <i>Admissible Sets and Structures<\/i>, Springer-Verlag, Berlin, 1975. Zbl 0316.02047 MR 54:12519","DOI":"10.1007\/978-3-662-11035-5"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039700697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:59Z","timestamp":1706649179000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-38\/issue-1\/An-Algebraic-Theory-of-Structured-Objects\/10.1305\/ndjfl\/1039700697.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1,1]]},"references-count":11,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1997,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039700697","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1997,1,1]]}}}