{"entities":{"Q283108":{"pageid":284875,"ns":120,"title":"Item:Q283108","lastrevid":60685515,"modified":"2026-04-10T18:30:17Z","type":"item","id":"Q283108","labels":{"en":{"language":"en","value":"No decreasing sequence of cardinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580188"}},"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":"Q283108$2A1F7697-E5D5-442E-BD85-076DF67A9232","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14a7a1d3b008b7a99818fc4e8a5415f0b00b5f23","datavalue":{"value":{"text":"No decreasing sequence of cardinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283108$0975E4E1-598F-433C-9F63-3574F353F23A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f72c3de34aaa2fee4e096dff0b0b6bb4c503bee6","datavalue":{"value":"1339.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283108$1EF90E3A-0CAA-47AA-8D0B-D2A89C2C808F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50f303799cab122deffb07d136620bb6246c179e","datavalue":{"value":{"entity-type":"item","numeric-id":283107,"id":"Q283107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$EF93FFA6-1FAC-4513-BB38-3CA638453904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"503b81bbf4da2a3728dd91c902bbde5f1ed33230","datavalue":{"value":{"entity-type":"item","numeric-id":1097267,"id":"Q1097267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$547BF397-179B-4655-AF89-29BF6C80EAFE","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":"Q283108$EFA3DE06-3186-45CE-B271-4C2ABA01E3D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283108$3AF7F98D-49DE-43E5-B228-BE115B8EE494","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4542bee8c71f32f5aed9acbf72aa4e970d72f143","datavalue":{"value":"For sets \\(x\\) and \\(y\\), \\(x\\prec y\\) means there is a one-to-one function \\(g: x\\rightarrow y\\), but no one-to-one function \\(h: y\\rightarrow x\\). NDS is the following principle: there is no function \\(f\\) on \\(\\omega\\) such that \\(\\forall n\\in\\omega\\; f(n+1)\\prec f(n)\\). A venerable open question asks: Does NDS imply AC?  The authors investigate the set theoretic strength of NDS in set theory without the Axiom of Choice (AC). Two variants of AC appear in this article: \\(\\mathrm{AC}^{\\mathrm{LO}} \\) and \\(\\mathrm{AC}^{\\mathrm{WO}}\\). The first is the restriction of AC to linearly ordered families of non-empty sets, and the second is the restriction of AC to well-ordered families of non-empty sets. In ZF, AC and \\(\\mathrm{AC}^{\\mathrm{LO}}\\) are equivalent, but they are not equivalent in ZFA (Zermelo-Fraenkel set theory with atoms) [\\textit{P. E. Howard} and \\textit{J. E. Rubin}, Fundam. Math. 97, 111--122 (1977; Zbl 0365.02051)].  Using FM models, one old and one new, the authors show that in ZFA, \\(\\mathrm{AC}^{\\mathrm{LO}} \\) does not imply NDS. Thus, it is also the case that \\(\\mathrm{AC}^{\\mathrm{WO}}\\) does not imply NDS in ZFA. With the aid of a known symmetric model of ZF, the authors also show that \\(\\text{AC}^{\\text{WO}}\\) does not imply NDS in ZF. This particular result leads to the conclusion that ``Every Dedekind finite set is finite'' (DF = F) does not imply NDS. (A theorem of Tarski shows that NDS implies DF = F.) Finally, using the Halpern/Howard permutation model, the authors establish that ``\\(\\forall m \\text{ infinite }\\, m+m=m\\)'' does not imply NDS in ZFA.","type":"string"},"datatype":"string"},"type":"statement","id":"Q283108$C0EA916E-5CD7-48A2-A03D-8045A0109F2A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$F02396DF-F05E-4117-874A-8E85B06EC412","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283108$E2F3878F-4CEF-448E-8E02-B0A956D07E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283108$210C7AC0-1D7D-4D21-8786-C5F9752872AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37a58486de3355fde2442e4dd093d9851dfda498","datavalue":{"value":"6580188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283108$62767CBB-F3BC-44E3-B832-6B983E0F8521","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q283108$B16FE622-5316-4863-8F7F-EC58B0764E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b6a6655d78fb1599b2ee2c8eacb2e0666dee97","datavalue":{"value":"weak axioms of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q283108$8A8F1B4C-D8DE-4DE8-9725-A433C07F426E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b304f848696aae71712363dd52bee532b9da3619","datavalue":{"value":"cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q283108$5D8E5D5E-F635-46B5-9363-8CAE4DB4345B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57d96f249a706042dcfd10ec27693798dc526776","datavalue":{"value":"decreasing sequence of cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q283108$3BB5907F-1118-4B85-9C6A-2C25CA26071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fd46eb805ee96acadef423e874eb29e2267060c","datavalue":{"value":"Dedekind-finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q283108$92A410E0-414A-4F2C-8CD0-549AE4D25F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69d42c25ae3e408853ca0c1fe926f1a6306fe542","datavalue":{"value":"Dedekind sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q283108$B697A86A-B537-450B-90D6-EE68E3074B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f60a4b6b8ad0aa01d43be52979714ef82da27f6c","datavalue":{"value":"permutation models of ZFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q283108$AFC24069-E278-4367-8422-694ACDCF9D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba34f242ee9a81c296d69bea154143181988ab71","datavalue":{"value":"symmetric models of ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q283108$A7154E20-75F7-475A-8678-CDF80E7F6CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b8f184f8e8e1dfdd9635d0cc6b254c04f856d1","datavalue":{"value":"Jech-Sochor embedding theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q283108$6A6BE8B6-B705-4300-A3AE-C221CAF35795","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":"Q283108$5BC9232C-D3E5-4252-84B2-6C7F510C2416","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"470bb6c4d22c3027815af82fca428daf79c6da2c","datavalue":{"value":"https://doi.org/10.1007/s00153-015-0472-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q283108$151DF091-3B95-4AB5-88C5-2290E6728540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ff42f5cae472a9d288ea61352faa87bff0db26f","datavalue":{"value":"W2280660603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283108$D3ED2D2A-E4E4-4A88-90BC-1FB84EDCE8A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c9b203e0cb6754b6ba04713fead06a72050234e","datavalue":{"value":{"entity-type":"item","numeric-id":752710,"id":"Q752710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$07B30D33-D633-4164-942C-90666F9989A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97535c16ff9110182a78f8ecf62c340fe59baa5","datavalue":{"value":{"entity-type":"item","numeric-id":5586268,"id":"Q5586268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$8B7E754F-5D43-422B-8C7D-356497051C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada2ef80c5d73ebc98a5c15984d16ab9a246d00c","datavalue":{"value":{"entity-type":"item","numeric-id":4041578,"id":"Q4041578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$C9243561-875F-4034-8C1A-BE3484F27F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5da022dd52f047310af2c26f4dfb1ed291dde7","datavalue":{"value":{"entity-type":"item","numeric-id":1906673,"id":"Q1906673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$71897C3F-F82B-4278-BD67-54DDD29FCC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e76cd78bfbcd16a8abbf905275904ad1d2cf75","datavalue":{"value":{"entity-type":"item","numeric-id":4141246,"id":"Q4141246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$AF1AD226-04E5-40C1-8251-4E92490E8145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$E750C20C-FBCE-4B07-A87F-68BFE88E148D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6385baa4809f7ac784c0493e168229e02beb6cc2","datavalue":{"value":{"entity-type":"item","numeric-id":4063446,"id":"Q4063446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$473735F4-1605-4DBF-B691-B232981097D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143a1e9b94b9ee5ce3f03d2edf8e4d348f3e55b1","datavalue":{"value":{"entity-type":"item","numeric-id":5420361,"id":"Q5420361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$53CFB657-1D50-4D27-A1AA-BACF2D1D1E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$CAD4B42C-9D17-4B77-AA11-D72FC0A462F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854453734ce24c43dbb75876d8ebf58288567023","datavalue":{"value":{"entity-type":"item","numeric-id":5331492,"id":"Q5331492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$48F12FB9-2453-47F3-BC9B-88BF526C23B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da86d122e48ca47a994dd19a2ed1baa918b81c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3960633,"id":"Q3960633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$C892ACFC-871A-45FA-AB55-AD1177A12C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef4f7ca08d0ceffc703d3bcaac76445e46f8873","datavalue":{"value":{"entity-type":"item","numeric-id":3872443,"id":"Q3872443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$C0C0319B-B818-4952-B8B7-167FDA896D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec3b26941f177039a11d7b1a700116255f4707ae","datavalue":{"value":{"entity-type":"item","numeric-id":4304795,"id":"Q4304795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$0A18D675-73A3-45EA-B446-43ABA4516EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$69DB2C3C-A2A0-417C-BDA9-84A57C8F754F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9b63a5ec197245020c41bb171bf897b842da35","datavalue":{"value":{"entity-type":"item","numeric-id":4168606,"id":"Q4168606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283108$9906253D-AD6A-4751-B34F-4F1970771717","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5f873c5d4110a259b42cef1c64da72f3e1d1cb3","datavalue":{"value":"10.1007/S00153-015-0472-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283108$46105503-8661-45D1-9F72-C0D60F2E1BDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7cfc435a063e3d99a4f90ca7d04697c6750db5","datavalue":{"value":{"entity-type":"item","numeric-id":4581990,"id":"Q4581990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d946760181a71bc7ae12302df8ec07b61d7312d1","datavalue":{"value":{"amount":"+0.7698258757591248","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":"Q283108$968EEA8B-7E03-4992-AB3F-BD6BADFBCC9D","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":"4f8de29bbf4013aa56e4841ed9c10ded69b4a78a","datavalue":{"value":{"amount":"+0.7588986754417419","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":"Q283108$DEA17FEE-62AC-41B8-87BD-8410CE936254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b269630f1463679c825e6f0d64aa3c30f995c3b","datavalue":{"value":{"entity-type":"item","numeric-id":4379927,"id":"Q4379927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8a73767de86d6ddc4405f8d2b35aae5c7046ff","datavalue":{"value":{"amount":"+0.7397342324256897","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":"Q283108$3AFD3D20-7C15-4D9D-B75D-7D5328BDB8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72fe445bf071b08d45883d9db9fc2614e86985a6","datavalue":{"value":{"entity-type":"item","numeric-id":3460248,"id":"Q3460248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"514f041c318cfd418bce14de6baa5e35bca2a26e","datavalue":{"value":{"amount":"+0.7391731142997742","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":"Q283108$7E61CC0B-278F-4F42-8CD9-8B3C07D330BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf419b83e94ce876c17d54b5815883aa4d3215aa","datavalue":{"value":{"entity-type":"item","numeric-id":908905,"id":"Q908905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b52518baf9b427e3384d45c0e8082816c367f7","datavalue":{"value":{"amount":"+0.738572359085083","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":"Q283108$A073754C-373D-4901-93B5-38CAA001B5EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"No decreasing sequence of cardinals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/No_decreasing_sequence_of_cardinals"}}}}}