{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:02Z","timestamp":1740108182077,"version":"3.37.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T00:00:00Z","timestamp":1553558400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"FWF-GA\u010cR","award":["17-33849L"],"award-info":[{"award-number":["17-33849L"]}]},{"name":"FWF","award":["P29575"],"award-info":[{"award-number":["P29575"]}]},{"name":"FWF-GA\u010cR","award":["17-33849"],"award-info":[{"award-number":["17-33849"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1007\/s00153-019-00672-z","type":"journal-article","created":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T17:03:26Z","timestamp":1553619806000},"page":"965-997","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Set-theoretic blockchains"],"prefix":"10.1007","volume":"58","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3110-6962","authenticated-orcid":false,"given":"Miha E.","family":"Habi\u010d","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9959-0500","authenticated-orcid":false,"given":"Joel David","family":"Hamkins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3650-9733","authenticated-orcid":false,"given":"Lukas Daniel","family":"Klausner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0633-9043","authenticated-orcid":false,"given":"Jonathan","family":"Verner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0881-0249","authenticated-orcid":false,"given":"Kameryn J.","family":"Williams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,3,26]]},"reference":[{"issue":"1","key":"672_CR1","doi-asserted-by":"publisher","first-page":"77","DOI":"10.2178\/bsl.1901030","volume":"19","author":"T Arrigoni","year":"2013","unstructured":"Arrigoni, T., Friedman, S.-D.: The hyperuniverse program. Bull. Symb. Log. 19(1), 77\u201396 (2013). \n                    https:\/\/doi.org\/10.2178\/BSL.1901030","journal-title":"Bull. Symb. Log."},{"key":"672_CR2","doi-asserted-by":"publisher","unstructured":"Antos, C., Friedman, S.-D., Honz\u00edk, R., Ternullo, C. (eds.): The hyperuniverse project and maximality. Birkh\u00e4user, Basel (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-319-62935-3","DOI":"10.1007\/978-3-319-62935-3"},{"issue":"4","key":"672_CR3","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1002\/malq.19780241903","volume":"24","author":"B Balcar","year":"1978","unstructured":"Balcar, B., H\u00e1jek, P.: On sequences of degrees of constructibility. Z. Math. Logik Grundlag. Math. 24(4), 291\u2013296 (1978). \n                    https:\/\/doi.org\/10.1002\/MALQ.19780241903","journal-title":"Z. Math. Logik Grundlag. Math."},{"issue":"1","key":"672_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.4064\/fm-83-1-35-46","volume":"83","author":"L Bukovsk\u00fd","year":"1973","unstructured":"Bukovsk\u00fd, L.: Characterization of generic extensions of models of set theory. Fundam. Math. 83(1), 35\u201346 (1973)","journal-title":"Fundam. Math."},{"key":"672_CR5","unstructured":"Friedman, S.D., Hathaway, D.: Generic coding with help and amalgamation failure. \n                    arXiv:1808.10304\n                    \n                   [math.LO]"},{"key":"672_CR6","doi-asserted-by":"publisher","unstructured":"Friedman, S.D.: Fine structure and class forcing. De Gruyter Series in Logic and Its Applications. De Gruyter, Berlin (2000). \n                    https:\/\/doi.org\/10.1515\/9783110809114","DOI":"10.1515\/9783110809114"},{"key":"672_CR7","unstructured":"Friedman, S.D.: The hyperuniverse. Tutorial at the University of M\u00fcnster (2012), \n                    http:\/\/www.logic.univie.ac.at\/~sdf\/papers\/muenster.2012.pdf"},{"key":"672_CR8","doi-asserted-by":"publisher","unstructured":"Fuchs, G., Hamkins, J.D., Reitz, J.: Set-theoretic geology. Ann. Pure Appl. Logic 166(4), 464\u2013501, (2015). \n                    https:\/\/doi.org\/10.1016\/J.APAL.2014.11.004\n                    \n                  ; \n                    arXiv:1107.4776\n                    \n                   [math.LO], comments and discussion: \n                    http:\/\/jdh.hamkins.org\/set-theoreticgeology\/","DOI":"10.1016\/J.APAL.2014.11.004"},{"issue":"11","key":"672_CR9","doi-asserted-by":"publisher","first-page":"1484","DOI":"10.1016\/j.apal.2011.12.006","volume":"163","author":"K Fujimoto","year":"2012","unstructured":"Fujimoto, K.: Classes and truths in set theory. Ann. Pure Appl. Logic 163(11), 1484\u20131523 (2012). \n                    https:\/\/doi.org\/10.1016\/J.APAL.2011.12.006","journal-title":"Ann. Pure Appl. Logic"},{"key":"672_CR10","unstructured":"Gitman, V., Hamkins, J.D.: Kelley\u2013Morse set theory and choice principles for classes (unpublished)"},{"key":"672_CR11","doi-asserted-by":"publisher","unstructured":"Gitman, V., Hamkins, J.D.: Open determinacy for class games. In: Andr\u00e9s E.C., James, C., Peter, K., Larson, P. B. (eds.) Foundations of Mathematics: Logic at Harvard. Essays in Honor of W. Hugh Woodin\u2019s 60th Birthday. Contemporary Mathematics, vol. 690, pp. 121\u2013143. American Mathematical Society, Providence, RI (2017). \n                    https:\/\/doi.org\/10.1090\/CONM\/690\n                    \n                  ; \n                    arXiv:1509.01099\n                    \n                   [math.LO]; comments and discussion: \n                    http:\/\/jdh.hamkins.org\/open-determinacy-for-class-games\/","DOI":"10.1090\/CONM\/690"},{"key":"672_CR12","doi-asserted-by":"publisher","unstructured":"Gitman, V., Hamkins, J.D., Johnstone, T.A.: What is the theory ZFC without power set?, MLQ Math. Log. Q. 62(4\u20135), 391\u2013406 (2016). \n                    https:\/\/doi.org\/10.1002\/MALQ.201500019\n                    \n                  ; \n                    arXiv:1110.2430\n                    \n                   [math.LO], comments and discussion: \n                    http:\/\/jdh.hamkins.org\/what-is-the-theory-zfc-without-power-set\/","DOI":"10.1002\/MALQ.201500019"},{"key":"672_CR13","unstructured":"Gitman, V.: Kelley\u2013Morse set theory and choice principles for classes, blog post with slides (2014). \n                    https:\/\/victoriagitman.github.io\/talks\/2014\/12\/31\/kelley-morse-set-theory-and-choice-principles-for-classes.html"},{"key":"672_CR14","unstructured":"Hamkins, J.D.: Is it consistent with ZFC that no nontrivial forcing notion has automatic mutual genericity? MathOverflow question (2015). \n                    https:\/\/mathoverflow.net\/q\/222602"},{"key":"672_CR15","unstructured":"Hamkins, J.D.: Upward Closure and amalgamation in the generic multiverse of a countable model of set theory, RIMS K\u014dky\u016broku 1988 Recent Developments in Axiomatic Set Theory, pp. 17\u201331 (2016) hdl: 2433\/224551, \n                    arXiv:1511.01074\n                    \n                   [math.LO], comments and discussion: \n                    http:\/\/jdh.hamkins.org\/upward-closure-and-amalgamation-in-the-generic-multiverse-of-a-countable-model-of-set-theory\/"},{"key":"672_CR16","doi-asserted-by":"publisher","unstructured":"Hamkins, J.D., L\u00f6we, B.: The modal logic of forcing. Trans. Amer. Math. Soc. 360(4), 1793\u20131817 (2008). \n                    https:\/\/doi.org\/10.1090\/S0002-9947-07-04297-3\n                    \n                  ; \n                    arXiv:MATH\/0509616\n                    \n                   [math.LO], comments and discussion: \n                    http:\/\/jdh.hamkins.org\/themodallogicofforcing\/","DOI":"10.1090\/S0002-9947-07-04297-3"},{"key":"672_CR17","doi-asserted-by":"publisher","unstructured":"Hamkins, J.D., L\u00f6we, B.: Moving up and down in the generic multiverse. In: Logic and Its Applications, Lecture Notes in Computer Science, vol. 7750, pp.\u00a0139\u2013147. Springer, Heidelberg (2013). \n                    https:\/\/doi.org\/10.1007\/978-3-642-36039-8_13\n                    \n                  ; \n                    arXiv:1208.5061\n                    \n                   [math.LO], comments and discussion: \n                    http:\/\/jdh.hamkins.org\/up-and-down-in-the-generic-multiverse\/","DOI":"10.1007\/978-3-642-36039-8_13"},{"key":"672_CR18","doi-asserted-by":"publisher","unstructured":"Holy, P., Krapf, R., L\u00fccke, P., Njegomir, A., Schlicht, P.: Class forcing, the forcing theorem and Boolean completions. J. Symb. Log. 81(4), 1500\u20131530 (2016). \n                    https:\/\/doi.org\/10.1017\/JSL.2016.4\n                    \n                  ; \n                    arXiv:1710.10820\n                    \n                   [math.LO]","DOI":"10.1017\/JSL.2016.4"},{"key":"672_CR19","doi-asserted-by":"publisher","unstructured":"Holy, P., Krapf, R., Schlicht, P.: Characterizations of pretameness and the Ord-cc. Ann. Pure Appl. Logic 169(8), 775\u2013802 (2018). \n                    https:\/\/doi.org\/10.1016\/J.APAL.2018.04.002\n                    \n                  ; \n                    arXiv:1710.10825\n                    \n                   [math.LO]","DOI":"10.1016\/J.APAL.2018.04.002"},{"key":"672_CR20","doi-asserted-by":"publisher","unstructured":"Jech, T.: Set theory, Springer Monographs in Mathematics. Springer, Berlin (2003). \n                    https:\/\/doi.org\/10.1007\/3-540-44761-X","DOI":"10.1007\/3-540-44761-X"},{"key":"672_CR21","doi-asserted-by":"publisher","unstructured":"Jensen, R.: Definable sets of minimal degree. In: Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities, 11\u201314 November 1968, Jerusalem, pp.\u00a0122\u2013128. North-Holland, Amsterdam (1970). \n                    https:\/\/doi.org\/10.1016\/S0049-237X(08)71934-7","DOI":"10.1016\/S0049-237X(08)71934-7"},{"key":"672_CR22","doi-asserted-by":"publisher","unstructured":"Lerman, M.: Degrees of Unsolvability: Local and Global Theory, Perspectives in Logic. Cambridge University Press, Cambridge (2017). \n                    https:\/\/doi.org\/10.1017\/9781316717059","DOI":"10.1017\/9781316717059"},{"key":"672_CR23","doi-asserted-by":"publisher","unstructured":"Mostowski, A.: A remark on Models of the G\u00f6del\u2013Bernays axioms for set theory. In: Gert, H.M (ed.) Sets and Classes: On the Work by Paul Bernays. Studies in Logic and the Foundations of Mathematics, vol. 84, pp. 325\u2013340. North-Holland, Amsterdam (1976). \n                    https:\/\/doi.org\/10.1016\/S0049-237X(09)70288-5","DOI":"10.1016\/S0049-237X(09)70288-5"},{"key":"672_CR24","doi-asserted-by":"publisher","unstructured":"Reitz, J.: The ground axiom. J. Symb. Log. 72(4), 1299\u20131317 (2007). \n                    https:\/\/doi.org\/10.2178\/JSL\/1203350787\n                    \n                  ; \n                    arXiv:MATH\/0609064\n                    \n                   [math.LO]","DOI":"10.2178\/JSL\/1203350787"},{"issue":"3","key":"672_CR25","doi-asserted-by":"publisher","first-page":"369","DOI":"10.2178\/bsl\/1154698739","volume":"12","author":"RA Shore","year":"2006","unstructured":"Shore, R.A.: Degree structures: local and global investigations. Bull. Symb. Log. 12(3), 369\u2013389 (2006). \n                    https:\/\/doi.org\/10.1515\/9783110809114","journal-title":"Bull. Symb. Log."},{"key":"672_CR26","unstructured":"Stanley, M.C.: A unique generic real. Ph.D. thesis, University of California, Berkeley (1984)"},{"key":"672_CR27","doi-asserted-by":"publisher","unstructured":"Truss, J.K.: A Note on increasing sequences of constructibility degrees. In: M\u00fcller, G.H., Stewart Scott D (eds.) Higher Set Theory, Proceedings, Oberwolfach, Germany 13\u201323 April, 1977. Lecture Notes in Mathematics, vol. 669, pp. 473\u2013476. Springer, Berlin (1978). \n                    https:\/\/doi.org\/10.1007\/BFB0103096","DOI":"10.1007\/BFB0103096"},{"key":"672_CR28","doi-asserted-by":"publisher","unstructured":"Usuba, T.: The downward directed grounds hypothesis and very large cardinals. J. Math. Log. 17(2), 1750009 (2017). \n                    https:\/\/doi.org\/10.1142\/S021906131750009X\n                    \n                  ; \n                    arXiv:1707.05132\n                    \n                   [math.LO]","DOI":"10.1142\/S021906131750009X"},{"key":"672_CR29","unstructured":"Williams, K.J.: The structure of models of second-order set theories. Ph.D. thesis, The Graduate Center of the City University of New York (2018). \n                    https:\/\/academicworks.cuny.edu\/gc_etds\/2678\/"},{"key":"672_CR30","doi-asserted-by":"crossref","unstructured":"Woodin, W.H.: The continuum hypothesis, the generic-multiverse of sets, and the \n                    \n                      \n                    \n                    $$\\Omega $$\n                    \n                      \n                        \u03a9\n                      \n                    \n                   conjecture. In: Juliette, K., Roman, K. (eds.) Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies. Lecture Notes Log., vol. 36, pp.\u00a013\u201342. Assoc. Symbol. Logic, La Jolla, CA (2011)","DOI":"10.1017\/CBO9780511910616.003"},{"key":"672_CR31","doi-asserted-by":"publisher","unstructured":"Zarach, A.M.: Replacement \n                    \n                      \n                    \n                    $$\\nrightarrow $$\n                    \n                      \n                        \u219b\n                      \n                    \n                   Collection. In: G\u00f6del 96: Logical Foundations of Mathematics, Computer Science, and Physics\u2013Kurt G\u00f6del\u2019s Legacy, Lecture Notes Log, vol.\u00a06, pp.\u00a0307\u2013322. Springer, Berlin\/Heidelberg (1996). \n                    https:\/\/doi.org\/10.1007\/978-3-662-21963-8_22","DOI":"10.1007\/978-3-662-21963-8_22"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-019-00672-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-019-00672-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-019-00672-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T00:22:42Z","timestamp":1585095762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-019-00672-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,26]]},"references-count":31,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2019,11]]}},"alternative-id":["672"],"URL":"https:\/\/doi.org\/10.1007\/s00153-019-00672-z","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2019,3,26]]},"assertion":[{"value":"5 August 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 March 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 March 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}