{"entities":{"Q2580957":{"pageid":2591700,"ns":120,"title":"Item:Q2580957","lastrevid":44404767,"modified":"2025-11-22T17:28:26Z","type":"item","id":"Q2580957","labels":{"en":{"language":"en","value":"Reverse mathematics of separably closed sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245412"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580957$5315B2C2-5654-4DC9-BEF0-A6CC6402A4F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"921bb9b4cb4f9e1dc1569cfa15dad4d696e6204f","datavalue":{"value":{"text":"Reverse mathematics of separably closed sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2580957$7BCB4D36-DE2F-44F9-96B0-3C512B8292EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7be6f321e0f9c7a672e26c42441d81469da9886d","datavalue":{"value":"1090.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580957$549E077D-9ABC-4F19-9B92-0007E576E0FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580957$B661394A-3D36-4FE0-8014-AF653889AFC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2580957$2F3F8E46-B004-4390-B6E8-F89504D2A5DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b44a69ab310a5102f081e01c76b3b8610503aa0e","datavalue":{"value":"This short note is a contribution to the program of reverse mathematics (\\textit{S. G. Simpson}'s book [Subsystems of second order arithmetic. Springer, Berlin (1999; Zbl 0909.03048)] is the main reference).   \\textit{D. K. Brown} [in: Logic and computation, Proc. Workshop, Pittsburgh/PA (USA) 1987, Contemp. Math. 106, 39--50 (1990; Zbl 0693.03041)] studied different notions of closed set in Polish spaces and the strength of statements about the equivalence of these notions. In particular he claimed the equivalence of the statement ``in a compact Polish space every closed set is separably closed''\\ to \\(\\mathbf{ACA}_0\\) over the weak base system \\(\\mathbf{RCA}_0\\). Brown's proof of the reversal (i.e.\\ the fact that \\(\\mathbf{RCA}_0\\) plus the statement imply \\(\\mathbf{ACA}_0\\)) however had a problem, and in this note Hirst provides a correct proof of this implication.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580957$276C953D-58D3-4812-AFA2-8CB5A98F407E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"714ba9e68918c0335f6540ff55b340d5c87112cd","datavalue":{"value":{"entity-type":"item","numeric-id":238867,"id":"Q238867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580957$15AC3773-220A-4F47-9380-016A80DD7C6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580957$1FC6EA2C-87D0-432C-96DD-B0139E6E1C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580957$C521CEAD-D243-43B2-8F99-F5FADEB162FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c15b9ebe4d1394e4ab1aab28035564cf52ec9d0","datavalue":{"value":"54E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580957$0B464CB1-9AB7-48B1-B39C-B7304453593C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffc5ecb340e236f5d3e312b85bbff8ff5250614c","datavalue":{"value":"2245412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580957$E3536F3B-9302-4C66-93EE-B29734B487D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580957$ED8DFDF5-4359-4685-A100-09E42DD59AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af86bd4e141cfeec7fda4d5feba049fdaffc72d5","datavalue":{"value":"separably closed sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580957$458CDDE8-DD9B-4319-91E6-8FE331230E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c72ed165d20bcaff8a0ac4d00dfa4c58ee8c4c7","datavalue":{"value":"arithmetic comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580957$3B5DEEAD-3781-444F-A6BB-E0BF96F3BB5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5122a321cfb515186c4448a4fbfba8604b1bf26","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580957$D893A8A8-445C-41BC-8845-65E9F2A10ABC","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580957$AECC7577-50DF-4621-87E9-AEA3756F08B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e39dfb3009552ef3902ac823f16c60de0d687a4a","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0298-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2580957$68B0EB14-3412-4CD6-9A57-EEE8A49DBABF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7ae01fdc966130f4802cb6ea5c97f1a0fb67d2e","datavalue":{"value":"W2130096887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580957$57BC2FE3-7DFE-4663-B1A3-C6852FC6D0A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21853bd3e63f9cf4bbc2b34a51217ec4f11a7f56","datavalue":{"value":{"entity-type":"item","numeric-id":4458700,"id":"Q4458700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580957$D2F4CCDF-0457-4EE9-81BA-6A30BA166728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580957$1893C2A6-57DA-48FF-AF71-CA2B3CE7A7DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ed16edb832b7551aed85b361426209749ce3b8d","datavalue":{"value":"10.1007/S00153-005-0298-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580957$929398D3-CD6E-4B30-BDF5-6BF127E0D001","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6fd0ec6320858d410e31e704ddb3870e4f4f5e","datavalue":{"value":{"entity-type":"item","numeric-id":1313599,"id":"Q1313599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234a1df5f225ae9d61feec7869522918843f6d27","datavalue":{"value":{"amount":"+0.92126477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2580957$97F6346D-1B05-4FEA-95DB-58CDDBABA985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad4d49bbf0dc0e0f5a6e70a92ebec8143257fa1","datavalue":{"value":{"entity-type":"item","numeric-id":6135567,"id":"Q6135567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b94b028b5e1c06c52a1dd4c60cb28ca14220e2","datavalue":{"value":{"amount":"+0.8984555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2580957$8D6A5990-E51C-4CAF-8532-468675275CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3ca7d4300263f4fe4328de522ed1ffd35f969a","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9b284b5658d34816abe0558ec285c2e61c4599","datavalue":{"value":{"amount":"+0.89372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2580957$5EE2A275-85E6-4199-96D7-B51F3A357229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cfecc6ec4b9e4700396fb42911265cb2bc7b48e","datavalue":{"value":{"entity-type":"item","numeric-id":5711879,"id":"Q5711879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b037dcba6050c7042333ec8b22cbb770ed0a22","datavalue":{"value":{"amount":"+0.8915192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2580957$651ED4A5-BAEC-4C08-BEAB-289C35F70ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2845a83bf4d08ae01b37f0d67c54a5996b0be2f5","datavalue":{"value":{"entity-type":"item","numeric-id":4968478,"id":"Q4968478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4bbb360c797c9ea5fcc2247b3739ecddb23377","datavalue":{"value":{"amount":"+0.8879303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2580957$243243D6-5E7D-4B91-9E7D-00B065777284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ca8fdc83b1df99b82520c8cf0c976e6e318ebd","datavalue":{"value":{"entity-type":"item","numeric-id":5140330,"id":"Q5140330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cafbcc75472e55b5bd9c52486f4cf8c490eb7ad4","datavalue":{"value":{"amount":"+0.8837474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2580957$3B673B0D-4032-4455-989E-D9BA4EBCA7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc18faf160526cbb8af8324db2deeca9c5f33f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5752567,"id":"Q5752567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1209bfc1d1d81d94c64888d59277ece36ba55f","datavalue":{"value":{"amount":"+0.8831868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2580957$4467E889-3BBC-4D59-8560-4C72780B4576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ea63ba8de941243d6a615642dc2f97260b72ef","datavalue":{"value":{"entity-type":"item","numeric-id":527337,"id":"Q527337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e85e219ee4e890946ff5b8de50e8b21150d1f4","datavalue":{"value":{"amount":"+0.8825512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2580957$F107845C-8F0A-422F-8537-6E649ED3F826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a02092506baa2cff762b1d811e119fe54231a4a","datavalue":{"value":{"entity-type":"item","numeric-id":2906572,"id":"Q2906572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480e1da72ebc4c0836c1c1f9f68cb64b7ebb7ae5","datavalue":{"value":{"amount":"+0.8805375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2580957$81BE6A27-752C-4E3F-9DF0-8A9160566066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92226ef881503b4ad6bd8ce8b551e12abad1eda","datavalue":{"value":{"entity-type":"item","numeric-id":4527932,"id":"Q4527932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cb4996a2599ecbdbdbd6ce6ed9ef55ee00f219","datavalue":{"value":{"amount":"+0.88024306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2580957$556EF3E2-714D-4CF6-AF99-B006B5EB5D98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2580957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2580957"}}}}}