{"entities":{"Q6943785":{"pageid":21166296,"ns":120,"title":"Item:Q6943785","lastrevid":75945972,"modified":"2026-04-21T15:41:31Z","type":"item","id":"Q6943785","labels":{"en":{"language":"en","value":"Local reflections of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8079183"}},"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":"Q6943785$8D58D38F-4357-4D76-8D82-AB3DE5CC5F84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cd5e8905b4da1879c96c1134cefa66acc7557ed","datavalue":{"value":{"text":"Local reflections of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6943785$34EB3D67-F4FE-4C3C-97C0-5DAD2C71AFBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3e8ad8d847ba49652d5f1776a158e089e908830","datavalue":{"value":"10.1007/S10474-025-01533-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943785$C81C1F3E-73B7-4AFB-AEC0-352E206999FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"454e034c8ad0c2398f2191ef606bec8014917e15","datavalue":{"value":{"entity-type":"item","numeric-id":6433748,"id":"Q6433748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943785$1AFB1147-DD4A-4CE6-A884-BA7D6C870BAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943785$C46326FC-CB70-4DE3-9C42-ED9C8E29DB21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c757b9b7db25e8670dea572b24907796ea9667b","datavalue":{"value":{"time":"+2025-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6943785$A54688B8-F234-4F1A-8DB5-EB9B9EDFA1E7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c553428a39bb65a3e3d1a89b787201053c3e7008","datavalue":{"value":"For sets \\(X\\), \\(Y\\), \\(\\vert X\\vert \\leq \\vert Y\\vert \\) means that there is an injection \\(X \\rightarrow Y\\), and for \\(X \\neq \\emptyset\\), \\(\\vert X\\vert \\leq^* \\vert Y\\vert \\) means that there is a surjection \\(Y \\rightarrow X\\).\\par \\textit{A. Blass} [Trans. Am. Math. Soc. 255, 31--59 (1979; Zbl 0426.03053)] introduced the small violation of choice, \\(SVC\\): For a set \\(S\\) (known as the \\textit{seed}), \\(SVC(S)\\) is the statement ``for all \\(X\\) there is an ordinal \\(\\eta\\) such that \\(\\vert X\\vert \\leq^* \\vert S \\times \\eta\\vert \\)'' and \\(SVC\\) is the statement \\((\\exists S)SVC(S)\\).\\par Here the author shows that the failure of many choice principles reflect to local properties of \\(S\\). \\(AC_X\\) is the statement ``if \\(Y\\neq \\emptyset\\), \\(\\emptyset \\notin Y\\) and \\(\\vert Y\\vert \\leq \\vert X\\vert \\) then \\(\\prod Y \\neq \\emptyset\\)''. He shows the reflection of \\(DC\\) (dependent choice), \\(AC_{\\lambda}\\) and \\(PP\\) where the partitiion property \\(PP\\) is the statement ``for all \\(X\\) and \\(Y\\), \\(\\vert X\\vert \\leq \\vert Y\\vert \\) iff \\(\\vert X\\vert \\leq^*\\vert Y\\vert \\)''. He shows that \\(SVC(S)\\) implies that the Lindenbaum number of \\(S\\), \\(\\aleph^*(S)\\), is unequal \\(\\aleph_0\\) and this implies that \\(S\\) can be partitioned into \\(\\omega\\) many subsets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943785$E41CE683-928C-4244-BF31-3B5634EA434D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943785$D048367B-82FA-4B3A-837C-5021D38B34F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943785$7D5E5FE3-3493-40F9-8E94-F4D4DCF49D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943785$7B86ACAD-AB02-4CC4-AC26-9D0F753B873A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc177359a3e9f6277e958b75c5976f1c330c1213","datavalue":{"value":"8079183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943785$25C55C02-1DDB-4ED9-8F2C-8CE4F9BAD5EB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943785$A08594EF-073A-48C3-904C-09959299368D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943785$1477A49A-AE17-4A54-86DB-C4D1DB3237EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa11f1c8e0f54d92d61906cc3d02726113bf166","datavalue":{"value":"small violations of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943785$2AF8B29B-15E0-409E-91B2-561201A1838D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b437b12aae23ed4142e2f42bdb263e30d027dd96","datavalue":{"value":"symmetric extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943785$027FEE02-EDB4-439B-BE5E-11F904E6718C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33058c1837dca1f5e86f880e781ea82c9abde625","datavalue":{"value":"Lindenbaum number","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943785$18CA2B62-3B22-4FF0-95F2-689241B96D88","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":"Q6943785$E3AB29A6-025B-402A-B8A2-2B6FB7BB71C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local reflections of choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_reflections_of_choice"}}}}}