{"entities":{"Q679674":{"pageid":681523,"ns":120,"title":"Item:Q679674","lastrevid":63533598,"modified":"2026-04-11T13:48:39Z","type":"item","id":"Q679674","labels":{"en":{"language":"en","value":"On a theorem of Hans L\u00e4uchli"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6827902"}},"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":"Q679674$490BF13A-0CA6-48C2-8D58-02448B50A707","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3465c1b2bad3dc6ba2569c7eba21dc50b2a9c05c","datavalue":{"value":{"text":"On a theorem of Hans L\u00e4uchli","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q679674$01F81863-53AE-40F2-A5A2-4C303E44A24C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d8747c57e7e8501819c09d61a3409fe02db42c4","datavalue":{"value":"1402.05067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679674$76602D48-B826-49D5-8E60-26D5AAC83D98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51868178005b1ccd2fb0be01bd1abeb60a7fe1b4","datavalue":{"value":"10.4171/EM/339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679674$A2613096-203E-43F3-B6CF-F2A149696B2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fff03d82c55b167a961db265da48818e02be2d05","datavalue":{"value":{"entity-type":"item","numeric-id":209696,"id":"Q209696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679674$3F551E22-80F5-4DCD-B7A7-26839732D05C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"255223deab9a614645300983eff9e9b445f432d0","datavalue":{"value":{"entity-type":"item","numeric-id":207920,"id":"Q207920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679674$DA49BA5E-7D01-4DD1-91B2-14C7959F63EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3706de551438a6e783012180a02b770ee4195f88","datavalue":{"value":{"time":"+2018-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q679674$4E3197FE-9EBC-431B-AC1D-A2F4D6412769","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78b2f85c66efe2e8e138eaaa83552afb216c3eee","datavalue":{"value":"Let \\(n\\) be a natural number and \\(P(n)\\) be the following statement: If all finite subgraphs of a graph \\(G\\) are \\(n\\)-colorable, then \\(G\\) is \\(n\\)-colorable. From results of \\textit{J. Mycielsky} [Acta Math. Acad. Sci. Hung. 12, 125--129 (1961; Zbl 0100.19404)] and \\textit{H. L\u00e4uchli} [Isr. J. Math. 9, 422--429 (1971; Zbl 0261.04002)] it follows that \\(P(m) \\leftrightarrow P(n)\\) for all \\(m,n \\geq 3\\). The result heavily relies on the Boolean prime ideal theorem, and L\u00e4uchli stated the problem to give a ``direct'' proof for \\(P(3) \\rightarrow P(4)\\).  The paper under review solves this problem, i.e. it proves that \\(P(3) \\rightarrow P(4)\\) without using the Boolean prime ideal theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q679674$9F1F40F7-5A65-46CC-A6F2-7B6C84375CD9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"aa3f4d5545344faa301bf2faa8b4fe965316aaa9","datavalue":{"value":{"entity-type":"item","numeric-id":311517,"id":"Q311517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679674$45E2CE8E-26D1-4925-B13D-48C748F220AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679674$D51E4278-DC2B-4EBD-AF1C-56081435A34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679674$D1E2E8DF-8C5B-43CD-845B-55CBFFE0F6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679674$4F085F5B-79EC-429B-A474-CE0C127F42DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9729428b7f3faff6f70db9a7fa765e75946ff6b6","datavalue":{"value":"05C63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679674$5DEF509B-9E31-48A2-9DE6-D4C6040FDFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679674$5BD1D029-C5DD-4E1E-99D9-AD3CF48E3A96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f188e62db6017d05c065aab3ee0eebe9191eed4d","datavalue":{"value":"6827902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679674$8FCB2871-49D1-45C5-9AAA-2511D0DD5B7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32478fd2aed385faa1920f6050cdb2b21b21c991","datavalue":{"value":"infinite graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q679674$509B6478-EFA1-43AB-A995-DD2606017857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b999a30face15aad7449f079f4627b1e5e0eb2bc","datavalue":{"value":"coloring","type":"string"},"datatype":"string"},"type":"statement","id":"Q679674$2F75BE81-D176-4AF9-99AC-06F32A7C821B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q679674$CC242266-E2C6-46C9-A508-5AA415B50E19","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":"Q679674$DC305CF0-F6EE-415C-A083-445A5B92BD37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4685123d28f54cf6b1fb0f130b80b3b5d0af975","datavalue":{"value":"https://doi.org/10.4171/em/339","type":"string"},"datatype":"url"},"type":"statement","id":"Q679674$0C268BB7-2DA2-42DE-A055-AA158D3E40AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f593e0458cf58ec5f6d108ab1080f494d440a83b","datavalue":{"value":"W2761891999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679674$B4032183-7A98-4B7D-8A38-B41CE5663538","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1435129525f875bb64d2617331d382cb3172199","datavalue":{"value":{"entity-type":"item","numeric-id":627256,"id":"Q627256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2728aea455eceff48e4e09bef30784694e9039f3","datavalue":{"value":{"amount":"+0.925364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679674$18635BEA-E32B-4294-83C8-1BB05516689D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755b03f5ea54c8da7ff91818f4df70e4c8e372f8","datavalue":{"value":{"entity-type":"item","numeric-id":3983025,"id":"Q3983025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f45525c2fe10d6d940ccdcb1cda500565f4f8b","datavalue":{"value":{"amount":"+0.91157526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679674$3C301CF0-5531-4BE7-8C8F-767F466AB9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939918c74c0c10970c3d0962ec3a99404de0d9dd","datavalue":{"value":{"entity-type":"item","numeric-id":5598281,"id":"Q5598281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcd33d8ebdfe73e022007e5511a994920dc00157","datavalue":{"value":{"amount":"+0.91046935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679674$683CD84D-D867-4D36-95FD-1732BC98C222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38fdaa3478ea64aa3603500ef08c567c8d852f31","datavalue":{"value":{"entity-type":"item","numeric-id":1392397,"id":"Q1392397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e7a81a6eb95f168827f5f4e136153adce9cb85","datavalue":{"value":{"amount":"+0.90923285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679674$117ABF87-F1FD-40D1-B057-80263932D685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e3449bf7a5d0cfb96aedecde8d9218a301407f","datavalue":{"value":{"entity-type":"item","numeric-id":4029125,"id":"Q4029125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c79652a81c514edbf4ab49c38a208b457576e91","datavalue":{"value":{"amount":"+0.9085611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679674$007EBCD6-AD53-4E0E-9221-5A0B30CA0B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a46f02c716ff5dd0947efce4b449e21c0a4e7e7d","datavalue":{"value":{"entity-type":"item","numeric-id":4375011,"id":"Q4375011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd99e0ebfab8afc5fcc987179420cfa53e7f815","datavalue":{"value":{"amount":"+0.90656304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679674$5AD836F7-8E7D-4C16-9AD2-C4831971277E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbfc02a550d16f0ffdd9a21d2d2d871a0d1c5123","datavalue":{"value":{"entity-type":"item","numeric-id":3385371,"id":"Q3385371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b17570426df06b2b55bd6dd1d4d905defd97a8","datavalue":{"value":{"amount":"+0.9065391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679674$C2AC98A5-1C02-4154-894E-4F27974C5155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9ac2caf87383fa8d2e52ce65d45a22bafe9890","datavalue":{"value":{"entity-type":"item","numeric-id":5206217,"id":"Q5206217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3e73fa28545332d8ca91b8bd7942137872eb23","datavalue":{"value":{"amount":"+0.90492594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679674$DFC8117C-62F8-454F-A5AE-52860F2F8F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92230f7780e379e5d4cc5e272f87fa4b55ea7f05","datavalue":{"value":{"entity-type":"item","numeric-id":1068330,"id":"Q1068330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ddf857eddde72f032f46678c6f136fc0fc98108","datavalue":{"value":{"amount":"+0.90479946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679674$C7190C07-F28B-4A18-825A-4656FAA96ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48492154571bc52e1bf32a36a8403b2d41b450d","datavalue":{"value":{"entity-type":"item","numeric-id":5776925,"id":"Q5776925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cca40a2f7249b21559fc28c9d3fcd1cf437d613","datavalue":{"value":{"amount":"+0.904283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q679674$895C91B4-D1EF-4290-B53D-582DE12CFECA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a theorem of Hans L\u00e4uchli","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_theorem_of_Hans_L%C3%A4uchli"}}}}}