{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:30:21Z","timestamp":1742945421452,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030480059"},{"type":"electronic","value":"9783030480066"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-48006-6_3","type":"book-chapter","created":{"date-parts":[[2020,5,22]],"date-time":"2020-05-22T10:03:21Z","timestamp":1590141801000},"page":"30-45","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Why Predicative Sets?"],"prefix":"10.1007","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,23]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1656242.1656246","volume":"11","author":"R Adams","year":"2010","unstructured":"Adams, R., Luo, Z.: Weyl\u2019s predicative classical mathematics as a logic-enriched type theory. ACM Trans. Comput. Log. 11, 1\u201329 (2010)","journal-title":"ACM Trans. Comput. Log."},{"key":"3_CR2","unstructured":"Avron, A., Lev, S., Levy, N.: Safety, absoluteness, and computability. In: Ghica, D., Jung, A. (eds.) Proceedings of 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Leibniz International Proceedings in Informatics (LIPIcs), vol. 119, pp. 8:1\u20138:17 (2018)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Avron, A.: Transitive closure and the mechanization of mathematics. In: Kamareddine, F. (ed.) Thirty Five Years of Automating Mathematics, pp. 149\u2013171. Kluwer Academic Publishers (2003)","DOI":"10.1007\/978-94-017-0253-9_7"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.tcs.2007.12.008","volume":"394","author":"A Avron","year":"2008","unstructured":"Avron, A.: Constructibility and decidability versus domain independence and absoluteness. Theor. Comput. Sci. 394, 144\u2013158 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Avron, A.: A new approach to predicative set theory. In: Schindler, R. (ed.) Ways of Proof Theory, Onto Series in Mathematical Logic, pp. 31\u201363. onto verlag (2010)","DOI":"10.1515\/9783110324907.31"},{"key":"3_CR6","first-page":"53","volume":"9","author":"A Avron","year":"2016","unstructured":"Avron, A., Cohen, L.: Formalizing scientifically applicable mathematics in a definitional framework. J. Formaliz. Reason. 9, 53\u201370 (2016)","journal-title":"J. Formaliz. Reason."},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-78127-1_11","volume-title":"Pillars of Computer Science","author":"A Blass","year":"2008","unstructured":"Blass, A., Gurevich, Y.: Why sets? In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol. 4800, pp. 179\u2013198. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78127-1_11"},{"issue":"7","key":"3_CR8","doi-asserted-by":"publisher","first-page":"2671","DOI":"10.1007\/s11229-015-0784-3","volume":"196","author":"L Cohen","year":"2019","unstructured":"Cohen, L., Avron, A.: The middle ground-ancestral logic. Synthese 196(7), 2671\u20132693 (2019). https:\/\/doi.org\/10.1007\/s11229-015-0784-3","journal-title":"Synthese"},{"key":"3_CR9","volume-title":"Computable Set Theory","author":"D Cantone","year":"1989","unstructured":"Cantone, D., Ferro, A., Omodeo, E.: Computable Set Theory. Clarendon Press, Oxford (1989)"},{"key":"3_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3452-2","volume-title":"Set Theory for Computing: From Decisions Procedures to Declarative Programming with Sets","author":"D Cantone","year":"2001","unstructured":"Cantone, D., Omodeo, E., Policriti, A.: Set Theory for Computing: From Decisions Procedures to Declarative Programming with Sets. Springer, New York (2001). https:\/\/doi.org\/10.1007\/978-1-4757-3452-2"},{"key":"3_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21723-8","volume-title":"Constructibility","author":"KJ Devlin","year":"1984","unstructured":"Devlin, K.J.: Constructibility. Perspectives in Mathematical Logic. Springer-Verlag, Berlin (1984)"},{"key":"3_CR12","volume-title":"From Kant to Hilbert","author":"W Ewald","year":"1996","unstructured":"Ewald, W.: From Kant to Hilbert. Clarendon Press, London (1996)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2269764","volume":"29","author":"S Feferman","year":"1964","unstructured":"Feferman, S.: Systems of predicative analysis I. J. Symb. Log. 29, 1\u201330 (1964)","journal-title":"J. Symb. Log."},{"key":"3_CR14","unstructured":"Feferman, S.: Weyl Vindicated: Das Kontinuum seventy years later. In: Celluci, C., Sambin, G. (eds.) Remi e prospettive della logica e della scienza contemporanee, vol. I. Cooperative Libraria Universitaria Editrice, Bologna (1988). Reprinted in [15]"},{"key":"3_CR15","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195080308.001.0001","volume-title":"In the Light of Logic","author":"S Feferman","year":"1998","unstructured":"Feferman, S.: In the Light of Logic. Oxford University Press, New York (1998)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Feferman, S.: Predicativity. In: Shapiro, S. (ed.) The Oxford Handbook of the Philosophy of Mathematics and Logic, pp. 590\u2013624. Oxford University Press (2005)","DOI":"10.1093\/0195148770.003.0019"},{"key":"3_CR17","unstructured":"H\u00f6lder O.: Der angebliche Circulus Vitiosus und die sogennante Grundlagenkrise in der Analysis, Sitzungsber. der Leipziger Akademie 78, 243\u2013250 (1926). English translation in [19], pp. 143\u2013148"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0003-4843(72)90001-0","volume":"4","author":"RB Jensen","year":"1971","unstructured":"Jensen, R.B.: The fine structure of the constructible hierarchy. Ann. Math. Log. 4, 229\u2013308 (1971)","journal-title":"Ann. Math. Log."},{"key":"3_CR19","unstructured":"Mancosu, P. (ed.) From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in 1920s. Oxford University Press (1998)"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2267976","volume":"8","author":"RM Martin","year":"1943","unstructured":"Martin, R.M.: A homogeneous system for formal logic. J. Symb. Log. 8, 1\u201323 (1943)","journal-title":"J. Symb. Log."},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"192","DOI":"10.2307\/2267692","volume":"17","author":"J Myhill","year":"1952","unstructured":"Myhill, J.: A derivation of number theory from ancestral theory. J. Symb. Log. 17, 192\u2013297 (1952)","journal-title":"J. Symb. Log."},{"key":"3_CR22","unstructured":"Poincar\u00e9, H.: Les Math\u00e9matiques et la Logique, II, III, Revue de M\u00e9taphysique et Morale 14, pp. 17\u201334, 294\u2013317 (1906). Translated in [12]"},{"key":"3_CR23","first-page":"541","volume":"16","author":"J Richard","year":"1905","unstructured":"Richard, J.: Les Principes des Mathematiques et les probl\u00e9mes des ensembles. Revue general des sciences pures et appliqu\u00e9s 16, 541\u2013543 (1905)","journal-title":"Revue general des sciences pures et appliqu\u00e9s"},{"key":"3_CR24","volume-title":"Foundations Without Foundationalism: A Case for Second-Order Logic","author":"S Shapiro","year":"1991","unstructured":"Shapiro, S.: Foundations Without Foundationalism: A Case for Second-Order Logic. Oxford University Press, Oxford (1991)"},{"key":"3_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59971-2","volume-title":"Subsystems of Second-Order Arithmetic","author":"SG Simpson","year":"1999","unstructured":"Simpson, S.G.: Subsystems of Second-Order Arithmetic. Springer-Verlag, Berlin (1999)"},{"key":"3_CR26","volume-title":"Principles of Database and Knowledge-base Systems","author":"JD Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-base Systems. Computer Science Press, New York (1988)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Weyl, H.: Das Kontinuum: Kritische Untersuchungen \u00fcber die Grundlagen der Analysis, Veit, Leipzig (1918). Translated to English in [29]","DOI":"10.1515\/9783112451144"},{"key":"3_CR28","volume-title":"The Continuum: A Critical Examination of the Foundation of Analysis","author":"H Weyl","year":"1987","unstructured":"Weyl, H.: The Continuum: A Critical Examination of the Foundation of Analysis. Thomas Jefferson University Press, Kirksville (1987). Translated by Stephen Pollard and Thomas Bole"},{"key":"3_CR29","unstructured":"Whitehead A.N., Russell B.: Principia Mathematica, 3 vols. Cambridge University Press, 1910\u20131913. Second edition, 1925\u20131927"}],"container-title":["Lecture Notes in Computer Science","Fields of Logic and Computation III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-48006-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T06:08:03Z","timestamp":1722924483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-48006-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030480059","9783030480066"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-48006-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"23 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}