{"entities":{"Q760421":{"pageid":762270,"ns":120,"title":"Item:Q760421","lastrevid":64167423,"modified":"2026-04-11T18:05:20Z","type":"item","id":"Q760421","labels":{"en":{"language":"en","value":"Cancellation laws for surjective cardinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3884142"}},"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":"Q760421$82B630EA-59EE-449A-AB84-BFF375E8303A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f669fe46f91eeb12d115d28f69de830692c436b4","datavalue":{"value":{"text":"Cancellation laws for surjective cardinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q760421$1DCE472C-FFE4-4183-854F-73803CE101C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13521597234ba2ea66e4419dc281ca574fad2230","datavalue":{"value":"0555.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760421$4B573403-FB40-4487-9B3F-79E53571AA8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"343c1c713ef5c1db9552902c9c58daf98b166c12","datavalue":{"value":"10.1016/0168-0072(84)90011-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760421$887B185A-E70C-414F-BFFB-75EC07060161","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760421$1454D498-120E-442F-B45C-2D0AEFB11771","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q760421$DEC4F052-8C80-4FDD-8FFD-FEBD0F8CCB3E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2776da95e1638142f9c1047632a56bed16e91d2","datavalue":{"value":"For cardinal numbers x and y, write \\(x\\leq^*y\\) if whenever \\(| X| =x\\) and \\(| Y| =y\\) there is a map from a subset of Y onto X, and write \\(x=^*y\\) for \\(x\\leq^*y\\) and \\(y\\leq^*x\\). The \\(=^*\\)-equivalence classes are called surjective cardinals. This paper contains a number of interesting results concerning surjective cardinals in ZF set theory. (The axiom of choice is not assumed, of course.) Section 2 is devoted to showing that, with the ordering on \\(=^*\\)-equivalence classes defined by (x)\\(\\leq (y)\\Leftrightarrow \\exists z(x+z=^*y)\\), the surjective cardinals form a weak cardinal algebra, as defined in an earlier paper of the author [Proc. London Math. Soc., III. Ser. 27, 577-599 (1973; Zbl 0272.02086)]. Section 3 establishes a number of cancellation laws, including the result \\(kx=^*ky\\Rightarrow x=^*y\\) for any positive integer k. In Section 5 it is shown that the cancellation law \\(kx\\leq^*ky\\Rightarrow x\\leq^*y\\) is unprovable in ZF. (The argument combines permutation methods and forcing.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q760421$9E1C21DA-180B-4321-BD9C-7F134CFA4E05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760421$B9CAAC2B-6509-41F8-BDE3-1F6C6503617F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760421$E091BF22-7A6E-4C27-B9F4-E4C1A71309F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71bcd0176420e882390af59fb0ac7877269bd4a8","datavalue":{"value":"3884142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760421$8667AE67-AD0D-4B2A-8387-9B11B806D39B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea23f8c6b6f971515a94518fbbb2b0a866933228","datavalue":{"value":"surjective cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q760421$E55E7235-5175-4900-AF61-229B6EA082C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27053093570a92fff4e919f3d76d6d1ef93b0691","datavalue":{"value":"ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q760421$2E51723F-4055-408F-AC18-30ABA79D3977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55b98acca6df9b552dc9fe5d6b760fe79912dcef","datavalue":{"value":"weak cardinal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q760421$339A5A46-C2B7-4A0B-8502-6F8D4FE4B00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ccfaefda42c78e35365d860c0ae36f9a0e5b0de","datavalue":{"value":"cancellation laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q760421$7CC02D5D-8DB7-449E-AD9C-B55CED027BF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35fb3eb7a1147d357f99c266e6deda806ba8a90f","datavalue":{"value":{"entity-type":"item","numeric-id":404460,"id":"Q404460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760421$AAE09F5A-F262-48C8-9C5D-1A8462E7AD4C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e895f7d767724f4ff7f1c864b815a28e2d8e0b38","datavalue":{"value":{"entity-type":"item","numeric-id":916652,"id":"Q916652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760421$EB34BF18-65BB-40D4-9359-E0833F018D01","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":"Q760421$614D32CE-809B-4499-88A8-330C49B35D88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ab03622680566390a4e2c146b9a92b676ca426b","datavalue":{"value":"https://doi.org/10.1016/0168-0072(84)90011-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q760421$7D85867C-BEE1-46F1-A868-A602D0B60ED0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff715c245e1f60b67bdffdc6a19cc56d7071dcdf","datavalue":{"value":"W1969351993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760421$C62846EF-7C27-4430-BB23-DCF668FF2AB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"601666ee304d65a5fe8f6e1c68241f7c8925a6bb","datavalue":{"value":{"entity-type":"item","numeric-id":5792047,"id":"Q5792047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760421$FACA05EF-EE99-4733-8BE4-3483E36809D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838ad7ced414e8110ea92648efa79a3209d48e31","datavalue":{"value":{"entity-type":"item","numeric-id":5553271,"id":"Q5553271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760421$61167BC4-3E11-41AB-B3E2-9BE0D89CA343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91207e3ea80ad4741343428c7a4985cc851ef132","datavalue":{"value":{"entity-type":"item","numeric-id":5632569,"id":"Q5632569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760421$EE0305B8-4919-4227-B548-DFEF8A77E8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cedc0ea72d6345f2429ef344824981cf53e8df","datavalue":{"value":{"entity-type":"item","numeric-id":5798134,"id":"Q5798134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760421$D03FB7D5-C3E3-46CA-92BF-8855ABFCF623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b0bbc056c87f3e2fd9e6e6ce06d2f16a30c1cf","datavalue":{"value":{"entity-type":"item","numeric-id":5802110,"id":"Q5802110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760421$A94AD9F2-C5B8-4E43-AAA6-E1003096F6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84e6e99491573435350a43c8c16dad4d320b601","datavalue":{"value":{"entity-type":"item","numeric-id":3214927,"id":"Q3214927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760421$2B7DBD64-4AE9-48DB-AEDD-228BDF12F722","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"babe774922e1844f5abdbbb450ccf3b2f3a5bd6a","datavalue":{"value":{"entity-type":"item","numeric-id":2540423,"id":"Q2540423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1e6264a2a19d6b7cfbbb78ab47425cb0c87e5f","datavalue":{"value":{"amount":"+0.7486988306045532","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":"Q760421$08DE7547-A17F-447B-8644-4EE24D47B871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8864af88304524a00b8c042109349c2a728f02a","datavalue":{"value":{"entity-type":"item","numeric-id":4292590,"id":"Q4292590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d8fdbc55104abba08473e708745662c2b2f549","datavalue":{"value":{"amount":"+0.7244195938110352","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":"Q760421$545024CC-3AE3-4FB3-8979-07E08F4C69FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610dad5b122c868ec3fe71438ba53a07b3f040e0","datavalue":{"value":{"entity-type":"item","numeric-id":5107229,"id":"Q5107229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2b12aabf69e15d5a981914cdc6990e867ca204","datavalue":{"value":{"amount":"+0.7213203310966492","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":"Q760421$94D8926F-1258-4C04-B163-0FC18F9460A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c507d07a7553d7133df1851c54eb56cf737c80c","datavalue":{"value":{"entity-type":"item","numeric-id":2075277,"id":"Q2075277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ba0766255485cb6e750457f25a6d070bf7eb20","datavalue":{"value":{"amount":"+0.7135506868362427","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":"Q760421$47D3B9A2-123B-4DB8-AEAE-39C04CBB7C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b69d9edd95c82d75299a823389b867d90ef80e","datavalue":{"value":{"entity-type":"item","numeric-id":5107228,"id":"Q5107228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"454eba53f44eafee76f4e5a7c9ed422efed53cf6","datavalue":{"value":{"amount":"+0.7067663669586182","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":"Q760421$92A067B6-9F98-49D3-84BD-F77382460649","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cancellation laws for surjective cardinals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cancellation_laws_for_surjective_cardinals"}}}}}