{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T23:12:33Z","timestamp":1685920353006},"reference-count":30,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2011,1,19]],"date-time":"2011-01-19T00:00:00Z","timestamp":1295395200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1"},{"start":{"date-parts":[[2011,1,19]],"date-time":"2011-01-19T00:00:00Z","timestamp":1295395200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Quarterly"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1002\/malq.201010009","type":"journal-article","created":{"date-parts":[[2011,1,19]],"date-time":"2011-01-19T12:13:16Z","timestamp":1295439196000},"page":"299-322","source":"Crossref","is-referenced-by-count":5,"title":["Extending constructive operational set theory by impredicative principles"],"prefix":"10.1002","volume":"57","author":[{"given":"Andrea","family":"Cantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2011,1,19]]},"reference":[{"key":"10.1002\/malq.201010009-BIB1|cit1","first-page":"55","volume-title":"The type theoretic interpretation of constructive set theory, in: Logic Colloquium '77","author":"Aczel","year":"1978"},{"key":"10.1002\/malq.201010009-BIB2|cit2","unstructured":"P. Aczel Explicit Set Existence, slides of a talk presented at the Research Workshop in Proof Theory and Constructivism, School of Mathematics, University of Leeds 2009"},{"key":"10.1002\/malq.201010009-BIB3|cit3","unstructured":"P. Aczel M. Rathjen"},{"key":"10.1002\/malq.201010009-BIB4|cit4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics","author":"Beeson","year":"1985"},{"key":"10.1002\/malq.201010009-BIB5|cit5","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(88)90115-6","article-title":"Towards a computation system based on set theory","volume":"60","author":"Beeson","year":"1988","journal-title":"Theor. Comput. Sci."},{"key":"10.1002\/malq.201010009-BIB6|cit6","volume-title":"Foundations of Constructive Analysis","author":"Bishop","year":"1967"},{"key":"10.1002\/malq.201010009-BIB7|cit7","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1002\/malq.19920380109","article-title":"Levels of implication and type free theories of partial classifications with approximation operator","volume":"38","author":"Cantini","year":"1992","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"10.1002\/malq.201010009-BIB8|cit8","volume-title":"Logical Frameworks for Truth and Abstraction","author":"Cantini","year":"1996"},{"key":"10.1002\/malq.201010009-BIB9|cit9","volume-title":"Constructive set theory with operations, in: Logic Colloquium 2004","author":"Cantini","year":"2008"},{"key":"10.1002\/malq.201010009-BIB10|cit10","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1515\/9783110324907.199","volume-title":"Elementary constructive operational set theory, in: Ways of Proof Theory","author":"Cantini","year":"2010"},{"key":"10.1002\/malq.201010009-BIB11|cit11","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/S0168-0072(01)00083-5","article-title":"Inaccessible set axioms may have little consistency strength","volume":"115","author":"Crosilla","year":"2002","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1002\/malq.201010009-BIB12|cit12","unstructured":"L. Crosilla Set Theory: Constructive and Intuitionistic ZF, in: Stanford Encyclopedia of Philosophy 2009 http:\/\/plato.stanford.edu\/entries\/set-theory-constructive"},{"key":"10.1002\/malq.201010009-BIB13|cit13","first-page":"87","volume-title":"A language and axioms for explicit mathematics, in: Algebra and Logic","author":"Feferman","year":"1975"},{"key":"10.1002\/malq.201010009-BIB14|cit14","first-page":"159","volume-title":"Constructive theories of functions and classes, in: Logic Colloquium '78","author":"Feferman","year":"1979"},{"key":"10.1002\/malq.201010009-BIB15|cit15","unstructured":"S. Feferman Notes on Operational Set Theory I. Generalization of \u201csmall\u201d large cardinals in classical and admissible set theory, unpublished, Stanford University 2001"},{"key":"10.1002\/malq.201010009-BIB16|cit16","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1016\/j.ic.2008.04.007","article-title":"Operational set theory and small large cardinals","volume":"207","author":"Feferman","year":"2009","journal-title":"Inf. Comput."},{"key":"10.1002\/malq.201010009-BIB17|cit17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/1971023","article-title":"Set-theoretic foundations for constructive analysis","volume":"105","author":"Friedman","year":"1977","journal-title":"Ann. Math."},{"key":"10.1002\/malq.201010009-BIB18|cit18","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1002\/malq.19780242514","article-title":"Choice implies excluded middle","volume":"24","author":"Goodman","year":"1978","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"10.1002\/malq.201010009-BIB19|cit19","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/j.apal.2003.11.032","article-title":"An intensional fixed point theory over first-order arithmetic","volume":"128","author":"J\u00e4ger","year":"2004","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1002\/malq.201010009-BIB20|cit20","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.apal.2007.09.001","article-title":"On Feferman's operational set theory OST","volume":"150","author":"J\u00e4ger","year":"2007","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1002\/malq.201010009-BIB21|cit21","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.apal.2009.01.010","article-title":"Full operational set theory with unbounded existential quantification and powerset","volume":"160","author":"J\u00e4ger","year":"2009","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1002\/malq.201010009-BIB22|cit22","unstructured":"G. J\u00e4ger Operations, sets and classes, in: Logic, Methodology, and Philosophy of Science: Proceedings of the Thirteenth International Congress C. Glymour W. Wei D. Westerstahl"},{"key":"10.1002\/malq.201010009-BIB23|cit23","doi-asserted-by":"crossref","first-page":"291","DOI":"10.2307\/2275338","article-title":"\u03bc-definable sets of integers","volume":"58","author":"Lubarsky","year":"1993","journal-title":"J. Symb. Log."},{"key":"10.1002\/malq.201010009-BIB24|cit24","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.apal.2005.07.002","article-title":"CZF and second-order arithmetic","volume":"141","author":"Lubarsky","year":"2006","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1002\/malq.201010009-BIB25|cit25","unstructured":"M. M\u00f6llerfeld Generalized inductive definitions. The \u03bc-calculus and \u03a0 1 2 -comprehension, Ph.D. thesis, Universit\u00e4t M\u00fcnster 2002"},{"key":"10.1002\/malq.201010009-BIB26|cit26","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1093\/acprof:oso\/9780198566519.003.0002","volume-title":"Generalized inductive definitions in constructive set theory, in: From sets and Types to Topology and Analysis","author":"Rathjen","year":"2005"},{"key":"10.1002\/malq.201010009-BIB27|cit27","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1002\/malq.200710036","article-title":"The natural numbers in constructive set theory","volume":"54","author":"Rathjen","year":"2008","journal-title":"Math. Log. Quart."},{"key":"10.1002\/malq.201010009-BIB28|cit28","unstructured":"A. S. Troelstra D. van Dalen Constructivism in Mathematics: An Introduction, Vols. I and II 1988"},{"key":"10.1002\/malq.201010009-BIB29|cit29","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"Troelstra","year":"2000"},{"key":"10.1002\/malq.201010009-BIB30|cit30","doi-asserted-by":"crossref","first-page":"790","DOI":"10.2178\/jsl\/1096901767","article-title":"On the intuitionistic strength of monotone inductive definitions","volume":"69","author":"Tupailo","year":"2004","journal-title":"J. Symb. Log."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201010009","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.201010009","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/onlinelibrary.wiley.com\/wol1\/doi\/10.1002\/malq.201010009\/fullpdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T22:37:20Z","timestamp":1685918240000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201010009"}},"subtitle":["Extending<b>EST<\/b>by Impredicative Principles"],"short-title":[],"issued":{"date-parts":[[2011,1,19]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,6]]}},"URL":"https:\/\/doi.org\/10.1002\/malq.201010009","archive":["Portico"],"relation":{},"ISSN":["0942-5616"],"issn-type":[{"value":"0942-5616","type":"print"}],"subject":[],"published":{"date-parts":[[2011,1,19]]}}}