{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:40:37Z","timestamp":1707032437335},"reference-count":8,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":4849,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2000,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We characterize the 3-stratiflable theorems of<jats:italic>NF<\/jats:italic>as a 3-stratifiable extension of<jats:italic>NF<\/jats:italic><jats:sub>3<\/jats:sub>: and show that<jats:italic>NF<\/jats:italic>is equiconsistent with<jats:italic>TT<\/jats:italic>plus raising type axioms for sentences asserting the existence of some predicate over an atomic Boolean algebra.<\/jats:p>","DOI":"10.2307\/2695082","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:05:00Z","timestamp":1146938700000},"page":"1858-1862","source":"Crossref","is-referenced-by-count":0,"title":["The rise and fall of typed sentences"],"prefix":"10.1017","volume":"65","author":[{"given":"Marcel","family":"Crabb\u00e9","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200011671_ref006","unstructured":"Grishin V. N. , The method of stratification in set theory, Ph. D. thesis , Moscow University, 1972, in Russian."},{"key":"S0022481200011671_ref005","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198514770.001.0001","volume-title":"Set theory with a universal set. Exploring an untyped universe","author":"Forster","year":"1995"},{"key":"S0022481200011671_ref002","first-page":"1657","article-title":"Les th\u00e9or\u00e8mes 3-stratifi\u00e9s de NF3","volume":"280","author":"Boffa","year":"1975","journal-title":"Comptes rendus de l'Academie des Sciences de Paris"},{"key":"S0022481200011671_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0067644"},{"key":"S0022481200011671_ref007","unstructured":"Oswald U. , Fragmente von \u201cNew Foundations\u201d und Typentheorie, Ph. D. thesis , ETH, Z\u00fcrich, 1976."},{"key":"S0022481200011671_ref004","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19830290409"},{"key":"S0022481200011671_ref008","first-page":"116","volume-title":"Logic, methodology and the philosophy of science","author":"Specker","year":"1962"},{"key":"S0022481200011671_ref003","first-page":"255","article-title":"La pr\u00e9dicativit\u00e9 dans les th\u00e9ories \u00c9l\u00e9mentaires","volume":"35","author":"Crabb\u00e9","year":"1976","journal-title":"Logique et Analyse"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200011671","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:20:26Z","timestamp":1707031226000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200011671\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["S0022481200011671"],"URL":"https:\/\/doi.org\/10.2307\/2695082","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}