{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T17:02:23Z","timestamp":1648832543820},"reference-count":15,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":3114,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2005,9]]},"abstract":"Abstract<\/jats:title>Being able to state the principles which lie deepest in the foundations of mathematics by sentences in three variables is crucially important for a satisfactory equational rendering of set theories along the lines proposed by Alfred Tarski and Steven Givant in their monograph of 1987.<\/jats:p>The main achievement of this paper is the proof that the \u2018kernel\u2019 set theory whose postulates are extensionality<\/jats:italic>. (E<\/jats:bold>), and single-element adjunction and removal<\/jats:italic>. (W<\/jats:bold>) and (L<\/jats:bold>), cannot be axiomatized by means of three-variable sentences. This highlights a sharp edge to be crossed in order to attain an \u2018algebraization\u2019 of Set Theory. Indeed, one easily shows that the theory which results from the said kernel by addition of the null set axiom, (N<\/jats:bold>), is in its entirety expressible in three variables.<\/jats:p>","DOI":"10.2178\/jsl\/1122038922","type":"journal-article","created":{"date-parts":[[2005,7,22]],"date-time":"2005-07-22T18:47:48Z","timestamp":1122058068000},"page":"953-968","source":"Crossref","is-referenced-by-count":2,"title":["The axiom of elementary sets on the edge of Peircean expressibility"],"prefix":"10.1017","volume":"70","author":[{"given":"Andrea","family":"Formisano","sequence":"first","affiliation":[]},{"given":"Eugenio G.","family":"Omodeo","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Policriti","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200006873_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59126-6_7"},{"key":"S0022481200006873_ref013","volume-title":"A formalization of Set Theory without variables","volume":"41","author":"Tarski","year":"1987"},{"key":"S0022481200006873_ref012","first-page":"188","volume":"18","author":"Tarski","year":"1953","journal-title":"Some metalogical results concerning the calculus of relations"},{"key":"S0022481200006873_ref011","unstructured":"Kwatinetz M. K. , Problems of expressibility infinite languages, Ph.D. thesis, University of California, Berkeley, 1981."},{"key":"S0022481200006873_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(82)90011-3"},{"key":"S0022481200006873_ref006","volume-title":"From Frege to G\u00d6del\u2014 A source book in mathematical logic, 1879\u20131931","author":"van Heijenoort","year":"1977"},{"key":"S0022481200006873_ref005","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0362"},{"key":"S0022481200006873_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.028"},{"key":"S0022481200006873_ref002","volume-title":"Finite models and finitely many variables","volume":"46","author":"Dawar","year":"1999"},{"key":"S0022481200006873_ref001","first-page":"292","volume":"42","author":"Barwise","year":"1977","journal-title":"On Moschovakis closure ordinals"},{"key":"S0022481200006873_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(89)90055-2"},{"key":"S0022481200006873_ref010","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1109\/LICS.1996.561446","volume-title":"Proceedings, 11th annual IEEE symposium on logic in computer science","author":"Kolaitis","year":"1996"},{"key":"S0022481200006873_ref015","unstructured":"Zermelo E. , Untersuchungen \u00dcber die Grundlagen der Mengenlehre I, In Heijenoort [6], (English translation), pp. 199\u2013215."},{"key":"S0022481200006873_ref007","first-page":"111","article-title":"Finite variable logics","volume":"51","author":"Hodkinson","year":"1993","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"S0022481200006873_ref003","volume-title":"Finite model theory","author":"Ebbinghaus","year":"1999"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200006873","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T20:15:19Z","timestamp":1556914519000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200006873\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,9]]}},"alternative-id":["S0022481200006873"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1122038922","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,9]]}}}