{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T14:53:11Z","timestamp":1780498391598,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540781264","type":"print"},{"value":"9783540781271","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78127-1_6","type":"book-chapter","created":{"date-parts":[[2008,2,7]],"date-time":"2008-02-07T12:59:40Z","timestamp":1202389180000},"page":"87-106","source":"Crossref","is-referenced-by-count":8,"title":["A Framework for Formalizing Set Theories Based on the Use of Static Set Terms"],"prefix":"10.1007","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/BF01350103","volume":"131","author":"W. Ackermann","year":"1956","unstructured":"Ackermann, W.: Zur Axiomatik der Mengenlehre. Mathematische Annalen\u00a0131, 336\u2013345 (1956)","journal-title":"Mathematische Annalen"},{"key":"6_CR2","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"key":"6_CR3","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-94-017-0253-9_7","volume-title":"Thirty Five Years of Automating Mathematics","author":"A. Avron","year":"2003","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, Dordrecht (2003)"},{"key":"6_CR4","first-page":"37","volume-title":"First-Order Logic Revisited","author":"A. Avron","year":"2004","unstructured":"Avron, A.: Safety signatures for first-order languages and their applications. In: Hendricks, et al. (eds.) First-Order Logic Revisited, pp. 37\u201358. Logos Verlag, Berlin (2004)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/978-3-540-27818-4_3","volume-title":"Mathematical Knowledge Management","author":"A. Avron","year":"2004","unstructured":"Avron, A.: Formalizing set theory as it is actually used. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol.\u00a03119, pp. 32\u201343. Springer, Heidelberg (2004)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Avron, A.: Constructibility and decidability versus domain independence and absluteness. Theoretical Computer Science (2007), doi:10.1016\/j.tcs.2007.12.008","DOI":"10.1016\/j.tcs.2007.12.008"},{"key":"6_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3452-2","volume-title":"Set Theory for Computing","author":"D. Cantone","year":"2001","unstructured":"Cantone, D., Omodeo, E., Policriti, A.: Set Theory for Computing. Springer, Heidelberg (2001)"},{"key":"6_CR8","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21723-8","volume-title":"Constructibility","author":"K.J. Devlin","year":"1984","unstructured":"Devlin, K.J.: Constructibility. Perspectives in Mathematical Logic. Springer, Heidelberg (1984)"},{"issue":"2","key":"6_CR9","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/321510.321524","volume":"16","author":"R.A. Paola Di","year":"1969","unstructured":"Di Paola, R.A.: The recursive unsolvability of the decision problem for the class of definite formulas. J. ACM\u00a016(2), 324\u2013327 (1969)","journal-title":"J. ACM"},{"key":"6_CR10","volume-title":"Foundations of Set Theory","author":"A. Fraenkel","year":"1973","unstructured":"Fraenkel, A., Bar-Hillel, Y., Levy, A.: Foundations of Set Theory. North-Holland, Amsterdam (1973)"},{"key":"6_CR11","first-page":"191","volume-title":"Logic Colloquium 1988","author":"S. Feferman","year":"1989","unstructured":"Feferman, S.: Finitary inductively presented logics. In: Logic Colloquium 1988, pp. 191\u2013220. North-Holland, Amsterdam (1989)"},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1090\/pspum\/013.2\/0376348","volume-title":"Axiomatic Set Theory, Part 2","author":"R.O. Gandy","year":"1974","unstructured":"Gandy, R.O.: Set-theoretic functions for elementary syntax. In: Axiomatic Set Theory, Part 2, pp. 103\u2013126. AMS, Providence, Rhode Island (1974)"},{"key":"6_CR13","unstructured":"Gentzen, G.: Neue fassung des widerspruchsfreiheitsbeweises f\u00fcr die reine zahlentheorie. Forschungen zur Logik, N.S. (4), 19\u201344 (1938)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Immerman, N.: Languages which capture complexity classes. In: 15th Symposium on Theory of Computing, Association for Computing Machinery, pp. 347\u2013354 (1983)","DOI":"10.1145\/800061.808765"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0003-4843(72)90001-0","volume":"4","author":"R.B. Jensen","year":"1972","unstructured":"Jensen, R.B.: The fine structure of the constructible hierarchy. Annals of Mathematical Logic\u00a04, 229\u2013308 (1972)","journal-title":"Annals of Mathematical Logic"},{"key":"6_CR16","volume-title":"Cantorian Set Theory and Limitation of Size","author":"M. Hallett","year":"1984","unstructured":"Hallett, M.: Cantorian Set Theory and Limitation of Size. Clarendon Press, Oxford (1984)"},{"key":"6_CR17","volume-title":"Set Theory, An Introduction to Independence Proofs","author":"K. Kunen","year":"1980","unstructured":"Kunen, K.: Set Theory, An Introduction to Independence Proofs. North-Holland, Amsterdam (1980)"},{"key":"6_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02308-2","volume-title":"Basic Set Theory","author":"A. Levy","year":"1979","unstructured":"Levy, A.: Basic Set Theory. Springer, Heidelberg (1979)"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0003-4843(70)90011-2","volume":"2","author":"W.R. Reinhardt","year":"1970","unstructured":"Reinhardt, W.R.: Ackermann\u2019s set theory Equals ZF. Annals of Mathematical Logic\u00a02, 189\u2013249 (1970)","journal-title":"Annals of Mathematical Logic"},{"key":"6_CR20","volume-title":"Mathematical Logic","author":"J.R. Shoenfield","year":"1967","unstructured":"Shoenfield, J.R.: Mathematical Logic. Addison-Wesley, Reading (1967)"},{"key":"6_CR21","volume-title":"Handbook of Mathematical Logic","author":"J.R. Shoenfield","year":"1977","unstructured":"Shoenfield, J.R.: Axioms of set theory. In: Barwise, J. (ed.) Handbook of Mathematical Logic, North-Holland, Amsterdam (1977)"},{"key":"6_CR22","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":"6_CR23","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195046724.001.0001","volume-title":"The Incompleteness Theorems","author":"R.M. Smullyan","year":"1992","unstructured":"Smullyan, R.M.: The Incompleteness Theorems. Oxford University Press, Oxford (1992)"},{"key":"6_CR24","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems. Computer Science Press (1988)"}],"container-title":["Lecture Notes in Computer Science","Pillars of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78127-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,4]],"date-time":"2021-09-04T00:10:00Z","timestamp":1630714200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78127-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540781264","9783540781271"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78127-1_6","relation":{},"subject":[]}}