{"entities":{"Q1590191":{"pageid":1600931,"ns":120,"title":"Item:Q1590191","lastrevid":72269718,"modified":"2026-04-14T03:46:10Z","type":"item","id":"Q1590191","labels":{"en":{"language":"en","value":"Reverse mathematics and rank functions for directed graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1545482"}},"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":"Q1590191$A2CA90FA-16E0-476C-9BE2-A00E413C804D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f36adb2068759cb302f72c770c046be24db1aabf","datavalue":{"value":{"text":"Reverse mathematics and rank functions for directed graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1590191$6F6B5C35-7CFA-4511-A17C-632E357A3ECE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e9bd22941d992332272812f81504cb37992f756","datavalue":{"value":"0968.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590191$09CB30DA-C8D6-42EE-A183-115153CB11F6","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":"Q1590191$9109B6A6-161C-4AB6-9EB5-BEDD737286A2","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":"Q1590191$E9E37A58-1D4D-47BD-968E-741A4F4245D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38e52bd0bda7dd3c1a0d042ea3a4146210d006f","datavalue":{"value":{"time":"+2001-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1590191$CE2F76EE-39ED-4B06-8A7E-F5E93D9EF003","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3c99d5d71465a4e7121352666aa9490fc501a4b","datavalue":{"value":"This paper is part of the program of reverse mathematics [see \\textit{S. G. Simpson}, Subsystems of second order arithmetic (Springer, Berlin) (1999; Zbl 0909.03048) for an introduction to this subject] and deals with existence and uniqueness of rank functions for directed graphs.    Over the weak base theory \\(\\text{RCA}_0\\) the system \\(\\text{ATR}_0\\) is shown to be equivalent to the existence of a rank function for every countable well-founded directed graph. To prove uniqueness of the rank function \\(\\text{RCA}_0\\) suffices. If the notion of rank is extended to non-well-founded graphs by assigning \\(\\infty\\) to the vertices in the non-well-founded part of the graph then \\(\\Pi^1_1-\\text{CA}_0\\) turns out to be necessary and sufficient for the proof. Finally, \\(\\text{ACA}_0\\) is the precise measure of the strength of the fact that a path bounded graph has a rank bounded by \\(\\omega\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590191$046BEEC8-8A0C-43E1-A07C-E6B670F097AF","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":"Q1590191$966D1AA9-021D-4F4F-8512-B9B783237493","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590191$DE40A1CA-2D30-4744-8A91-FB880B6E4884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590191$E6A49B1B-9CB3-419B-8153-DFF81FE32B63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ec7e667411001e978ed091061e02925c4b30700","datavalue":{"value":"1545482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590191$7CE2F5CE-5D8F-40E7-B154-52B233AEFD6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590191$B68EBD31-5A6C-4EE1-908F-C1F1A30DB0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4b98b5353082f5ae3dd3eedbb2c57d8903e4ca5","datavalue":{"value":"directed graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590191$E4CFB41A-8931-425B-8B73-290CB7A374C8","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":"Q1590191$0A2969C2-46A0-41FF-BBC2-954A4B06B040","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a865559e4dee82ae00e8d5075e4a80e4f0cdd883","datavalue":{"value":"https://doi.org/10.1007/s001530050165","type":"string"},"datatype":"url"},"type":"statement","id":"Q1590191$07778AD2-A235-4249-8744-FA48A5A1D7B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fd02a6947f7989ba44050fc81c0c9882f2020ea","datavalue":{"value":"W2088241483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590191$99836786-D038-46FC-ADF2-887ED1104A4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b74acc1df2f123a2bea2b7ec9f3f408ea8a3ffd9","datavalue":{"value":"10.1007/S001530050165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590191$941DC30C-46BE-4197-A859-AC73AEF40D4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a25715e272281c76f2a72c852823c660f77ce55","datavalue":{"value":{"entity-type":"item","numeric-id":3840692,"id":"Q3840692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb66cd9d1b5bdac65d3b60649f7d8a973db0c01f","datavalue":{"value":{"amount":"+0.7962451577186584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1590191$88C13CE6-5DA9-4254-B7AE-961F208A1827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe29de82faaaac7a257576571ecdeb8658839b4","datavalue":{"value":{"amount":"+0.7961860299110413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1590191$104DC34B-CC1F-48C0-9155-3542FF092324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c248fab3d2b7d61b3558f086abea4f8db9e9595f","datavalue":{"value":{"entity-type":"item","numeric-id":4224080,"id":"Q4224080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7fcd8b2764a546fdab722a5199d8b9c03245be","datavalue":{"value":{"amount":"+0.7557743787765503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1590191$5167A0E2-8620-4044-BA5C-2DF7E019FF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9dffd742df7b4133cf956d248793fed2440a26","datavalue":{"value":{"entity-type":"item","numeric-id":4440538,"id":"Q4440538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7fcd8b2764a546fdab722a5199d8b9c03245be","datavalue":{"value":{"amount":"+0.7557743787765503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1590191$9B4550B1-8FED-4218-AAF3-E1668C753E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ed35a102b8072e030e1cc6aa80d90d841ec65e","datavalue":{"value":{"entity-type":"item","numeric-id":3117776,"id":"Q3117776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e61f98df4b7a12db78b855921ae7010002f627","datavalue":{"value":{"amount":"+0.7464540004730225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1590191$03B4D781-AB14-4FA0-9EE1-1C3FE4A7C438","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reverse mathematics and rank functions for directed graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reverse_mathematics_and_rank_functions_for_directed_graphs"}}}}}