{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:22:57Z","timestamp":1740108177123,"version":"3.37.3"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2017,2,27]],"date-time":"2017-02-27T00:00:00Z","timestamp":1488153600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,2,27]],"date-time":"2017-02-27T00:00:00Z","timestamp":1488153600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001352","name":"National University of Singapore","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001352","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1007\/s00153-017-0526-y","type":"journal-article","created":{"date-parts":[[2017,2,27]],"date-time":"2017-02-27T08:47:32Z","timestamp":1488185252000},"page":"385-396","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Reverse mathematics and order theoretic fixed point theorems"],"prefix":"10.1007","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3896-2582","authenticated-orcid":false,"given":"Takashi","family":"Sato","sequence":"first","affiliation":[]},{"given":"Takeshi","family":"Yamazaki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,2,27]]},"reference":[{"issue":"1961","key":"526_CR1","doi-asserted-by":"publisher","first-page":"78","DOI":"10.4153\/CJM-1961-007-5","volume":"13","author":"S Abian","year":"1961","unstructured":"Abian, S., Brown, A.: A theorem on partially ordered sets, with applications to fixed point theorems. Can. J. Math. 13(1961), 78\u201382 (1961)","journal-title":"Can. J. Math."},{"key":"526_CR2","doi-asserted-by":"crossref","unstructured":"Birkhoff, G.: Lattice Theory. American Mathematical Society Colloquium Publications, Providence, Rhode Island (1940)","DOI":"10.1090\/coll\/025"},{"issue":"6","key":"526_CR3","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/BF02036949","volume":"2","author":"N Bourbaki","year":"1949","unstructured":"Bourbaki, N.: Sur le th\u00e9or\u00e8me de Zorns. Arch. Math. 2(6), 434\u2013437 (1949)","journal-title":"Arch. Math."},{"key":"526_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, New York (2002)","edition":"2"},{"issue":"1955","key":"526_CR5","doi-asserted-by":"publisher","first-page":"311","DOI":"10.2140\/pjm.1955.5.311","volume":"5","author":"A Davis","year":"1955","unstructured":"Davis, A.: A characterization of complete lattices. Pacific J. Math. 5(1955), 311\u2013319 (1955)","journal-title":"Pacific J. Math."},{"key":"526_CR6","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1002\/malq.201200025","volume":"58","author":"E Frittaion","year":"2012","unstructured":"Frittaion, E., Marcone, A.: Linear extensions of partial orders and reverse mathematics. Math. Logic Q. 58, 417\u2013423 (2012)","journal-title":"Math. Logic Q."},{"key":"526_CR7","unstructured":"Granas, A., Dugundji, J.: Fixed Point Theory. PWN-Polish Scientific Publishers, Warzawa (1982)"},{"key":"526_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-21593-8","volume-title":"Fixed Point Theory","author":"A Granas","year":"2003","unstructured":"Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003)"},{"issue":"1939","key":"526_CR9","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BF02547750","volume":"71","author":"L Kantorovitch","year":"1939","unstructured":"Kantorovitch, L.: The method of successive approximations for functional equations. Acta. Math. 71(1939), 63\u201397 (1939)","journal-title":"Acta. Math."},{"issue":"1927","key":"526_CR10","first-page":"133","volume":"6","author":"B Knaster","year":"1927","unstructured":"Knaster, B.: Un th\u00e9or\u00e8me sur les fonctions d\u2019ensembles. Ann. Soc. Polon. Math. 6(1927), 133\u2013134 (1927)","journal-title":"Ann. Soc. Polon. Math."},{"issue":"1976","key":"526_CR11","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF02485815","volume":"6","author":"G Markowsky","year":"1976","unstructured":"Markowsky, G.: Chain-complete posets and directed sets with applications. Algebra Univ. 6(1976), 53\u201368 (1976)","journal-title":"Algebra Univ."},{"key":"526_CR12","volume-title":"Lattices and Ordered Sets.","author":"S Roman","year":"2008","unstructured":"Roman, S.: Lattices and Ordered Sets. Springer, New York (2008)"},{"key":"526_CR13","doi-asserted-by":"crossref","unstructured":"Schr\u00f6der, B.: Ordered Sets: An Introduction. Birkh\u00e4user, Boston (2002)","DOI":"10.1007\/978-1-4612-0053-6"},{"key":"526_CR14","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0168-0072(90)90068-D","volume":"47","author":"N Shioji","year":"1990","unstructured":"Shioji, N., Tanaka, K.: Fixed point theory in weak second-order arithmetic. Ann. Pure Appl. Log. 47, 167\u2013188 (1990)","journal-title":"Ann. Pure Appl. Log."},{"key":"526_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic","author":"SG Simpson","year":"2009","unstructured":"Simpson, S.G.: Subsystems of Second Order Arithmetic, 2nd edn. Cambridge University Press, New York (2009)","edition":"2"},{"key":"526_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets","author":"RI Soare","year":"1987","unstructured":"Soare, R.I.: Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets. Springer, Berlin (1987)"},{"issue":"1955","key":"526_CR17","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific J. Math. 5(1955), 285\u2013309 (1955)","journal-title":"Pacific J. Math."},{"key":"526_CR18","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1002\/mana.3210040138","volume":"4","author":"E Witt","year":"1951","unstructured":"Witt, E.: Beweisstudien zum Satz von M. Z. Math. Nachr. 4, 434\u2013438 (1951)","journal-title":"Z. Math. Nachr."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0526-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0526-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0526-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,15]],"date-time":"2020-05-15T18:30:07Z","timestamp":1589567407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0526-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,27]]},"references-count":18,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2017,5]]}},"alternative-id":["526"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0526-y","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2017,2,27]]},"assertion":[{"value":"23 May 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 January 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 February 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}