{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:50Z","timestamp":1755220910749,"version":"3.43.0"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1023\/a:1026495301622","type":"journal-article","created":{"date-parts":[[2003,11,6]],"date-time":"2003-11-06T11:45:40Z","timestamp":1068119140000},"page":"141-162","source":"Crossref","is-referenced-by-count":2,"title":["Relating Quine's NF to Feferman's EM"],"prefix":"10.1007","volume":"62","author":[{"given":"Andrea","family":"Cantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"205531_CR1","unstructured":"Cantini, A., and P. Minari, \u2018Uniform inseparability in explicit mathematics\u2019, preprint (to appear, The Journal of Symbolic Logic)."},{"key":"205531_CR2","volume-title":"Model Theory","author":"C. Chang","year":"1973","unstructured":"Chang, C., and H. J. Keisler, Model Theory, North Holland, Amsterdam 1973."},{"key":"205531_CR3","first-page":"159","volume-title":"Logic Colloquium'78","author":"S. Feferman","year":"1979","unstructured":"Feferman, S., \u2018Constructive Theories of functions and classes\u2019, in M. Boffa, D. van Dalen and K. Mc Aloon (eds.), Logic Colloquium'78, North Holland, Amsterdam 1979, 159\u2013225."},{"key":"205531_CR4","first-page":"374","volume":"39","author":"S. Feferman","year":"1974","unstructured":"Feferman, S., \u2018Some formal systems for the unlimited theory of structures and categories, unpublished notes\u2019, (cf. abstract, in The Journal of Symbolic Logic 39, 1974, 374\u2013375).","journal-title":"The Journal of Symbolic Logic"},{"key":"205531_CR5","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0168-0072(94)00058-B","volume":"75","author":"T. Glass","year":"1995","unstructured":"Glass, T., \u2018Understanding uniformity in Feferman's explicit mathematics\u2019, Annals of Pure and Applied Logic 75 (1995), 89\u2013106.","journal-title":"Annals of Pure and Applied Logic"},{"key":"205531_CR6","doi-asserted-by":"crossref","first-page":"468","DOI":"10.2307\/2275671","volume":"61","author":"T. Glass","year":"1996","unstructured":"Glass, T., \u2018On power set in explicit mathematics\u2019, Journal of Symbolic Logic 61 (1996), 468\u2013489.","journal-title":"Journal of Symbolic Logic"},{"key":"205531_CR7","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0168-0072(91)90052-N","volume":"53","author":"M. R. Holmes","year":"1991","unstructured":"Holmes, M. R., \u2018Systems of combinatory logic related to Quine's New Foundations\u2019, Annals of Pure and Applied Logic 53 (1991), 103\u2013133.","journal-title":"Annals of Pure and Applied Logic"},{"key":"205531_CR8","doi-asserted-by":"crossref","first-page":"1142","DOI":"10.2307\/2275630","volume":"62","author":"G. J\u00c4ger","year":"1997","unstructured":"J\u00c4ger, G., \u2018Power types in explicit mathematics\u2019, Journal of Symbolic Logic 62 (1997), 1142\u20131146.","journal-title":"Journal of Symbolic Logic"},{"key":"205531_CR9","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/978-94-010-1709-1_16","volume-title":"Words and Objections: Essays on the work of W. V. O. Quine","author":"R. B. Jensen","year":"1969","unstructured":"Jensen, R. B., \u2018On the consistency of a slight (?) modification of Quine's New Foundations\u2019, in D. Davidson and J. Hintikka (eds.), Words and Objections: Essays on the work of W. V. O. Quine, Reidel, Dordrecht 1969, 278\u2013291."},{"key":"205531_CR10","doi-asserted-by":"crossref","first-page":"95","DOI":"10.2307\/2267028","volume":"10","author":"W. V. O. Quine","year":"1945","unstructured":"Quine, W. V. O., \u2018On ordered pairs\u2019, The Journal of Symbolic Logic 10 (1945), 95\u201396.","journal-title":"The Journal of Symbolic Logic"},{"key":"205531_CR11","volume-title":"Logic for Mathematicians","author":"J. B. Rosser","year":"1953","unstructured":"Rosser, J. B., Logic for Mathematicians, Mc Graw-Hill, New York 1953."},{"key":"205531_CR12","first-page":"116","volume-title":"Logic, Methodology and Philosophy of Science. Proceedings of the 1960 International Congress","author":"E. Specker","year":"1962","unstructured":"Specker, E., \u2018Typical ambiguity\u2019, in E. Nagel, P. Suppes and A. Tarski (eds.), Logic, Methodology and Philosophy of Science. Proceedings of the 1960 International Congress, Stanford University Press, Stanford 1962, 116\u2013123."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026495301622.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1026495301622\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026495301622.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:24:05Z","timestamp":1754630645000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1026495301622"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["205531"],"URL":"https:\/\/doi.org\/10.1023\/a:1026495301622","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}