{"entities":{"Q1893142":{"pageid":1903884,"ns":120,"title":"Item:Q1893142","lastrevid":71087211,"modified":"2026-04-13T19:23:47Z","type":"item","id":"Q1893142","labels":{"en":{"language":"en","value":"Well ordered subsets of linearly ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 769233"}},"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":"Q1893142$A3231939-050B-4E0F-BB37-5AEE36DB6151","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bcdc453718036aeab509f8dc22a90daae007ee7","datavalue":{"value":{"text":"Well ordered subsets of linearly ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893142$4B9BBBB5-4E6C-408D-A74C-5085DDC7DE22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8407c6d37d2f9f1aad4ad7c2dfe7544091e9e79","datavalue":{"value":"0827.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893142$4DC47B2D-DCFF-4AD2-B9F3-81237BFC22A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893142$85F426E9-2683-4AE4-8FD5-5097955D8C99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35560ff9834a057879868809cad32ac850730b23","datavalue":{"value":{"time":"+1995-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893142$066F94A4-C6A4-448F-8429-0B6C718F0ABF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d7623601e5feb401320bc12fb72a2ba3e79035c","datavalue":{"value":"The authors investigate the strength of Davis' theorem LFC in the hierarchy of weak choice principles. LFC is the assertion that linear orders with the fixed point property for monotone mappings are complete. LFC is in strength between CF and DS. Here CF is the axiom that every linearly ordered set has a cofinal well-ordered subset. DS is the statement that a linear ordering without an infinite descending subsequence is a well-ordering. The main result of the paper is the construction of Fraenkel-Mostowski permutation models which show that DS does not imply LFC and LFC does not imply CF.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893142$2DA765EF-150C-4C2B-ADE0-8D1BA309C490","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893142$894AFFD5-4EFC-4BA0-98FE-18E067A7BC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893142$87940C92-619C-4C2F-A96C-C7955BABB4B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e8a51c8281ea373a35d5e1de527188753f47c29","datavalue":{"value":"769233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893142$54C82CBF-C2FE-4765-A989-41DFC2A640DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f23b602311b8dd52591b00fa5b9ab51ab1cfe74","datavalue":{"value":"hierarchy of weak choice principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893142$769A39E0-0053-444E-800A-ECC835607E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cffe289f9a925cfcb97b35eadb9d25d45ead8c50","datavalue":{"value":"LFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893142$8E25AFF3-8EEB-42FB-ACC4-881344FB3EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a95117eca4562916655982de035b721507a45dcd","datavalue":{"value":"linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893142$0052FD03-9645-4FCA-AC62-99E11F0E9FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4af3e573c37512545d4dd2737c896674104b5c","datavalue":{"value":"fixed point property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893142$3C71BAC5-2C8E-4A3C-8B46-D09D9EA5D08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38d37de185e921a3923d91caeb1e1daf821b872","datavalue":{"value":"CF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893142$3CEFF500-A8A7-4518-A681-64AB5B61BE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb8180effe1d395009a394ba4a1d92650ee1a87b","datavalue":{"value":"DS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893142$C88C733E-2685-4926-B567-A2B698153F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69235f81b7fc121d83d2998a48a98fe2899f5326","datavalue":{"value":"well-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893142$6632FE62-70AB-431D-A13A-D45363BBCEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c768335a6cdb2734d5d6f3d6377c33d925ce4f7e","datavalue":{"value":"Fraenkel-Mostowski permutation models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893142$02FA2BD3-462B-4CED-9A13-E7E7BFE007C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe39675be74a507e3d14f2b9b3e28dc200c92c1","datavalue":{"value":{"entity-type":"item","numeric-id":1055455,"id":"Q1055455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893142$7836A438-FC99-4593-99F6-1D20678B8CAF","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":"Q1893142$27818E32-7B7F-4716-A8E3-C7130162196F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5fd9f3f0b8e3bd4ab7545fc7b132020a15f97f0c","datavalue":{"value":{"entity-type":"item","numeric-id":793376,"id":"Q793376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893142$ED961E91-D5C5-4AF5-8376-51C444BB3F71","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":"Q1893142$FB421484-B72B-4570-925B-8C4ECD1D3A9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3433898cb8a59be20af24a0599e591d212b91ed","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040511347","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893142$DE2323FA-8180-4245-846D-53DC8C5B86DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e59436647f294d1890bcae497146b3d9f01b0e22","datavalue":{"value":"W1972055552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893142$AA1AEF5E-C6EB-4E1C-9E1F-480A396ECA5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"722e6764a5b1c423f659904eb24f07acea7589ef","datavalue":{"value":{"entity-type":"item","numeric-id":2653568,"id":"Q2653568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893142$DF96EEED-7169-4BE3-949D-3CDB31FF2DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a18628a2dd12c760eef161c11b2cfa0459fa9d9a","datavalue":{"value":{"entity-type":"item","numeric-id":4189279,"id":"Q4189279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893142$77AD22DA-ABF3-4BB2-B7C4-66A63361660A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07262bc2b19a259fe0fd8e8fd83b2d11f97696e8","datavalue":{"value":{"entity-type":"item","numeric-id":3483277,"id":"Q3483277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893142$1EE1CA1F-B944-4ABE-8B8E-C213CDA22654","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":"Q1893142$FE791818-9749-4C1F-9D56-A7D8F896B762","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":"Q1893142$9503E2D6-4B79-416D-A6EA-DC7555477DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29540d0e50c900b5742d58d61c9dca026ec36e8","datavalue":{"value":{"entity-type":"item","numeric-id":4205442,"id":"Q4205442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893142$702C9270-75E8-494A-8982-8BD6265103EC","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":"Q1893142$409EEB00-BA4D-42CC-801F-351BB34C90A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c083cd2ec081a5b4d238527538b4190de97732","datavalue":{"value":{"entity-type":"item","numeric-id":5684668,"id":"Q5684668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893142$7E349E28-269E-474C-A555-3334D8634F69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9ee966dc12356db429999c8d0bf70d41394b1a8","datavalue":{"value":"10.1305/NDJFL/1040511347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893142$F39623BE-7F99-4FE7-AE7B-AFAE2FA38A4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"277aefc827032c90c2335117ab264d70f377e127","datavalue":{"value":{"entity-type":"item","numeric-id":4358048,"id":"Q4358048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbfceba6ea13d5f9e1544c78160bf75939b9f26e","datavalue":{"value":{"amount":"+0.7416497468948364","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":"Q1893142$943804A5-CF1A-4B4A-92BE-B64504EF9426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a0e6e4ed917ccc5fff89267f4ba846bb4b0d99","datavalue":{"value":{"entity-type":"item","numeric-id":3199410,"id":"Q3199410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9866005aea8a0f816c0327edff0f63ad1a6065a4","datavalue":{"value":{"amount":"+0.7238932847976685","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":"Q1893142$9E1D117F-425B-4E42-BB3D-AC84F1402393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b1091cf7ad6f0537aa71f0724841ea69147e48","datavalue":{"value":{"entity-type":"item","numeric-id":2813671,"id":"Q2813671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d480ae6d797674e4075ce9e35396f5989d631532","datavalue":{"value":{"amount":"+0.7198134660720825","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":"Q1893142$8BA11B52-7BF2-45EF-9195-F19ADFEADCCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Well ordered subsets of linearly ordered sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Well_ordered_subsets_of_linearly_ordered_sets"}}}}}