{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T10:30:36Z","timestamp":1648809036894},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,5,1]],"date-time":"1996-05-01T00:00:00Z","timestamp":830908800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1996,5]]},"DOI":"10.1007\/bf01268615","type":"journal-article","created":{"date-parts":[[2005,3,23]],"date-time":"2005-03-23T21:54:15Z","timestamp":1111614855000},"page":"145-156","source":"Crossref","is-referenced-by-count":0,"title":["Types in class set theory and inaccessible cardinals"],"prefix":"10.1007","volume":"35","author":[{"given":"M. Victoria","family":"Marshall","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF01268615_CR1","first-page":"1","volume":"176","author":"R. Chuaqui","year":"1980","unstructured":"Chuaqui, R.: Internal and forcing models for the impredicative theory of classes. Dissertationes Mathematicae176, 1\u201364 (1980)","journal-title":"Dissertationes Mathematicae"},{"key":"BF01268615_CR2","unstructured":"Judah, H.: Tipos de Buen Orden en la teor\u00eda impredicativa de clases Kelley-Morse. Facultad de Matem\u00e1ticas, Pontificia Universidad Cat\u00f3lica de Chile (1983)"},{"key":"BF01268615_CR3","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF01275467","volume":"33","author":"H. Judah","year":"1994","unstructured":"Judah, H., Marshall, M.V.: Kelley-Morse + Types of well order is not a conservative extension of Kelley Morse. Arch. Math. Logic33, 13\u201321 (1994)","journal-title":"Arch. Math. Logic"},{"key":"BF01268615_CR4","series-title":"Springer Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BFb0075320","volume-title":"Methods in Mathematical Logic","author":"W.N. Reinhardt","year":"1985","unstructured":"Reinhardt, W.N., Chuaqui, R.: Types in class set theory. In: di Prisco, C. (ed.) Methods in Mathematical Logic. Proceedings of a Conference held at Caracas in 1983. Springer Lecture Notes in Mathematics, Vol. 1130, pp. 385\u2013394. Berlin Heidelberg New York: Springer 1985"},{"key":"BF01268615_CR5","unstructured":"Suppes, P.: Axiomatic set theory. D. Van Nostrand Company, Inc. 1960"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01268615.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01268615\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01268615","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T14:13:50Z","timestamp":1556633630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01268615"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,5]]},"references-count":5,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,5]]}},"alternative-id":["BF01268615"],"URL":"https:\/\/doi.org\/10.1007\/bf01268615","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,5]]}}}