{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T07:56:24Z","timestamp":1697788584916},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1981,12,1]],"date-time":"1981-12-01T00:00:00Z","timestamp":376012800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1981,12]]},"DOI":"10.1007\/bf02011635","type":"journal-article","created":{"date-parts":[[2005,8,5]],"date-time":"2005-08-05T02:05:22Z","timestamp":1123207522000},"page":"77-82","source":"Crossref","is-referenced-by-count":1,"title":["Inequivalence of the fragments of new foundations"],"prefix":"10.1007","volume":"21","author":[{"given":"Urs","family":"Oswald","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02011635_CR1","first-page":"1657","volume":"280","author":"M. Boffa","year":"1975","unstructured":"Boffa, M., Crabb\u00e9, M.: Les th\u00e9or\u00e8mes 3-stratifi\u00e9s deNF 3. Comptes Rendus de l'Acad\u00e9mie des Sciences de Paris280, 1657\u20131658 (1975).","journal-title":"Comptes Rendus de l'Acad\u00e9mie des Sciences de Paris"},{"key":"BF02011635_CR2","first-page":"1387","volume":"10","author":"V.N. Grisin","year":"1969","unstructured":"Grisin, V.N.: Consistency of a fragment of quine'sNF system. Soviet Math. Dokl.10, 1387\u20131390 (1969).","journal-title":"Soviet Math. Dokl."},{"key":"BF02011635_CR3","volume-title":"The method of stratification in set theory","author":"V.N. Grisin","year":"1973","unstructured":"Grisin, V.N.: The method of stratification in set theory. Academy of Science of the USSR, Moscow 1973."},{"key":"BF02011635_CR4","volume-title":"Fragmente von \u201cNew Foundations\u201d und Typentheorie, mimeographed","author":"U. Oswald","year":"1976","unstructured":"Oswald, U.: Fragmente von \u201cNew Foundations\u201d und Typentheorie, mimeographed. Swiss Federal Institute of Technology, Z\u00fcrich 1976."},{"key":"BF02011635_CR5","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1080\/00029890.1937.11987928","volume":"44","author":"W.V. Quine","year":"1937","unstructured":"Quine, W.V.: New foundations for mathematical logic. Am. Math. Monthly44, 70\u201380 (1937).","journal-title":"Am. Math. Monthly"},{"key":"BF02011635_CR6","first-page":"116","volume-title":"Typical ambiguity","author":"E.P. Specker","year":"1962","unstructured":"Specker, E.P.: Typical ambiguity, pp. 116\u2013124. Proceedings of the 1960 Congress of Logic, Methodology and Philosophy of Science, Stanford 1962."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011635.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02011635\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011635","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T18:24:56Z","timestamp":1557771896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02011635"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,12]]},"references-count":6,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1981,12]]}},"alternative-id":["BF02011635"],"URL":"https:\/\/doi.org\/10.1007\/bf02011635","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981,12]]}}}