{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T18:12:15Z","timestamp":1697911935159},"reference-count":5,"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":14986,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1973,3]]},"abstract":"<jats:p>Permutation methods for proving relative consistency results were first applied to Quine's set theory NF by Dana Scott [5]. He showed that the sentence (\u2203<jats:italic>x<\/jats:italic>)(<jats:italic>x<\/jats:italic> = {<jats:italic>x<\/jats:italic>}), which asserts the existence of individuals in Quine's sense, and its negation are each consistent relative to NF. In this paper Scott's method is shown to apply to any extension <jats:italic>T<\/jats:italic> of NF whose axioms are <jats:italic>invariant<\/jats:italic> in a certain sense. (Every stratified sentence is invariant, as are many interesting unstratified sentences, such as Rosser's Counting Axiom and the sentence which asserts that every Cantorian set is strongly Cantorian.) We also use this method to prove a number of interesting relative consistency results for such extensions <jats:italic>T<\/jats:italic> of NF.<\/jats:p><jats:p>Our main result (Theorem 2.4) asserts that it is consistent relative to <jats:italic>T<\/jats:italic> to assume that every well ordering of a strongly Cantorian set is order isomorphic to the well ordering by \u2208 of a von Neumann ordinal. (The restriction to strongly Cantorian sets is necessary.) Therefore, although one cannot develop within NF a satisfactory theory of von Neumann ordinals, due to the many unstratified formulas which arise, our result shows that one can consistently assume as rich a theory as is allowed by the extent to which <jats:italic>T<\/jats:italic> provides for strongly Cantorian sets. This seems to be the first such \u201cpositive\u201d consistency result for NF, and we think that the permutation method will yield others.<\/jats:p>","DOI":"10.2307\/2271727","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T17:21:18Z","timestamp":1146936078000},"page":"69-76","source":"Crossref","is-referenced-by-count":3,"title":["Permutation methods applied to Quine's \u201cNew foundations\u201d"],"prefix":"10.1017","volume":"38","author":[{"given":"C. Ward","family":"Henson","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200077306_ref003","first-page":"59","volume":"38","author":"Henson","year":"1973","journal-title":"Type-raising operations on cardinal and ordinal numbers in Quine's \u201cNew Foundations\u201d"},{"key":"S0022481200077306_ref001","first-page":"57","article-title":"Sur les cas stratifies du schema de remplacement","volume":"271","author":"Coret","year":"1970","journal-title":"Comptes Rendus Hebdomadaires des Seances de l'Academie des Sciences. Ser\u00edes A et B"},{"key":"S0022481200077306_ref004","volume-title":"Logic for mathematicians","author":"Rosser","year":"1953"},{"key":"S0022481200077306_ref005","first-page":"111","volume-title":"Logic, methodology and philosophy of science","author":"Scott","year":"1962"},{"key":"S0022481200077306_ref002","first-page":"589","volume":"34","author":"Henson","year":"1969","journal-title":"Finite sets in Quine's \u201cNew Foundations\u201d"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200077306","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T16:08:18Z","timestamp":1559232498000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200077306\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1973,3]]},"references-count":5,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1973,3]]}},"alternative-id":["S0022481200077306"],"URL":"https:\/\/doi.org\/10.2307\/2271727","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1973,3]]}}}