{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T06:17:11Z","timestamp":1648621031807},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1992,5,1]],"date-time":"1992-05-01T00:00:00Z","timestamp":704678400000},"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":[[1992,5]]},"DOI":"10.1007\/bf01269945","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T05:01:19Z","timestamp":1111640479000},"page":"171-182","source":"Crossref","is-referenced-by-count":1,"title":["Intuitionistic typical ambiguity"],"prefix":"10.1007","volume":"31","author":[{"given":"Daniel","family":"Dzierzgowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"CR1","first-page":"3","volume":"IV","author":"M. Boffa","year":"1984","unstructured":"Boffa, M.: The point on Quine's NF (with a bibliography). TeoriaIV (2), 3?13 (1984)","journal-title":"Teoria"},{"key":"CR2","volume-title":"Model theory for modal logic. Kripke models for modal predicate calculi, vol. 127 of Synthese Library","author":"K.A. Bowen","year":"1979","unstructured":"Bowen, K.A.: Model theory for modal logic. Kripke models for modal predicate calculi, vol. 127 of Synthese Library. Dordrecht, Boston, Lancaster: Reidel 1979"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"11","DOI":"10.4064\/fm-101-1-11-17","volume":"101","author":"M. Crabb\u00e9","year":"1978","unstructured":"Crabb\u00e9, M.: Ambiguity and stratification. Fundam. Math.101, 11?17 (1978)","journal-title":"Fundam. Math."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Crabb\u00e9, M.: On NFU. Notre Dame J. Formal Logic (to appear)","DOI":"10.1305\/ndjfl\/1093636013"},{"key":"CR5","volume-title":"Foundation of set theory","author":"A.A. Fraenkel","year":"1973","unstructured":"Fraenkel, A.A., Bar-Hillel, Y., Levy, A.: Foundation of set theory. Amsterdam, London: North-Holland 1973"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1002\/malq.19720180402","volume":"18","author":"D.M. Gabbay","year":"1972","unstructured":"Gabbay, D.M.: Model theory for intuitionistic logic. Z. Math. Logik Grundlagen Math.18, 49?54 (1972) (see also Math. Rev. MR 45#4959 for a correction)","journal-title":"Z. Math. Logik Grundlagen Math."},{"issue":"2","key":"CR7","doi-asserted-by":"crossref","first-page":"458","DOI":"10.2307\/2274693","volume":"56","author":"R. Kaye","year":"1991","unstructured":"Kaye, R.: A generalization of Specker's theorem on typical ambiguity. J. Symb. Logic56(2), 458?466 (1991)","journal-title":"J. Symb. Logic"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1090\/pspum\/013.1\/0281583","volume-title":"Axiomatic set theory","author":"J. Myhill","year":"1971","unstructured":"Myhill, J.: Embedding classical type theory in ?intuitionistic? type theory. In: Scott, D.S. (ed.) Axiomatic set theory. Proc. Symp. in Pure and Applied Mathematics (University of California, Los Angeles, 1967), vol. XIII, part I, pp 267?270, Providence, R.I., 1971. American Mathematical Society"},{"key":"CR9","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/BFb0066775","volume-title":"Cambridge Summer School in Mathematical Logic","author":"J. Myhill","year":"1973","unstructured":"Myhill, J.: Some properties of intuitionistic Zermelo-Fraenkel set theory. In: Cambridge Summer School in Mathematical Logic. (Lect. Notes Math., vol. 337, pp. 206?231) Berlin Heidelberg New York: Springer 1973"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1090\/pspum\/013.2\/0360225","volume-title":"Axiomatic set theory","author":"J. Myhill","year":"1974","unstructured":"Myhill, J.: Embedding classical type theory in ?intuitionistic? type theory: a correction. In: Jech, T. (ed.) Axiomatic set theory. Proc. Symp. in Pure and Applied Mathematics (University of California, Los Angeles, 1967), vol. XIII, part II, pp 185?188, Providence, R.I., 1974. American Mathematical Society"},{"key":"CR11","first-page":"116","volume-title":"Logic, methodology and philosophy of science","author":"E.P. Specker","year":"1962","unstructured":"Specker, E.P.: Typical ambiguity. In: Nagel, Suppes, Tarski (eds.) Logic, methodology and philosophy of science. Proc. Int. Congress, Stanford, California, 1960, pp 116?124, Stanford, California, 1962. Stanford University Press"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01269945.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01269945\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01269945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T18:13:57Z","timestamp":1556648037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01269945"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,5]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,5]]}},"alternative-id":["BF01269945"],"URL":"https:\/\/doi.org\/10.1007\/bf01269945","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,5]]}}}