{"entities":{"Q5959740":{"pageid":8136542,"ns":120,"title":"Item:Q5959740","lastrevid":47766862,"modified":"2026-01-02T15:37:46Z","type":"item","id":"Q5959740","labels":{"en":{"language":"en","value":"Fine analysis of the quasi-orderings on the power set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1726723"}},"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":"Q5959740$E1E8326D-BD52-46DF-9DA7-598993C38646","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62da2119d763348044b13296f169e5019cf52628","datavalue":{"value":{"text":"Fine analysis of the quasi-orderings on the power set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5959740$9AE71C30-AA86-4AE5-BB30-D8C12BCD7A7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b44b199c9e9806b1e871bb813bd1d4e3846ef47e","datavalue":{"value":"0996.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959740$C0ABBC62-BF35-4968-B789-F8CDD6CE50F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79585ddc825b73b372fa25137d0ff106b10ae0c5","datavalue":{"value":"10.1023/A:1013952225669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959740$18E0123F-5F5B-44C5-97ED-AD17B62C83D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647f4d17eb87bf327562a875e1fc7cdb8bf682b0","datavalue":{"value":{"entity-type":"item","numeric-id":238867,"id":"Q238867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959740$2184D35D-2225-4688-ACD0-05CFB11F67BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959740$76BBD4E2-C27F-4886-9717-82EF007E9C82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d18439a648c68971434e67c4d3438eb872bd034f","datavalue":{"value":{"time":"+2002-04-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":"Q5959740$856208F0-C022-45C3-B158-5CFC051D01D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"611591f3037216876af35e3aaa2b6a3f7e1bd1fe","datavalue":{"value":"Let \\((Q,\\preceq)\\) be a quasi-ordered set, \\({\\mathfrak P}(Q)\\) its power set, \\({\\mathfrak P}_f(Q)\\) the set of its finite subsets, and \\({\\mathfrak P}_c(Q)\\) the set of all countable subsets of \\(Q\\). For \\(X,Y\\in{\\mathfrak P}(Q)\\) we put \\(X\\preceq^\\exists_\\forall Y\\) if each \\(x\\in X\\) is majorized by some \\(y\\in Y\\), and \\(X\\preceq^\\forall_\\exists Y\\) if each \\(y\\in Y\\) is minorized by some \\(x\\in X\\). Let \\([{\\mathbf N}]^{<\\omega}\\) resp. \\([{\\mathbf N}]^\\omega\\) be the set of all finite resp. infinite subsets of the set \\({\\mathbf N}\\) of natural numbers. A set \\(B\\subseteq [{\\mathbf N}]^{<\\omega}\\) is called a block if (i) \\(B\\) is infinite, (ii) \\(\\forall X\\in [\\bigcup B]^\\omega\\) \\(\\exists s\\in B\\) such that \\(s\\) is a proper initial segment of \\(X\\), and (iii) \\(\\forall s,t\\in B\\Rightarrow s\\) is no proper initial segment of \\(t\\). \\(B\\) is called a barrier if it satisfies (i) and (ii) and (iii)\\('\\) \\(\\forall s,t\\in B\\Rightarrow s\\) is no proper initial segment of \\(t\\). And a barrier \\(B\\) is called smooth if for all \\(s,t\\in B\\) with the length \\(l(s)\\) of \\(s\\) less than \\(l(t)\\) there exists \\(i< l(s)\\) such that \\(s(i)< t(i)\\). For a countable ordinal \\(\\alpha\\) and a quasi-order \\(\\preceq\\) on \\(Q\\) this \\(\\preceq\\) is said to be \\(\\alpha\\)-wqo (wqo abbreviates well-quasi-ordered) if for every barrier \\(B\\) with order type \\(\\leq\\alpha\\) every map \\(f: B\\to Q\\) is good with respect to \\(\\preceq\\). (If \\(\\preceq\\) is an \\(\\alpha\\)-wqo for every countable \\(\\alpha\\), then \\(\\preceq\\) is a bqo (= better-quasi-order).)   Then the main result of the paper is that for any quasi-ordered set \\((Q,\\preceq)\\) and any infinite countable indecomposable ordinal \\(\\alpha\\) the following are equivalent: (i) \\(Q\\) is \\((\\alpha\\bullet \\omega)\\)-wqo with respect to \\(\\preceq\\), (ii) \\({\\mathfrak P}(Q)\\) is \\(\\alpha\\)-wqo with respect to \\(\\preceq^\\exists_\\forall\\), (iii) \\({\\mathfrak P}_c(Q)\\) is \\(\\alpha\\)-wqo with respect to \\(\\preceq^\\exists_\\forall\\), (iv) \\({\\mathfrak P}(Q)\\) is \\(\\alpha\\)-wqo with respect to \\(\\preceq^\\forall_\\exists\\), (v) \\({\\mathfrak P}_f(Q)\\) is \\(\\alpha\\)-wqo with respect to \\(\\preceq^\\forall_\\exists\\). This then implies also the equivalence of the statements which arise from the before-mentioned by exchanging \\(\\alpha\\)-wqo by better-quasi-orered. A negative answer to the following question of Abdulla is obtained: If \\(Q\\) is wqo with respect to \\(\\preceq\\), does this imply that \\({\\mathfrak P}_f(Q)\\) is wqo with respect to \\(\\preceq^\\forall_\\exists\\)?","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959740$27AE2E95-B164-4064-A777-A4EBE9358E1B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c80e484e125b4b2e6f1eb4b1b0abd66d7cb4aba7","datavalue":{"value":{"entity-type":"item","numeric-id":587966,"id":"Q587966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959740$62BB279E-3D22-446C-BF08-B41EE78314C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959740$5DFF2389-974A-4ED3-A53C-CE638D6B6DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959740$8BE13AE0-7CB2-4176-95AB-E184F7CAC860","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"423e3677cd1dd81a5c2799e8518e22ff58bd0df7","datavalue":{"value":"1726723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959740$AACC7263-9302-493D-AEA3-047905C05688","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61612d2c44c27cb5c35558dacb2542ca738b00c1","datavalue":{"value":"well quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959740$C01E0F4B-FDC8-4242-A3B6-002D9F339587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a22d73a1e634cf02c694acdb79439d0678cd42b","datavalue":{"value":"better quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959740$7A2ECE60-09DD-4BE7-878A-F9B6B97ACD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4417fbe70cb1930908552c1d0852a4de386ed6","datavalue":{"value":"power set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959740$468A7EC4-62ED-4BD8-9D07-BB01C88672A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afa9a580137e747d661c5fac28bb61c6fa6c2eea","datavalue":{"value":"quasi-ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959740$C597B6B1-80E4-401D-8988-78F108CD9A43","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":"Q5959740$75F35311-673D-4DBD-9CD6-D0CA5D924124","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd4da48b717f24204ba394669ed4c0c6d04d215d","datavalue":{"value":"https://doi.org/10.1023/a:1013952225669","type":"string"},"datatype":"url"},"type":"statement","id":"Q5959740$29B98C7B-8FE3-4A78-8ACA-65C998BB3D74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57fd86c9730fdf289e73b7bec97cb0144be15a64","datavalue":{"value":"W178720230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959740$333DF6FA-2D73-43F9-8643-C96F755BE9A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5997ac4c2ca1f4f0847d91e5d000164c17a8c1dd","datavalue":{"value":{"entity-type":"item","numeric-id":4316958,"id":"Q4316958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e84c90185c79a6ace559a99ab8b1d7d2dd9531","datavalue":{"value":{"amount":"+0.8310580849647522","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":"Q5959740$59791406-3AC1-40AA-9BA5-27E033F306DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc206919f8a2d117709370d4fe530747651ef3c7","datavalue":{"value":{"entity-type":"item","numeric-id":1607015,"id":"Q1607015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e84c90185c79a6ace559a99ab8b1d7d2dd9531","datavalue":{"value":{"amount":"+0.8310580849647522","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":"Q5959740$94560F8E-3112-4B47-BD0A-EF88AE4694AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f43894e5beae82546c070dd12916480b9452bd","datavalue":{"value":{"entity-type":"item","numeric-id":3691785,"id":"Q3691785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7e6b713f51e29f0dbc722f5deee319631c1c66","datavalue":{"value":{"amount":"+0.8119224309921265","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":"Q5959740$9288173C-238E-4945-9300-C7424B47618A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a759d557ab96a0b572dc4cf5b93fb60698f015e2","datavalue":{"value":{"entity-type":"item","numeric-id":3295144,"id":"Q3295144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac999c3f97433fd759acb25d1c10e7318cd678c","datavalue":{"value":{"amount":"+0.8034263849258423","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":"Q5959740$330E295D-65C1-4FB8-8F9A-90655280091F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ab39a622c9b9688b8edf75a5405489962af878","datavalue":{"value":{"entity-type":"item","numeric-id":1120606,"id":"Q1120606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d545f4f1110815b04fb947c68a36df11f658a1c2","datavalue":{"value":{"amount":"+0.7990667819976807","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":"Q5959740$717C052D-DB45-4B7D-8354-8876849171AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5959740","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5959740"}}}}}