{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T12:16:36Z","timestamp":1649160996575},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,4,1]],"date-time":"2011-04-01T00:00:00Z","timestamp":1301616000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1007\/s11225-011-9310-x","type":"journal-article","created":{"date-parts":[[2011,4,4]],"date-time":"2011-04-04T04:00:29Z","timestamp":1301889629000},"page":"319-328","source":"Crossref","is-referenced-by-count":0,"title":["Omitting Types in an Intermediate Logic"],"prefix":"10.1007","volume":"97","author":[{"given":"Seyed-Mohammad","family":"Bagheri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massoud","family":"Pourmahdian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,4,5]]},"reference":[{"key":"9310_CR1","unstructured":"Aczel, P., \u2018Notes on constructive set theory\u2019, Draft 1997."},{"key":"9310_CR2","doi-asserted-by":"crossref","unstructured":"Bagheri, S. M., \u2018Categoricity and quantifier elimination for intuitionistic theories\u2019, Lecture Notes in Logic No 26 (2005).","DOI":"10.1201\/9781439865873-2"},{"issue":"2","key":"9310_CR3","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1002\/malq.200510019","volume":"52","author":"M. Bagheri S.","year":"2006","unstructured":"Bagheri S. M.: \u2018Some preservation results in an intermediate logic\u2019, Math. Log. Quart. 52(2), 125\u2013133 (2006)","journal-title":"Log. Quart."},{"issue":"6","key":"9310_CR4","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1093\/jigpal\/jzl028","volume":"16","author":"M. Bagheri S.","year":"2006","unstructured":"Bagheri S. M., Pourmahdian M.: \u2018Diagram construction in intuitionistic logic\u2019. Logic Journal of IGPL 16(6), 889\u2013901 (2006)","journal-title":"Logic Journal of IGPL"},{"key":"9310_CR5","doi-asserted-by":"crossref","unstructured":"van Dalen D., Logic and structure, Springer-Verlag, 2004","DOI":"10.1007\/978-3-540-85108-0"},{"issue":"40","key":"9310_CR6","first-page":"167","volume":"25","author":"Z. Markovi\u0107","year":"1979","unstructured":"Markovi\u0107 Z.: \u2018An intuitionistic omitting types theorem\u2019. Publications de L\u2019Institut Math\u00e9matiques, Nouvelle s\u00e9rie, tome 25(40), 167\u2013169 (1979)","journal-title":"Publications de L\u2019Institut Math\u00e9matiques, Nouvelle s\u00e9rie, tome"},{"key":"9310_CR7","first-page":"41","volume":"15","author":"H. Ono","year":"1983","unstructured":"Ono H.: \u2018Model extension theorem and Craig\u2019s interpolation theorem for intermediate predicate logics\u2019. Reports on Mathematical Logic 15, 41\u201358 (1983)","journal-title":"Reports on Mathematical Logic"},{"key":"9310_CR8","unstructured":"Troelstra, A. S., and D. van Dalen, Constructivism in Mathematics, Vol.I, North-Holland, 1988."},{"key":"9310_CR9","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/PL00003842","volume":"40","author":"A. Visser","year":"2001","unstructured":"Visser A.: \u2018Submodels of Kripke Models\u2019. Arch. Math. Logic 40, 277\u2013295 (2001)","journal-title":"Arch. Math. Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9310-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-011-9310-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9310-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,21]],"date-time":"2021-11-21T01:52:56Z","timestamp":1637459576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-011-9310-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["9310"],"URL":"https:\/\/doi.org\/10.1007\/s11225-011-9310-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,4]]}}}