{"entities":{"Q878148":{"pageid":879996,"ns":120,"title":"Item:Q878148","lastrevid":65065308,"modified":"2026-04-12T00:05:08Z","type":"item","id":"Q878148","labels":{"en":{"language":"en","value":"Countably complementable linear orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5146176"}},"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":"Q878148$F358113B-E8A0-4F92-AD67-F0F98A4B9B37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d18bac45af73794071863bd3bb5b7baec8b3bbb","datavalue":{"value":{"text":"Countably complementable linear orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q878148$9376F25E-BF67-438F-9F97-557E8EA6EB0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"350b6882e3bfabccf6d697d64458253b7f9ad204","datavalue":{"value":"1121.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878148$F91CE947-071E-49F5-B7FA-1F3D4AA81A77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ce5ab41f7629f8f674c94fed05f6d1f4b53855","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878148$BBA3367D-CEF0-42C7-8CEB-4D0719CB0D64","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":"Q878148$45C6A60A-6CF6-42CC-BECC-B4CB1DD3708D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"018eb3d5a1529ba4d911dfe810dafc033402deeb","datavalue":{"value":{"time":"+2007-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q878148$9473A78B-6E01-4F3D-81BF-9C6D1D23D776","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51e8c75e71eb29e3afe20ea44beb325b9e9c868a","datavalue":{"value":"Let \\({\\mathbf L}\\) denote the set of countable linear orderings, and \\(\\preccurlyeq\\) the embeddability relation. Given \\({\\mathcal L}\\in{\\mathbf L}\\), let \\({\\mathbf L}({\\mathcal L})= \\{{\\mathcal B}\\in{\\mathbf L}:{\\mathcal L}\\npreceq{\\mathcal B}\\}\\). A countable linear ordering \\({\\mathcal L}\\) is said to be countably complementable if there exists a linear ordering \\(\\overline{\\mathcal L}\\), possibly uncountable, such that for every countable linear ordering \\({\\mathcal B}\\) there holds \\({\\mathcal B}\\in{\\mathbf L}({\\mathcal L})\\Leftrightarrow{\\mathcal B}\\preceq\\overline{\\mathcal L}\\). For \\({\\mathcal L}\\in{\\mathbf L}\\) the following is defined:  (1) \\({\\mathcal L}\\) has the finitely faithful extension property if for all \\({\\mathcal A},{\\mathcal B}\\in{\\mathbf L}({\\mathcal L})\\) there exists \\({\\mathcal C}\\in{\\mathbf L}({\\mathcal L})\\) such that \\({\\mathcal A}\\preceq{\\mathcal C}\\) and \\({\\mathcal B}\\preceq{\\mathcal C}\\).  (2) \\({\\mathcal L}\\) has the completely faithful extension property if for every set \\(\\{{\\mathcal A}_i: i\\in\\omega\\}\\subseteq{\\mathbf L}({\\mathcal L})\\) there exists \\({\\mathcal C}\\in{\\mathbf L}({\\mathcal L})\\) such that \\((\\forall i\\in\\omega)\\) \\({\\mathcal A}_i\\preceq{\\mathcal C}\\).  (3) \\({\\mathcal L}\\) has the totally faithful extension property if for every set \\(\\{{\\mathcal A}_i: i\\in\\omega\\}\\subseteq{\\mathbf L}({\\mathcal L})\\) that is totally ordered by embeddability there exists \\({\\mathcal C}\\in{\\mathbf L}({\\mathcal L})\\) such that \\((\\forall i\\in\\omega)\\) \\({\\mathcal A}_i\\preceq{\\mathcal C}\\).  The main theorem of this paper gives four characterization of countable linear orderings that are countably complementable. In particular the following three properties are equivalent: \\({\\mathcal L}\\) is countably complementable, \\({\\mathcal L}\\) has the completely faithful extension property, \\({\\mathcal L}\\) has the finitely faithful extension property. \\textit{R. Fra\u00efss\u00e9} [C. R. Acad. Sci., Paris 226, 1330--1331 (1948; Zbl 0034.17604)] had mentioned the following conjecture: For all countable linear orderings \\({\\mathcal L},{\\mathcal C}_0,{\\mathcal C}_1,\\dots\\), if for every \\({\\mathcal C}\\) such that \\(\\forall n\\,({\\mathcal C}_n\\preceq{\\mathcal C})\\) we have that \\({\\mathcal L}\\preceq{\\mathcal C}\\), then there is some \\(n\\) such that \\({\\mathcal L}\\preceq{\\mathcal C}_n\\). This had been shown to be false, but for the case where \\({\\mathcal C}_0\\preceq {\\mathcal C}_1\\preceq{\\mathcal C}_2\\preceq\\dots\\) it is now proved, answering a question of \\textit{J. G. Rosenstein} [Linear orderings. Academic Press, New York (1982; Zbl 0488.04002)]. For it is shown that every countable linear ordering has the totally faithful extension property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q878148$A78F6DCE-1345-4503-81B7-F4181D057203","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":"Q878148$320753AE-0211-4FC6-8E3B-0CEDED0F84BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878148$725BEA20-E5AF-4BE4-8449-2A29DF5612D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc90f0821522c99b24c6231ea1c8d14407f26e5e","datavalue":{"value":"5146176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878148$9CE34D71-0790-4AD2-8D79-B9668C155FF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d66314c33132acdb3f896a97e6acbc9d2eb191e3","datavalue":{"value":"countable linear ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q878148$5B1BEBBE-9DC6-4587-82D3-75744F7768F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5801949df1a914fbff7ef3b789425b663a74a970","datavalue":{"value":"extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q878148$A15211B1-A538-4E91-BC2C-2CDFB7AC1D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d28ecd65fc26284f1f89993a80c34e65410024","datavalue":{"value":"embeddability","type":"string"},"datatype":"string"},"type":"statement","id":"Q878148$326FE018-B794-45E3-B69B-04720F60A316","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":"Q878148$03084F26-4162-4F79-8EF9-F90FA32A7ACD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f947f233e52d6c3240b2e0609928465c64230654","datavalue":{"value":"https://doi.org/10.1007/s11083-006-9049-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q878148$F5FAB3CD-8EF0-4F73-B572-349EE0A707E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e562f29c3c08122d86240492afac8f8a05a6df2","datavalue":{"value":"W1997631835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878148$9D4CE116-4214-4A8A-95D3-1E816E87A1BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b5bd6e185ebddb91519d63dcaafb1fc04808bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3964625,"id":"Q3964625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878148$0E6E8182-7BD2-4A8F-A040-8A8CD92EFB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb36a9ce618f22cc3a7f31f973287a4173a806ae","datavalue":{"value":{"entity-type":"item","numeric-id":1425651,"id":"Q1425651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878148$6673A3CC-E67B-4FA9-BE9D-82A0CB2A40D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c779b2f1a565b8c9f0408c582444d3500554b1","datavalue":{"value":{"entity-type":"item","numeric-id":5791703,"id":"Q5791703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878148$54E2721F-06CB-49B1-A6A9-40910CB565AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53df4ea1d5adf9fadc54aabb27e9b91268fb1cf8","datavalue":{"value":{"entity-type":"item","numeric-id":1591661,"id":"Q1591661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878148$1CD9117F-4168-4EF4-A3F4-F9E9F243D947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"710aba7c945359d409426a6972f7d60a2585e290","datavalue":{"value":{"entity-type":"item","numeric-id":4126365,"id":"Q4126365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878148$BD011A39-1AEE-4BF5-884E-23F1CDB4D446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaac4799f84669fc9c359a7aa963bae760c3d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3867845,"id":"Q3867845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878148$222FE052-5BCC-46E1-9D55-2FC2EEB55197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd75fa562171f1bc8488c55c38ad826341f610ad","datavalue":{"value":{"entity-type":"item","numeric-id":2543669,"id":"Q2543669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878148$9997F6AD-D666-4BE7-9609-1FA0F3E2124A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa198449e94216f6426cad818b0afbe610455fc","datavalue":{"value":{"entity-type":"item","numeric-id":3594486,"id":"Q3594486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878148$8DA9EAD2-FE89-42C3-AFE5-B62F8D118644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2505f5ad53376d4802526b19c43e6ca33b004ce3","datavalue":{"value":{"entity-type":"item","numeric-id":2368905,"id":"Q2368905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878148$D803C54E-E72D-4F16-8120-6ADB888A2E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878148$CEE6C4FB-B9A7-488D-906D-C877F4E5A276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607ded5234c26c38df472a520c18577c89b874cc","datavalue":{"value":{"entity-type":"item","numeric-id":4764120,"id":"Q4764120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878148$6CECBEBF-5356-44D2-BD5F-2825ED4065C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e52210860d885973198f41645ba28fae79edb48","datavalue":{"value":"10.1007/S11083-006-9049-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878148$97BE2E85-FDE2-4147-B17E-5441377733F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"248bc06b03ae43548669722835bf8466c554ce9a","datavalue":{"value":{"entity-type":"item","numeric-id":5148100,"id":"Q5148100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f02b70d0be2397985fcfd24fe7cb3027907010","datavalue":{"value":{"amount":"+0.7361615896224976","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":"Q878148$1FBA57C4-171E-48AD-A032-FC8E72DDAE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b749a25ad8c31b3c9861ce061407265b796b3d11","datavalue":{"value":{"entity-type":"item","numeric-id":1295404,"id":"Q1295404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8b56717d672068ee6bf76d76ccd70deff2ba36","datavalue":{"value":{"amount":"+0.7341368794441223","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":"Q878148$4CB2A383-7A12-4A46-AE0A-B60C4E305172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4915b2057a6fa159f4613730493b6ee566194d38","datavalue":{"value":{"entity-type":"item","numeric-id":4389695,"id":"Q4389695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d371d8c050dd3715c83b13f9e746c14dab50054f","datavalue":{"value":{"amount":"+0.7303248047828674","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":"Q878148$3D6284DF-4425-4085-8C8D-3D3BDBD2C885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c18517693957386422478525d0653d535a3b838","datavalue":{"value":{"entity-type":"item","numeric-id":3216704,"id":"Q3216704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e2ef383f06fba37dc0f59c6f96f422b7f6f3ddd","datavalue":{"value":{"amount":"+0.7240740060806274","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":"Q878148$57172BB8-EC71-4AB0-BE6A-15176A99F304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17503f7e3ab1f78eba828c60c0994607b66e867c","datavalue":{"value":{"entity-type":"item","numeric-id":1089362,"id":"Q1089362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998171ae27a62b5510586d779a583dfbfda7fbd2","datavalue":{"value":{"amount":"+0.723708987236023","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":"Q878148$93DE5AEE-2E74-4F87-9A85-2115969F06C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Countably complementable linear orderings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Countably_complementable_linear_orderings"}}}}}