{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T10:40:19Z","timestamp":1693564819721},"reference-count":49,"publisher":"Wiley","issue":"31-36","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":10543,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1978,1]]},"DOI":"10.1002\/malq.19780243108","type":"journal-article","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T05:26:39Z","timestamp":1180157199000},"page":"539-552","source":"Crossref","is-referenced-by-count":1,"title":["Superclasses in a Finite Extension of Zermelo Set Theory"],"prefix":"10.1002","volume":"24","author":[{"given":"Martin","family":"K\u00fchnrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","first-page":"31","article-title":"Theorie der logischen Auswahlfunktionen","volume":"3","author":"Asser G.","year":"1957","journal-title":"This Zeitschr."},{"key":"e_1_2_1_3_2","volume-title":"Perspectives in Mathematical Logic","author":"Barwise J.","year":"1975"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.2307\/2267281"},{"key":"e_1_2_1_5_2","unstructured":"Bernays P. Die hohen Unendlichkeiten und die Axiomatik der Mengenlehre. In: Infinitistic Methods Proceedings of the Symposium on Foundations of Mathematics Warsaw1959 PWN Warszawa1961 p.11\u201320."},{"key":"e_1_2_1_6_2","first-page":"156","volume-title":"Essays on the Foundations of Mathematics","author":"Carnap R.","year":"1966"},{"key":"e_1_2_1_7_2","volume-title":"Model theory","author":"Chang C. C.","year":"1973"},{"key":"e_1_2_1_8_2","first-page":"31","article-title":"On a set theory suggested by Dedecker and Ehresmann, I, II","volume":"45","author":"da Costa N. C. A.","year":"1969","journal-title":"Proc. Japan Acad."},{"key":"e_1_2_1_9_2","volume-title":"Large infinitary languages, model theory","author":"Dickmann M. A.","year":"1975"},{"key":"e_1_2_1_10_2","volume-title":"Set Theory","author":"Drake F. R.","year":"1974"},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1969.tb01179.x"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059148"},{"key":"e_1_2_1_13_2","first-page":"31","article-title":"Some formal systems for the unlimited theory of structures and categories (preprint)","volume":"39","author":"Feferman S.","year":"1974","journal-title":"J. Symb. Logic"},{"key":"e_1_2_1_14_2","unstructured":"Feferman S. Categorical foundations and foundations of category theory. Talks for a Symposium on Category Theory in the 5th International Congress of Logic Methodology and Philosophy of Science London Ontario1975."},{"key":"e_1_2_1_15_2","article-title":"Set theories incorporating Hilbert's \u03f5\u2010symbol","volume":"114","author":"Flannagan T. B.","year":"1974","journal-title":"Dissertationes Math."},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01351382"},{"key":"e_1_2_1_17_2","first-page":"31","article-title":"Des Cat\u00e9gories Ab\u00e9liennes","volume":"90","author":"Gabriel P.","year":"1962","journal-title":"Bull. Soc. Math. France"},{"key":"e_1_2_1_18_2","unstructured":"Houdebine J. Classes et ensembles. S\u00e9minaire Ch. Ehresmann VI 1963."},{"key":"e_1_2_1_19_2","unstructured":"Houdebine J. Th\u00e9orie des classes et th\u00e9orie des cat\u00e9gories. Th\u00e8se Rennes1967."},{"key":"e_1_2_1_20_2","first-page":"31","article-title":"Universen und universale Allmengen in einer Mengenlehre mit transfiniten Stufen","volume":"12","author":"Klaua D.","year":"1966","journal-title":"This Zeitschr."},{"key":"e_1_2_1_21_2","volume-title":"Allgemeine Mengenlehre, Band II","author":"Klaua D.","year":"1969"},{"key":"e_1_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1002\/mana.19740610103"},{"key":"e_1_2_1_23_2","first-page":"31","article-title":"Grothendieck universes and the super\u2010complete models of Shepherdson","volume":"17","author":"Kruse A. H.","year":"1965","journal-title":"Compositio Math."},{"key":"e_1_2_1_24_2","first-page":"31","article-title":"\u00dcber den Begriff des Universums","volume":"12","author":"K\u00fchnrich M.","year":"1966","journal-title":"This Zeitschr."},{"key":"e_1_2_1_25_2","unstructured":"K\u00fchnrich M. Superclasses in a finite extension of Zermelo set theory. Preprint Berlin1976."},{"key":"e_1_2_1_26_2","first-page":"31","article-title":"Das Yoneda\u2010Lemma in der Zermelo\u2010Fraenkelschen Mengentheorie","volume":"23","author":"K\u00fchnrich M.","year":"1977","journal-title":"This Zeitschr."},{"key":"e_1_2_1_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-99902-4_1"},{"key":"e_1_2_1_28_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70894-2"},{"key":"e_1_2_1_28_3","first-page":"119","volume-title":"Foundations of Set Theory","author":"Fraenkel A. A.","year":"1973"},{"key":"e_1_2_1_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0080770"},{"key":"e_1_2_1_30_2","volume-title":"Categories. For the Working Mathematician","author":"Mac Lane S.","year":"1972"},{"key":"e_1_2_1_30_3","volume-title":"Begriffssprache und mathematische Theorie","author":"Kategorien","year":"1972"},{"key":"e_1_2_1_31_2","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/013.1\/0282791"},{"key":"e_1_2_1_32_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71946-3"},{"key":"e_1_2_1_33_2","first-page":"31","article-title":"On higher order set theories","volume":"21","author":"Marek W.","year":"1973","journal-title":"Bull. Acad. Polon. Sci., S\u00e9r. Sci. Math. Astr. Phys."},{"key":"e_1_2_1_34_2","volume-title":"Theory of categories","author":"Mitchell B.","year":"1965"},{"key":"e_1_2_1_35_2","volume-title":"Introduction to set theory","author":"Monk J. D.","year":"1969"},{"key":"e_1_2_1_36_2","first-page":"260","article-title":"Zermelo\u2010Fraenkel set theory is not a finite extension of Zermelo set theory","volume":"62","author":"Montague R.","year":"1956","journal-title":"Bull. Amer. Math. Soc."},{"key":"e_1_2_1_37_2","unstructured":"Montague R. Non\u2010finite axiomatizability. In: Summaries of talks presented at the Summer Institute for Symbolic Logic in 1957 at Cornell University Ithaca (mimeographed) 1957 p.256\u2013259."},{"key":"e_1_2_1_38_2","first-page":"45","volume-title":"Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw 1959","author":"Montague R.","year":"1961"},{"key":"e_1_2_1_39_2","first-page":"91","volume-title":"Essays on the Foundations of Mathematics","author":"Montague R.","year":"1966"},{"key":"e_1_2_1_40_2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.4064\/fm-36-1-143-164","article-title":"An undecidable arithmetical statement","volume":"36","author":"Mostowski A.","year":"1949","journal-title":"Fund. Math."},{"key":"e_1_2_1_41_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01362438"},{"key":"e_1_2_1_42_2","article-title":"Set theory over classes","volume":"106","author":"Oberschelp A.","year":"1973","journal-title":"Dissertationes Math."},{"key":"e_1_2_1_43_2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.4064\/fm-92-3-173-207","article-title":"Eine Erweiterung der NBG\u2010Mengenlehre als Grundlage der Kategorientheorie","volume":"92","author":"Osius G.","year":"1976","journal-title":"Fund. Math."},{"key":"e_1_2_1_44_2","doi-asserted-by":"publisher","DOI":"10.2307\/2267028"},{"key":"e_1_2_1_45_2","first-page":"442","article-title":"Definitions by abstraction in axiomatic set theory","volume":"61","author":"Scott D.","year":"1955","journal-title":"Bull. Amer. Math. Soc."},{"key":"e_1_2_1_46_2","volume-title":"Mathematical logic","author":"Shoenfield J. R.","year":"1967"},{"key":"e_1_2_1_47_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01162373"},{"key":"e_1_2_1_48_2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.4064\/fm-30-1-68-89","article-title":"\u00dcber unerreichbare Kardinalzahlen","volume":"30","author":"Tarski A.","year":"1938","journal-title":"Fund. Math."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19780243108","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19780243108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T05:50:58Z","timestamp":1693461058000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19780243108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,1]]},"references-count":49,"journal-issue":{"issue":"31-36","published-print":{"date-parts":[[1978,1]]}},"alternative-id":["10.1002\/malq.19780243108"],"URL":"https:\/\/doi.org\/10.1002\/malq.19780243108","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,1]]}}}