{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T18:27:16Z","timestamp":1649096836020},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,2,8]],"date-time":"2016-02-08T00:00:00Z","timestamp":1454889600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s11225-015-9639-7","type":"journal-article","created":{"date-parts":[[2016,2,8]],"date-time":"2016-02-08T10:38:47Z","timestamp":1454927927000},"page":"235-248","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Semantic Approach to Conservativity"],"prefix":"10.1007","volume":"104","author":[{"given":"Tomasz","family":"Po\u0142acik","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,8]]},"reference":[{"key":"9639_CR1","doi-asserted-by":"crossref","unstructured":"Aczel, P., The type-theoretic interpretation of constructive set theory, in A. S. Troelstra and D. van Dalen (eds.), Logic Colloquium 1977, North-Holland, Amsterdam, 1978, pp. 55\u201366.","DOI":"10.1016\/S0049-237X(08)71989-X"},{"key":"9639_CR2","doi-asserted-by":"crossref","first-page":"1785","DOI":"10.2307\/2695075","volume":"65","author":"J. Avigad","year":"2000","unstructured":"Avigad J.: Interpreting classical theories in constructive ones. The Journal of Symbolic Logic 65, 1785\u20131812 (2000)","journal-title":"The Journal of Symbolic Logic"},{"key":"9639_CR3","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1002\/malq.200310074","volume":"50","author":"S. Berardi","year":"2004","unstructured":"Berardi S.: A Generalization of a conservativity theorem for classical versus intuitionistic arithmetic. Mathematical Logic Quarterly 50, 41\u201346 (2004)","journal-title":"Mathematical Logic Quarterly"},{"key":"9639_CR4","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0168-0072(93)90091-Q","volume":"59","author":"S. Buss","year":"1993","unstructured":"Buss S.: Intuitionistic validity in T-normal Kripke structures. Annals of Pure and Applied Logic 59, 159\u2013173 (1993)","journal-title":"Annals of Pure and Applied Logic"},{"key":"9639_CR5","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1017\/S0960129599002844","volume":"9","author":"T. Coquand","year":"1999","unstructured":"Coquand T., Hofmann M.: A new method for establishing conservativity of classical systems over their intuitionistic version. Mathematical Structures in Computer Science 9, 323\u2013333 (1999)","journal-title":"Mathematical Structures in Computer Science"},{"key":"9639_CR6","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1305\/ndjfl\/1093636765","volume":"27","author":"D. Dalen van","year":"1986","unstructured":"van Dalen D., Mulder H., Krabbe E. C. W., Visser A.: Finite Kripke models of HA are locally PA. Notre Dame Journal of Formal Logic 27, 528\u2013532 (1986)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9639_CR7","doi-asserted-by":"crossref","unstructured":"Friedman, H., Classically and intuitionistically provably recursive functions, in D. S. Scott and G. H. Muller (eds.), Higher Set Theory, vol. 699 of Lecture Notes in Mathematics, Springer Verlag, New York, 1978, pp. 21\u201328.","DOI":"10.1007\/BFb0103100"},{"key":"9639_CR8","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/s00153-009-0164-0","volume":"49","author":"R. Iemhoff","year":"2010","unstructured":"Iemhoff R.: Kripke models for subtheories of CZF, Archive for Mathematical Logic 49 ,147\u2013167 (2010)","journal-title":"Archive for Mathematical Logic"},{"key":"9639_CR9","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1305\/ndjfl\/1093870383","volume":"24","author":"Z. Markovi\u0107","year":"1983","unstructured":"Markovi\u0107 Z.: Some preservation results for classical and intuitionistic satisfiability in Kripke models. Notre Dame Journal of Formal Logic 24, 395\u2013398 (1983)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9639_CR10","doi-asserted-by":"crossref","first-page":"347","DOI":"10.2307\/2272159","volume":"40","author":"J. Myhill","year":"1975","unstructured":"Myhill J.: Constructive set theory. Journal of Symbolic Logic 40, 347\u2013382 (1975)","journal-title":"Journal of Symbolic Logic"},{"key":"9639_CR11","unstructured":"Troelstra, A. S., and D. van Dalen, Constructivism in mathematics, North-Holland, Amsterdam, 1988."},{"key":"9639_CR12","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/PL00003842","volume":"40","author":"A. Visser","year":"2001","unstructured":"Visser A.: Submodels of Kripke models. Archive for Mathematical Logic 40, 277\u2013295 (2001)","journal-title":"Archive for Mathematical Logic"},{"key":"9639_CR13","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1305\/ndjfl\/1039886521","volume":"37","author":"K. Wehmeier","year":"1996","unstructured":"Wehmeier K.: Classical and intuitionistic models of arithmetic. Notre Dame Journal of Formal Logic 37, 452\u2013461 (1996)","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9639-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-015-9639-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9639-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,4]],"date-time":"2019-09-04T06:37:55Z","timestamp":1567579075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-015-9639-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,8]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["9639"],"URL":"https:\/\/doi.org\/10.1007\/s11225-015-9639-7","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,8]]}}}