{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:36Z","timestamp":1761611136868},"reference-count":28,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3742,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,5]]},"DOI":"10.1016\/s1571-0661(04)80798-9","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"1-259","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["\u201cMap Theory et Antifondation\u201d"],"prefix":"10.1016","volume":"79","author":[{"given":"Thierry","family":"Vall\u00e9e","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB1","series-title":"\u201cNon-Well-Founded sets\u201d","author":"Aczel","year":"1988"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB2","unstructured":"Baltag A.: \u201cSTS, A Structural Theory of Sets\u201d, Ph.D. Dissertation, to be published by Kluwer Publishers in Applied Logic Series."},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB3","series-title":"\u201cThe lambda-calculus, its syntax an semantics\u201d","author":"Barendregt","year":"1984"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB4","series-title":"\u201cThe Liar: An Essay on Truth and Circular Propositions\u201d","author":"Barwise","year":"1987"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB5","series-title":"\u201cVicious Cercle: On the mathematics of non-well-founded sets phenomena\u201d","author":"Barwise","year":"1996"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB6","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S0304-3975(96)00302-7","article-title":"A k-denotational semantics for map theory in ZFC + SI","volume":"179","author":"Berline","year":"1997","journal-title":"Theoretical Computer Sciences"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB7","first-page":"1111","article-title":"Non-well-founded Sets","author":"Boffa","year":"1998","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB8","doi-asserted-by":"crossref","first-page":"1039","DOI":"10.2307\/2275587","article-title":"Barwise-Moss, Vicious circles","author":"Boffa","year":"1997","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB9","doi-asserted-by":"crossref","first-page":"346","DOI":"10.2307\/1968337","article-title":"A set of postulates for the foundation of logic I","volume":"33","author":"Church","year":"1932","journal-title":"Ann. Math"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB10","doi-asserted-by":"crossref","first-page":"839","DOI":"10.2307\/1968702","article-title":"A set of postulates for the foundation of logic II","volume":"34","author":"Church","year":"1933","journal-title":"Ann. Math"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB11","series-title":"\u201cThe Calculi of Lambda Conversion\u201d","author":"Church","year":"1941"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB12","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1007\/BF01283862","article-title":"\u00dcber die Grundlagen der Mengenlehre","volume":"25","author":"Finsler","year":"1926","journal-title":"I. Math Zeitschrift"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB13","first-page":"493","article-title":"Set Theory with Free Construction Principles","author":"Forti","year":"1983","journal-title":"Annali Scuola Normale Sup. di Pisa, Classe si Sc., Serie IV, X(3)"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB14","unstructured":"Forti M. et F. Honsell: Weak foundation and anti-foundation properties of positively comprehensive hyperuniverses, Cahier du Centre de Logique N07 (1992), Universit\u00e9 catholique de Louvain, p. 31\u201343."},{"issue":"1","key":"10.1016\/S1571-0661(04)80798-9_NEWBIB15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(92)90296-R","article-title":"Map Theory","volume":"102","author":"Grue","year":"1992","journal-title":"Theoretical Computer Sciences"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB16","unstructured":"R. Hinnion: A propos de l'anti-foundation, Cahier du Centre de Logique N07 (1992), Universit\u00e9 Catholique de Louvain, p. 9\u201328."},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB17","article-title":"\u201cA tutorial on (Co)algebras and (co)induction\u201d","volume":"62","author":"Jabobs","year":"1997","journal-title":"EATCS Bulletin"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB18","unstructured":"J. L. Krivine: \u201cTh\u00e9orie axiomatique des ensembles\u201d, Presse Universitaire de France, 1969 (\u00e9d. revue et augment\u00e9e 1972)."},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB19","unstructured":"J. L. Krivine: \u201cTh\u00e9orie des ensembles\u201d, Cassini, France, 1998."},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB20","series-title":"Studies in Logic and the foundation of mathematics, vol 102","article-title":"\u201cSet Theory, An Introduction to independence proofs\u201d","author":"Kunen","year":"1980"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB21","unstructured":"Lenisa M.: \u201cThemes in Final Semantics\u201d, Dottorato di ricerca in informatica, PhD thesis TD-6\/98, Universita di Pisa, 1998."},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB22","unstructured":"Lenisa M.: A complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects, FOSSACS'99 (ETAPS), Conference Proceedings, W. Thomas ed., Springer, Lecture Notes in Computer Sciences vol 1578 (1999)."},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB23","doi-asserted-by":"crossref","first-page":"252","DOI":"10.2307\/2275189","article-title":"Barwise Etchemendy, The Liar","author":"Martin","year":"1992","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB24","series-title":"\u201cA calculus of Communicating Systems\u201d","author":"Milner","year":"1980"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB25","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","article-title":"Calculi for Synchrony and Asynchrony","volume":"25","author":"Milner","year":"1993","journal-title":"Theoretical Computer Sciences"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB26","unstructured":"Rutten J.: \u201cBehavioural differential equations: a coinductive calculus of streams, automata, and power series\u201d, Report SEN-R0023 ISSN 1386-369X, CWI Amsterdam, 2000, to appear in Theoretical Computer Sciences."},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB27","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1017\/S0960129598002588","article-title":"On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces","volume":"vol 8","author":"Rutten","year":"1998","journal-title":"Mathematical Structures in Computer Sciences"},{"key":"10.1016\/S1571-0661(04)80798-9_NEWBIB28","unstructured":"Scott D.: A Different Kind of Model for Set Theory, Unpublished paper given at the Standford Congress of Logic, Methodology and Philosophy of Sciences, 1960."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104807989?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104807989?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:53:51Z","timestamp":1549191231000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104807989"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":28,"alternative-id":["S1571066104807989"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80798-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}