{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T16:10:40Z","timestamp":1708445440954},"reference-count":6,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":2933,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2006,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>It is shown that, according to NF, many of the assertions of ordinal arithmetic involving the<jats:italic>T<\/jats:italic>-function which is peculiar to NF turn out to be equivalent to the truth-in-certain-permutation-models of assertions which have perfectly sensible ZF-style meanings, such as: the existence of wellfounded sets of great size or rank, or the nonexistence of small counterexamples to the wellfoundedness of \u2208. Everything here holds also for NFU if the permutations are taken to fix all<jats:italic>urelemente<\/jats:italic>.<\/jats:p>","DOI":"10.2178\/jsl\/1140641171","type":"journal-article","created":{"date-parts":[[2007,12,19]],"date-time":"2007-12-19T16:22:31Z","timestamp":1198081351000},"page":"227-240","source":"Crossref","is-referenced-by-count":3,"title":["Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF"],"prefix":"10.1017","volume":"71","author":[{"given":"Thomas","family":"Forster","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200006435_ref006","first-page":"111","volume-title":"Logic, methodology and philosophy of science","author":"Scott","year":"1962"},{"key":"S0022481200006435_ref003","volume-title":"Logic, meaning and computation: essays in memory of Alonzo Church","volume":"305","author":"Forster","year":"2001"},{"key":"S0022481200006435_ref001","first-page":"59","article-title":"On self-membered sets in Quine's set theory NF","volume":"141\u2013142","author":"Boffa","year":"1993","journal-title":"Logique et Analyse"},{"key":"S0022481200006435_ref002","doi-asserted-by":"crossref","volume-title":"Set theory with universal set: exploring an untyped universe","author":"Forster","DOI":"10.1093\/oso\/9780198514770.001.0001"},{"key":"S0022481200006435_ref004","first-page":"43","volume":"47","author":"Jech","year":"1982","journal-title":"On hereditarily countable sets"},{"key":"S0022481200006435_ref005","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19940400305"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200006435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T15:40:20Z","timestamp":1708443620000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200006435\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":6,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["S0022481200006435"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1140641171","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}