{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:22:54Z","timestamp":1740108174604,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2016,1,2]],"date-time":"2016-01-02T00:00:00Z","timestamp":1451692800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,2]],"date-time":"2016-01-02T00:00:00Z","timestamp":1451692800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100003130","name":"Fonds Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"publisher"}]},{"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\/501100003407","name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003407","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":[[2016,5]]},"DOI":"10.1007\/s00153-015-0473-4","type":"journal-article","created":{"date-parts":[[2016,1,2]],"date-time":"2016-01-02T05:58:12Z","timestamp":1451714292000},"page":"431-459","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Reverse mathematics, well-quasi-orders, and Noetherian spaces"],"prefix":"10.1007","volume":"55","author":[{"given":"Emanuele","family":"Frittaion","sequence":"first","affiliation":[]},{"given":"Matthew","family":"Hendtlass","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Marcone","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Shafer","sequence":"additional","affiliation":[]},{"given":"Jeroen","family":"Van der Meeren","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,2]]},"reference":[{"issue":"3","key":"473_CR1","doi-asserted-by":"publisher","first-page":"683","DOI":"10.2178\/jsl\/1096901762","volume":"69","author":"P. Cholak","year":"2004","unstructured":"Cholak P., Marcone A., Solomon R.: Reverse mathematics and the equivalence of definitions for well and better quasi-orders. J. Symb. Log. 69(3), 683\u2013712 (2004)","journal-title":"J. Symb. Log."},{"key":"473_CR2","doi-asserted-by":"publisher","first-page":"791","DOI":"10.1090\/S0002-9939-1954-0063995-6","volume":"5","author":"J.C.E. Dekker","year":"1954","unstructured":"Dekker J.C.E.: A theorem on hypersimple sets. Proc. Am. Math. Soc. 5, 791\u2013796 (1954)","journal-title":"Proc. Am. Math. Soc."},{"unstructured":"Dorais, F.G.: Reverse mathematics of compact countable second-countable spaces. arXiv:1110.6555v1 (2011)","key":"473_CR3"},{"issue":"4","key":"473_CR4","doi-asserted-by":"publisher","first-page":"255","DOI":"10.2307\/2306526","volume":"59","author":"P. Erd\u0151s","year":"1952","unstructured":"Erd\u0151s P., Rado R.: Advanced problems and solutions: solutions: 4358. Am. Math. Mon. 59(4), 255\u2013257 (1952)","journal-title":"Am. Math. Mon."},{"unstructured":"Friedman, H.: Some systems of second order arithmetic and their use. In: Proceedings of the International Congress of Mathematicians, vol. 1, 1975, pp. 235\u2013242. Vancouver, B.C. (1974)","key":"473_CR5"},{"unstructured":"Frittaion, E.: Reverse Mathematics and Partial Orders. Ph.D. Thesis, Universit\u00e0 di Udine (2014)","key":"473_CR6"},{"issue":"6","key":"473_CR7","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. Log. Q. 58(6), 417\u2013423 (2012)","journal-title":"Math. Log. Q."},{"issue":"3","key":"473_CR8","doi-asserted-by":"publisher","first-page":"858","DOI":"10.1016\/j.apal.2013.11.002","volume":"165","author":"E. Frittaion","year":"2014","unstructured":"Frittaion E., Marcone A.: Reverse mathematics and initial intervals. Ann. Pure Appl. Log. 165(3), 858\u2013879 (2014)","journal-title":"Ann. Pure Appl. Log."},{"doi-asserted-by":"crossref","unstructured":"Goubault-Larrecq, J.: On Noetherian spaces. In: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS\u201907), pp. 453\u2013462 (2007)","key":"473_CR9","DOI":"10.1109\/LICS.2007.34"},{"doi-asserted-by":"crossref","unstructured":"Goubault-Larrecq, J.: Noetherian spaces in verification. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) Automata, Languages and Programming, Part II. Lecture Notes in Computer Science, vol. 6199, pp. 2\u201321. Springer, Berlin (2010)","key":"473_CR10","DOI":"10.1007\/978-3-642-14162-1_2"},{"doi-asserted-by":"crossref","unstructured":"Goubault-Larrecq, J.: Non-Hausdorff topology and domain theory. In: New Mathematical Monographs, vol. 22. Cambridge University Press, Cambridge (2013). [On the cover: Selected topics in point-set topology]","key":"473_CR11","DOI":"10.1017\/CBO9781139524438"},{"unstructured":"Hirst, J.: Combinatorics in Subsystems of Second Order Arithmetic. Ph.D. Thesis, The Pennsylvania State University (1987)","key":"473_CR12"},{"issue":"5-6","key":"473_CR13","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0020-0190(99)00149-0","volume":"72","author":"P. Jan\u010dar","year":"1999","unstructured":"Jan\u010dar P.: A note on well quasi-orderings for powersets. Inf. Process. Lett. 72(5-6), 155\u2013160 (1999)","journal-title":"Inf. Process. Lett."},{"key":"473_CR14","doi-asserted-by":"publisher","first-page":"89","DOI":"10.2307\/1970754","volume":"93","author":"R. Laver","year":"1971","unstructured":"Laver R.: On Fra\u00efss\u00e9\u2019s order type conjecture. Ann. Math. (2) 93, 89\u2013111 (1971)","journal-title":"Ann. Math. (2)"},{"issue":"4","key":"473_CR15","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1305\/ndjfl\/1168352662","volume":"47","author":"S. Lempp","year":"2006","unstructured":"Lempp S., Mummert C.: Filters on computable posets. Notre Dame J. Form. Log. 47(4), 479\u2013485 (2006)","journal-title":"Notre Dame J. Form. Log."},{"issue":"4","key":"473_CR16","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1023\/A:1013952225669","volume":"18","author":"A. Marcone","year":"2001","unstructured":"Marcone A.: Fine analysis of the quasi-orderings on the power set. Order 18(4), 339\u2013347 (2001)","journal-title":"Order"},{"doi-asserted-by":"crossref","unstructured":"Marcone, A.: Wqo and bqo theory in subsystems of second order arithmetic. In: Simpson, S.G. (ed.) Reverse Mathematics 2001. Lecture Notes in Logic, vol. 21, pp. 303\u2013330. Association for Symbolic Logic, La Jolla, CA (2005)","key":"473_CR17","DOI":"10.1017\/9781316755846.020"},{"issue":"5-6","key":"473_CR18","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/s00153-011-0231-1","volume":"50","author":"A. Marcone","year":"2011","unstructured":"Marcone A., Shore R.A.: The maximal linear extension theorem in second order arithmetic. Arch. Math. Log. 50(5-6), 543\u2013564 (2011)","journal-title":"Arch. Math. Log."},{"issue":"2","key":"473_CR19","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1142\/S0219061306000578","volume":"6","author":"C Mummert","year":"2006","unstructured":"Mummert C: Reverse mathematics of MF spaces. J. Math. Log. 6(2), 203\u2013232 (2006)","journal-title":"J. Math. Log."},{"issue":"1","key":"473_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1307\/mmj\/1272376025","volume":"59","author":"C. Mummert","year":"2010","unstructured":"Mummert C., Stephan F.: Topological aspects of poset spaces. Mich. Math. J. 59(1), 3\u201324 (2010)","journal-title":"Mich. Math. J."},{"key":"473_CR21","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1017\/S030500410004281X","volume":"64","author":"C.St.J.A. Nash-Williams","year":"1968","unstructured":"Nash-Williams C.St.J.A.: On better-quasi-ordering transfinite sequences. Proc. Camb. Philos. Soc. 64, 273\u2013290 (1968)","journal-title":"Proc. Camb. Philos. Soc."},{"issue":"2","key":"473_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5802\/aif.408","volume":"22","author":"M. Pouzet","year":"1972","unstructured":"Pouzet M.: Sur les pr\u00e9meilleurordres. Ann. Inst. Fourier (Grenoble) 22(2), 1\u201319 (1972)","journal-title":"Ann. Inst. Fourier (Grenoble)"},{"key":"473_CR23","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1112\/S0025579300000565","volume":"1","author":"R. Rado","year":"1954","unstructured":"Rado R.: Partial well-ordering of sets of vectors. Mathematika 1, 89\u201395 (1954)","journal-title":"Mathematika"},{"key":"473_CR24","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers Jr","year":"1987","unstructured":"Rogers H. Jr: Theory of Recursive Functions and Effective Computability, 2nd edn. MIT Press, Cambridge (1987)","edition":"2"},{"unstructured":"Shore, R.A.: On the strength of Fra\u00efss\u00e9\u2019s conjecture. In: Crossley, J.N., Remmel, J.B., Shore, R.A., Sweedler, M.E. (eds.) Logical Methods. Progress in Computer Science and Applied Logic, vol. 12, pp. 782\u2013813. Birkh\u00e4user Boston Inc., Boston (1993) (Papers from the conference in honor of Anil Nerode\u2019s sixtieth birthday held at Cornell University, Ithaca, New York, June 1\u20133, 1992)","key":"473_CR25"},{"unstructured":"Simpson, S.G.: Subsystems of second order arithmetic. In: Perspectives in Logic, 2nd edn. Cambridge University Press, Cambridge; Association for Symbolic Logic, Poughkeepsie, NY (2009)","key":"473_CR26"},{"doi-asserted-by":"crossref","unstructured":"Soare, R.I.: Recursively Enumerable Sets and Degrees: a Study of Computable Functions and Computably Generated Sets. Perspectives in Mathematical Logic. Springer, Berlin (1987)","key":"473_CR27","DOI":"10.1007\/978-3-662-02460-7"},{"issue":"1","key":"473_CR28","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0304-3975(85)90037-4","volume":"36","author":"G. Winskel","year":"1985","unstructured":"Winskel G.: On powerdomains and modality. Theor. Comput. Sci. 36(1), 127\u2013137 (1985)","journal-title":"Theor. Comput. Sci."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0473-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-015-0473-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0473-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0473-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T10:30:48Z","timestamp":1692181848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-015-0473-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,2]]},"references-count":28,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["473"],"URL":"https:\/\/doi.org\/10.1007\/s00153-015-0473-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2016,1,2]]},"assertion":[{"value":"28 April 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 December 2015","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 January 2016","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}