{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:00Z","timestamp":1740108180270,"version":"3.37.3"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2018,4,18]],"date-time":"2018-04-18T00:00:00Z","timestamp":1524009600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s00153-018-0624-5","type":"journal-article","created":{"date-parts":[[2018,4,18]],"date-time":"2018-04-18T08:43:35Z","timestamp":1524041015000},"page":"77-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The iterability hierarchy above \n                \n                  \n                \n                $${{\\mathrm{\\mathsf {I3}}}}$$\n                \n                  \n                    \n                      I\n                      3"],"prefix":"10.1007","volume":"58","author":[{"given":"Alessandro","family":"Andretta","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4487-2922","authenticated-orcid":false,"given":"Vincenzo","family":"Dimonte","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,18]]},"reference":[{"key":"624_CR1","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/s00153-011-0232-0","volume":"50","author":"V Dimonte","year":"2011","unstructured":"Dimonte, V.: Totally non-proper ordinals beyond \n                    \n                      \n                    \n                    $$L(V_{\\lambda +1})$$\n                    \n                      \n                        \n                          L\n                          (\n                          \n                            V\n                            \n                              \u03bb\n                              +\n                              1\n                            \n                          \n                          )\n                        \n                      \n                    \n                  . Arch. Math. Log. 50, 565\u2013584 (2011)","journal-title":"Arch. Math. Log."},{"key":"624_CR2","doi-asserted-by":"publisher","first-page":"1309","DOI":"10.1016\/j.apal.2012.02.003","volume":"163","author":"V Dimonte","year":"2012","unstructured":"Dimonte, V.: A partially non-proper ordinal. Ann. Pure Appl. Log. 163, 1309\u20131321 (2012)","journal-title":"Ann. Pure Appl. Log."},{"key":"624_CR3","doi-asserted-by":"publisher","unstructured":"Dimonte, V.: I0 and rank-into-rank axioms. Boll. Unione Mat. Ital. (2017). \n                    https:\/\/doi.org\/10.1007\/s40574-017-0136-y","DOI":"10.1007\/s40574-017-0136-y"},{"key":"624_CR4","volume-title":"Set Theory. The Third Millennium Edition, Revised and Expanded. Springer Monographs in Mathematics","author":"T Jech","year":"2003","unstructured":"Jech, T.: Set Theory. The Third Millennium Edition, Revised and Expanded. Springer Monographs in Mathematics. Springer, Berlin (2003)"},{"key":"624_CR5","volume-title":"The Higher Infinite. Large Cardinals in Set Theory from Their Beginnings. Springer Monographs in Mathematics","author":"A Kanamori","year":"2003","unstructured":"Kanamori, A.: The Higher Infinite. Large Cardinals in Set Theory from Their Beginnings. Springer Monographs in Mathematics, 2nd edn. Springer, Berlin (2003)","edition":"2"},{"key":"624_CR6","first-page":"209","volume":"36","author":"K Kunen","year":"1971","unstructured":"Kunen, K.: Elementary embeddings and infinite combinatorics. J. Symb. Log. 36, 209\u2013231 (1971)","journal-title":"J. Symb. Log."},{"key":"624_CR7","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1006\/aima.1995.1014","volume":"110","author":"R Laver","year":"1995","unstructured":"Laver, R.: On the algebra of elementary embeddings of a rank into itself. Adv. Math. 110, 334\u2013346 (1995)","journal-title":"Adv. Math."},{"key":"624_CR8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0168-0072(97)00031-6","volume":"90","author":"R Laver","year":"1997","unstructured":"Laver, R.: Implications between strong large cardinal axioms. Ann. Pure Appl. Log. 90, 79\u201390 (1997)","journal-title":"Ann. Pure Appl. Log."},{"key":"624_CR9","unstructured":"Martin, D.A.: Infinite games. In: Proceedings of the ICM, Helsinki, Acad. Sci. Fennica, Helsinki, pp. 269\u2013273 (1978)"},{"key":"624_CR10","unstructured":"https:\/\/mathoverflow.net\/questions\/191742\/a-question-on-rank-to-rank-embeddings"},{"key":"624_CR11","doi-asserted-by":"publisher","first-page":"1591","DOI":"10.2307\/2586799","volume":"64","author":"A Suzuki","year":"1999","unstructured":"Suzuki, A.: No elementary embedding from \n                    \n                      \n                    \n                    $$V$$\n                    \n                      \n                        V\n                      \n                    \n                   into \n                    \n                      \n                    \n                    $$V$$\n                    \n                      \n                        V\n                      \n                    \n                   is definable from parameters. J. Symb. Log. 64, 1591\u20131594 (1999)","journal-title":"J. Symb. Log."},{"key":"624_CR12","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1142\/S021906131100102X","volume":"11","author":"WH Woodin","year":"2011","unstructured":"Woodin, W.H.: Suitable extender models II: beyond \n                    \n                      \n                    \n                    $$\\omega $$\n                    \n                      \n                        \u03c9\n                      \n                    \n                  -huge. J. Math. Log. 11, 115\u2013436 (2011)","journal-title":"J. Math. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-018-0624-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-018-0624-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-018-0624-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T19:38:40Z","timestamp":1555529920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-018-0624-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,18]]},"references-count":12,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["624"],"URL":"https:\/\/doi.org\/10.1007\/s00153-018-0624-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2018,4,18]]},"assertion":[{"value":"12 December 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 April 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 April 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}