{"entities":{"Q335003":{"pageid":336770,"ns":120,"title":"Item:Q335003","lastrevid":42234635,"modified":"2025-06-02T20:45:37Z","type":"item","id":"Q335003","labels":{"en":{"language":"en","value":"Reverse mathematics and marriage problems with finitely many solutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6646575"}},"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":"Q335003$30ED285F-AFF5-4B8C-9949-BD7365420B71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"659d378935214b257b4ae79d0141a555efcd7624","datavalue":{"value":{"text":"Reverse mathematics and marriage problems with finitely many solutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q335003$7190867D-EED8-47B5-8EEB-8ECFC089B59B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9b33b0950715cfc355dbdd6a78da3deeda8621e","datavalue":{"value":"1355.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335003$D6629A79-E31F-4DA6-85E7-FE4B76CD5853","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":"Q335003$0328D4C8-FCDF-48F9-BED7-F3581A493BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c87db1e8e89813cfd2c2bbe72096effefc0ce34","datavalue":{"value":{"entity-type":"item","numeric-id":335002,"id":"Q335002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335003$2872D962-E11E-47F6-B02F-D8B6E476B5A8","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":"Q335003$B1F91D00-266C-4992-AE2D-737E613B2487","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e889f7549615622ee2318a0d7c37075384a627","datavalue":{"value":{"time":"+2016-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q335003$90A6CC7A-E0CB-4A4E-81A4-3985F4AA3DE3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"17ae2c9c87435a196a475bcbaa32e2926d46b22f","datavalue":{"value":"This paper is a follow up to [the first author, Contemp. Math. 106, 181--196 (1990; Zbl 0701.03032)] and [the authors, Arch. Math. Logic 55, No. 7--8, 1015--1024 (2016; Zbl 1355.03011)], dealing with the reverse mathematics of marriage theorems.  By a \\textit{marriage theorem} we mean the statement of a necessary and sufficient condition for the existence of a solution to a marriage problem. By a \\textit{marriage problem} we mean a triple \\((B,G,R)\\) where \\(B\\) is a set of ``boys'', \\(G\\) is a set of ``girls'' and \\(R \\subseteq B\\times G\\) is the ``acquaintance relation'' between boys and girls. A \\textit{solution} to a marriage problem is an injection from \\(B\\) to \\(G\\) mapping each boy to a girl he is acquainted with. A marriage problem is called: (1) \\textit{finite} if \\(B\\) and \\(G\\) are finite sets, (2) \\textit{with finite acquaintance} if each boy knows only finitely many girls, (3) \\textit{bounded} if there is a function bounding the number of girls that a boy is acquainted with. The pattern emerging from Hirst's first results [loc. cit.] is the following: Finite marriage theorems (such as \\textit{P. Hall}'s, see [J. Lond. Math. Soc. 10, 26--30 (1935; Zbl 0010.34503)]) are provable in \\(\\mathrm{RCA}_0\\), bounded marriage problems are equivalent to \\(\\mathrm{WKL}_0\\), and infinite marriage theorems with finite acquaintance (such as \\textit{M. Hall jun.}'s, see [Bull. Am. Math. Soc. 54, 922--926 (1948; Zbl 0032.27101)]) are equivalent to \\(\\mathrm{ACA}_0\\). The results of Hirst and Hughes in [loc. cit.] essentially confirmed this pattern for theorems stating conditions on the existence of \\textit{unique solutions}. The present paper further confirms this pattern for theorems stating conditions on the existence of \\textit{finitely many solutions}. For example, the following marriage theorem is equivalent to \\(\\mathrm{WKL}_0\\): A bounded marriage problem \\(M=(B,G,R)\\) has exactly \\(k\\) solutions if and only if there is a finite set \\(F \\subseteq B\\) such that \\(M\\) restricted to \\(F\\) has exactly \\(k\\) solutions, each of which extends uniquely to a solution of \\(M\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q335003$5ED4EBB2-37FE-4514-9AD7-E1E3774736B3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8847d770f840c14f9f44fd9e3d78ace9e17cd9ea","datavalue":{"value":{"entity-type":"item","numeric-id":440009,"id":"Q440009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335003$BAA613A9-1188-4D8A-8954-4D40685F55F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335003$A88224B5-4039-4169-815D-506178522364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335003$983A3F12-FC41-444E-92BC-6189453811C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1ad1bf428b79a0176d62afa9a160b2a17f8d9ea9","datavalue":{"value":"05D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335003$A1B68226-21A3-49E0-9555-D13AA9F84705","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc81c98cf58ff9c114d8b5c7dd75df0e08d92e67","datavalue":{"value":"6646575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335003$8ECEC02E-A88B-43D4-AB48-8AE855970171","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q335003$5654B722-A29F-478A-9F1F-88B83CCB0AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8676b57fea3e3bf98c49148fa54c3738df4a56e1","datavalue":{"value":"marriage theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q335003$3B487BC5-D411-4B55-AF04-5B247237D2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc771f9c4cbb132a4fb9368403bb895cba44b70","datavalue":{"value":"matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q335003$CDDF53C9-5BF8-4819-B6BC-CE0ADD854C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3187e84c5efaed03d0bd9515713a70084404d3ee","datavalue":{"value":"bipartite graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q335003$2FAC76BA-6E38-449A-8C2F-E95989153872","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":"Q335003$1760B613-2459-401C-831F-C210086EB804","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ba403f697665e46e665756b839fd769c326d045","datavalue":{"value":"https://doi.org/10.1007/s00153-016-0509-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q335003$8459D99E-CF5C-4676-BFC6-D5D28069BC36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"660980c3a45651787f0fe52b414979bacd6beff6","datavalue":{"value":"W2523057038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335003$0748BB24-FB07-40C3-B17E-F9AA59C24284","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"615b32b89ea0740b12aaf1a75327f5b5de390d97","datavalue":{"value":{"entity-type":"item","numeric-id":4090304,"id":"Q4090304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335003$A3E84051-DA04-4403-9E89-04DBAE09F803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c89702d8fb705ac6c6a0bf8e894346d7d15cdaf","datavalue":{"value":{"entity-type":"item","numeric-id":3478406,"id":"Q3478406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335003$11016336-09A5-47D0-A535-84596B49553E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5184f2726889d0dec63985cbab635df3236dc256","datavalue":{"value":{"entity-type":"item","numeric-id":5440172,"id":"Q5440172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335003$C1F8672C-C965-4394-BA78-40E627E93CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18896db7665befb88d2d351f3fbab462faa325af","datavalue":{"value":{"entity-type":"item","numeric-id":2257105,"id":"Q2257105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335003$E18A71E8-AA67-48C9-8A68-0FB06B2E8127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335003$5E947BAC-5714-4C27-A797-AEA4924B872A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"517f6b0849244e2c81c995f26b4d40ef25bc53b4","datavalue":{"value":"10.1007/S00153-016-0509-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335003$8684229C-7D85-4BFD-976E-5A762E2A1C48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018005b99abd065877cbcf1147881cd871ab8af8","datavalue":{"value":{"entity-type":"item","numeric-id":2257105,"id":"Q2257105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09963ef534fc7219d3ddf334a529991c952a23f2","datavalue":{"value":{"amount":"+0.8738899","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335003$1765CB6C-589E-4E30-BFB9-02961EA03434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8af3a6f7250a833bcc195d35cd5b0cd507719c5","datavalue":{"value":{"entity-type":"item","numeric-id":5419204,"id":"Q5419204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b11dd3406cf2ff8c14751a706f11579499dffd5","datavalue":{"value":{"amount":"+0.8522401","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335003$1C5E1555-7323-4630-B571-57DC444B82F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4de55d9257875d2470980badac09ad2b1dcb796","datavalue":{"value":{"entity-type":"item","numeric-id":3100219,"id":"Q3100219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697ee5493789c27582a63790831d40a47771cf39","datavalue":{"value":{"amount":"+0.73178744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335003$A3D0FF55-6512-45EF-8D8B-AB17743486E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ecb46d41bd8418721dc936e6f54d425b85efcc0","datavalue":{"value":{"entity-type":"item","numeric-id":3478406,"id":"Q3478406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde8dcaaf5b15b7840cc74858886d8ef80cb07c7","datavalue":{"value":{"amount":"+0.7109852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335003$86D9CBD5-F43C-4229-BEA1-76EEBB552D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a4699307d090265ad675c4558ab146231c8f02f","datavalue":{"value":{"entity-type":"item","numeric-id":5711878,"id":"Q5711878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f253dab14e2314b7aa9dfe54e489e766572795a","datavalue":{"value":{"amount":"+0.7102841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335003$FFBCC2F2-B12A-4899-99A6-8CE6F93CA9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7c04b83fa28baa0f34c2e43aa1728e66f1cc05a","datavalue":{"value":{"entity-type":"item","numeric-id":5903315,"id":"Q5903315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f0b24cd0539dda93945796860d0addff809b00","datavalue":{"value":{"amount":"+0.65548843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335003$B7CBA76C-2DC7-4F2C-A875-49727BB26D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39064f0b240580ef6ec333cba80ebd600ea62d6f","datavalue":{"value":{"entity-type":"item","numeric-id":2672158,"id":"Q2672158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd972006664834335a39ed50a99251b9bd57e207","datavalue":{"value":{"amount":"+0.64700997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335003$88B94447-6079-490E-8C01-7952601ADDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0746ab003dd15d8fa557f36c9e19fbcfc9064d59","datavalue":{"value":{"entity-type":"item","numeric-id":5004961,"id":"Q5004961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e793bd77234adf8e4582707d9fca077e18f831","datavalue":{"value":{"amount":"+0.64352936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335003$439CF5E5-64AC-4875-A672-2C599AA65818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b1e026a50fc7af54d902312ecaa1427f3e8ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5313381,"id":"Q5313381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f73766d640cb55a94acbbc6425e7f0915a3504","datavalue":{"value":{"amount":"+0.64198035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335003$32A4BEF9-746A-4EC7-8D8B-BC5557296354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f166abf1146e3697ae8bc68f9cebb7b750daafbe","datavalue":{"value":{"entity-type":"item","numeric-id":5320933,"id":"Q5320933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82738e25f48ef78cb596310e0bca68c3e157094b","datavalue":{"value":{"amount":"+0.63745683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335003$D3EF0AA2-5156-4C00-9055-E57C974F480B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:335003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:335003"}}}}}