{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:53:24Z","timestamp":1759146804641},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s00153-009-0164-0","type":"journal-article","created":{"date-parts":[[2009,12,9]],"date-time":"2009-12-09T14:36:04Z","timestamp":1260369364000},"page":"147-167","source":"Crossref","is-referenced-by-count":3,"title":["Kripke models for subtheories of CZF"],"prefix":"10.1007","volume":"49","author":[{"given":"Rosalie","family":"Iemhoff","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,12,10]]},"reference":[{"key":"164_CR1","first-page":"55","volume-title":"Logic Colloquium 1977","author":"P. Aczel","year":"1978","unstructured":"Aczel P.: The type-theoretic interpretation of constructive set theory. In: Troelstra, A.S., van Dalen, D. (eds) Logic Colloquium 1977, pp. 55\u201366. North-Holland, Amsterdam (1978)"},{"key":"164_CR2","doi-asserted-by":"crossref","unstructured":"Aczel, P. : The type-theoretic interpretation of constructive set theory: choice principles. In: Macintyre, A. (ed.) The L.E.J. Brouwer Centenary Symposium, pp. 1\u201340. Amsterdam (1982)","DOI":"10.1016\/S0049-237X(09)70120-X"},{"key":"164_CR3","first-page":"17","volume-title":"Logic, Methodology and Philosophy of Science VII","author":"P. Aczel","year":"1986","unstructured":"Aczel P. : The type-theoretic interpretation of constructive set theory: inductive definitions. In: Marcus, R.B. (eds) Logic, Methodology and Philosophy of Science VII, pp. 17\u201349. North-Holland, Amsterdam (1986)"},{"key":"164_CR4","unstructured":"Aczel, P., Rathjen, M.: Notes on constructive set theory, Manuscript (2007)"},{"issue":"1\u20133","key":"164_CR5","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1016\/j.apal.2005.05.021","volume":"137","author":"N. Gambino","year":"2006","unstructured":"Gambino N.: Heyting-valued interpretations for constructive set theory. Ann. Pure Appl. Logic 137(1\u20133), 164\u2013188 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"key":"164_CR6","volume-title":"Set Theory\u2014An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics","author":"K. Kunen","year":"1980","unstructured":"Kunen K.: Set Theory\u2014An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics. Elsevier, Amsterdam (1980)"},{"issue":"2\u20133","key":"164_CR7","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/j.apal.2004.08.002","volume":"132","author":"R. Lubarsky","year":"2005","unstructured":"Lubarsky R.: Independence results around constructive ZF. Ann. Pure Appl. Logic 132(2\u20133), 209\u2013225 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1\u20132","key":"164_CR8","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.apal.2005.07.002","volume":"141","author":"R. Lubarsky","year":"2006","unstructured":"Lubarsky R.: CZF and second order arithmetic. Ann. Pure Appl. Logic 141(1\u20132), 29\u201334 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"key":"164_CR9","doi-asserted-by":"crossref","first-page":"347","DOI":"10.2307\/2272159","volume":"40","author":"J. Myhill","year":"1975","unstructured":"Myhill J.: Constructive set theory. J. Symbolic Logic 40, 347\u2013382 (1975)","journal-title":"J. Symbolic Logic"},{"key":"164_CR10","volume-title":"Realizability: An Introduction to its Categorical Side","author":"J. Oosten van","year":"2008","unstructured":"van Oosten J.: Realizability: An Introduction to its Categorical Side. Elsevier, Amsterdam (2008)"},{"issue":"4","key":"164_CR11","doi-asserted-by":"crossref","first-page":"1233","DOI":"10.2178\/jsl\/1129642124","volume":"70","author":"M. Rathjen","year":"2005","unstructured":"Rathjen M.: The disjunction and related properties for constructive Zermelo-Fraenkel set theory. J. Symbolic Logic 70(4), 1233\u20131254 (2005)","journal-title":"J. Symbolic Logic"},{"issue":"3","key":"164_CR12","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1016\/j.apal.2005.12.008","volume":"141","author":"M. Rathjen","year":"2006","unstructured":"Rathjen M., Tupailo S.: Characterizing the interpretation of set theory in Martin-L\u00f6f type theory. Ann. Pure Appl. Logic 141(3), 442\u2013471 (2006)","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-009-0164-0.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,7]],"date-time":"2019-04-07T06:16:03Z","timestamp":1554617763000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-009-0164-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,10]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["164"],"URL":"https:\/\/doi.org\/10.1007\/s00153-009-0164-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12,10]]}}}