{"entities":{"Q675870":{"pageid":677719,"ns":120,"title":"Item:Q675870","lastrevid":63644583,"modified":"2026-04-11T14:34:34Z","type":"item","id":"Q675870","labels":{"en":{"language":"en","value":"Large ordinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 989816"}},"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":"Q675870$2541A6E8-C6F4-4B47-9E57-3E8599414EDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2abb39c5de45fa74db1116ab118272ff4269ac0f","datavalue":{"value":{"text":"Large ordinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q675870$E0D9BD85-A505-4D14-809E-5B313B2284D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6efc027ff412bdb2826dc69b0bf4e4a80db9b7a","datavalue":{"value":"0868.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675870$B74684A7-7FC4-4542-A824-E9A25EB90DD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675870$7805BA38-632A-4E76-8336-3228F8007184","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87168a565eb50952d9404d1076996e4751cbbf1e","datavalue":{"value":{"time":"+1997-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q675870$597DAA90-D984-4C47-8028-A7B31D6A5A7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed49277dab0698f25b9fd9ac6b812c12495e33e5","datavalue":{"value":"https://arxiv.org/abs/math/9411207","type":"string"},"datatype":"url"},"type":"statement","id":"Q675870$07DB0878-902F-43CA-B064-6132025C5FA7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6b9f3f222c68aa4548243c6fcc94eb28c597fb7c","datavalue":{"value":"\\(j:(V_\\lambda,\\in)\\longrightarrow(V_\\lambda,\\in)\\) is a non-trivial elementary embedding and \\(\\kappa\\) is its critical point. \\(\\mathcal A\\) is the closure of \\(\\{j\\}\\) under \\(\\cdot\\), the multiplication of elementary embeddings introduced by Laver. This multiplication satisfies a left distributive law and Laver proved that \\(\\mathcal A\\) is the free left distributive algebra on one generator. \\(\\Gamma=\\{a(\\kappa): a\\in{\\mathcal A}\\}\\) is the set of all critical points of all \\(a\\in{\\mathcal A}\\). The set \\(\\Sigma\\) of \\textit{simple ordinals} is the closure of \\(\\Gamma\\) under the operation \\(a''\\alpha=\\text{sup}\\{a(\\xi):\\xi <\\alpha\\}\\), and \\(\\Omega\\) is the closure of \\(\\Gamma\\) under \\(a^-\\alpha=\\text{min}\\{\\xi:a(\\xi)\\geq\\alpha\\}\\) for all \\(a\\in\\mathcal A\\).    Laver has conjectured that \\(\\Sigma=\\Omega\\). The author proves this equality under an assumption on cyclic left distributive algebras called the Threshold Hypothesis (TH). Using TH the author gives a complete description of \\(\\Omega\\). The paper ends with some numerical evidence for TH.","type":"string"},"datatype":"string"},"type":"statement","id":"Q675870$FD562F0D-5C48-4DC5-A0D0-2669C6308B11","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":"Q675870$138CA923-733E-4764-9C13-5529A7B7D800","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675870$753D5EE6-6488-4BD5-877D-23817616EC61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2d17a275d250a5ba3f4425e8c5a8b5991575616","datavalue":{"value":"989816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675870$9DD6A1DE-B72F-464E-9A7E-7D9D0E03FE24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d30e761e9fd21d9c42b2c32144527be45fee19f","datavalue":{"value":"elementary embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q675870$4C0D6794-8085-4116-9568-C51251F1932A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c351b920d81a7e31dbc1b0b801145d3db4646d","datavalue":{"value":"critical point","type":"string"},"datatype":"string"},"type":"statement","id":"Q675870$5E97D991-BEA9-4F1D-90DC-ECB69EFA4E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"473a05fe0aca4c2dcd2d14852cf173bed07194d1","datavalue":{"value":"left distributive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q675870$0C19E23F-59E5-4050-BCB4-32DF2C163FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5dafe8fa10e9c51ef7feea6b4f9403b8d6a526c","datavalue":{"value":"simple ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q675870$E396CBA6-7D25-43AF-9FDE-134640A03258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9873f02f12f438436f6586b8b9f58c9407e6b02","datavalue":{"value":"Threshold Hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q675870$586808BC-F9C6-4F98-B5C3-1B6F7A947104","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c760fa6fd763a238e3824a780956095b7bc8d741","datavalue":{"value":{"entity-type":"item","numeric-id":585195,"id":"Q585195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675870$B593526D-DA70-4F9D-A4A8-9C73F6D038D5","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":"Q675870$01797154-E46D-4A41-BD72-B5BBF68EEAE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1b3c6478df8751ba6b69b745c5ee5ebe5bf1c1f","datavalue":{"value":"W4210723130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675870$E1BE19CE-7131-4A6F-B0DC-8021FFB2E4CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"554e0462cbca2540c03e138fe835719331b89b8b","datavalue":{"value":{"entity-type":"item","numeric-id":1314541,"id":"Q1314541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675870$8690D885-8C66-42A4-830D-1619DABA4C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102c125c5cfedf796779148a5dd65da8f970ef36","datavalue":{"value":{"entity-type":"item","numeric-id":1369254,"id":"Q1369254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675870$A14B54B2-15A5-4272-8524-9B1A4551434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed8417cee67bd7911d5118d3f32746db9c52fc70","datavalue":{"value":{"entity-type":"item","numeric-id":4293759,"id":"Q4293759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675870$4C996403-8B49-4AAA-B99F-4F8259801764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d458f549766e71abafe85918a9c1854687d66d19","datavalue":{"value":{"entity-type":"item","numeric-id":3214928,"id":"Q3214928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675870$3C4D33DD-CC0C-4E92-A568-1E41B6B3E5A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0dafbc044cdcee2911dcb3fa9b0358f306b890","datavalue":{"value":{"entity-type":"item","numeric-id":1188444,"id":"Q1188444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675870$6CDC2A79-D034-469A-957E-82BAC49FC4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72aa151f91fb48670bfb450d26e262d5bd87a45","datavalue":{"value":{"entity-type":"item","numeric-id":1842231,"id":"Q1842231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675870$82B7B7D1-36E5-4416-BDB1-A208A45F454C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc9dec80a868107f8e8d09dc23a51157ea6ad75b","datavalue":{"value":"10.1006/AIMA.1997.1603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675870$09820E69-78B7-4828-BBFB-2DD3E6D27BB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df93434aa76f1d9eacb591e67bc913ccd9b03bae","datavalue":{"value":{"entity-type":"item","numeric-id":1842231,"id":"Q1842231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb22323be82971697eefda36aad1293015d5886","datavalue":{"value":{"amount":"+0.8506355881690979","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":"Q675870$632D360A-B445-48F3-8F63-C478B1535D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baed4f97c9b359755ed4513b24809aa5f1f0b69a","datavalue":{"value":{"entity-type":"item","numeric-id":3837728,"id":"Q3837728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6acd0ce9dafe237eac510c16ca9e7c636f34af2","datavalue":{"value":{"amount":"+0.8199841380119324","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":"Q675870$FE91325C-05FD-4978-9CD8-6CEB068053C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e29a406273688ff504fa50548b23d5b18b6dab2","datavalue":{"value":{"entity-type":"item","numeric-id":1314541,"id":"Q1314541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc071db8c0762514daefb71c9c780f6cb59fe58","datavalue":{"value":{"amount":"+0.8174129724502563","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":"Q675870$2F05F6A1-6E61-4CF5-849C-1041436D2EB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Large ordinals","badges":[]}}}}}