{"entities":{"Q1842231":{"pageid":1852973,"ns":120,"title":"Item:Q1842231","lastrevid":69049395,"modified":"2026-04-13T04:04:58Z","type":"item","id":"Q1842231","labels":{"en":{"language":"en","value":"On the algebra of elementary embeddings of a rank into itself"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 745287"}},"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":"Q1842231$FAF49984-D41F-4666-B8B9-F9612A65F471","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66b8346a39ca0a75a19bbdfe88bcc1ea98cd31c4","datavalue":{"value":{"text":"On the algebra of elementary embeddings of a rank into itself","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1842231$7DD14067-E175-46F7-8708-6741665D77D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"555c152e0928e8e6d9c4aa33fa2a6bafdfface4d","datavalue":{"value":"0822.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842231$6250C86E-EEE8-4E44-A063-0D26F97F299D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15dac46ca7ec95024385e3f51336feee435714ac","datavalue":{"value":{"entity-type":"item","numeric-id":615889,"id":"Q615889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842231$770E2ABF-0B91-45F3-8CBC-30844B551D06","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":"Q1842231$47CDBE4B-8F17-40F3-8272-AB005BF7BEE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1f89572e9489033d625cfe4c8aa1a353f0cb376","datavalue":{"value":{"time":"+1995-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1842231$87E61628-683C-4C37-B013-EDB58C73D491","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e35440d008aabc5da36ceaca7f6db705ea102cef","datavalue":{"value":"https://arxiv.org/abs/math/9204204","type":"string"},"datatype":"url"},"type":"statement","id":"Q1842231$52619E4F-01D7-43C6-965C-1672864B2E9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1331f7066df2714632958d195923891e28096c47","datavalue":{"value":"For \\(\\lambda\\) a limit ordinal \\({\\mathcal E}_ \\lambda\\) is the set of non- identity elementary embeddings from the rank universe \\(V_ \\lambda\\) into itself. The assertion that \\({\\mathcal E}_ \\lambda\\) is non-empty is a strong large cardinal axiom. In addition to the usual composition, \\(j\\circ k\\), of mappings, the elements of \\({\\mathcal E}_ \\lambda\\) can be ``multiplied''. The multiplication \\(j\\cdot k\\) is nonassociative, noncommutative, and satisfies a left distributive law. For \\(j\\in {\\mathcal E}_ \\lambda\\), \\({\\mathcal A}_ j\\) is the closure of \\(\\{j\\}\\) under \\(\\cdot\\) and \\({\\mathcal P}_ j\\) is its closure under both \\(\\cdot\\) and \\(\\circ\\). In the paper reviewed above, the author proved that \\({\\mathcal A}_ j\\) is the free left distributive algebra on one generator and that \\({\\mathcal P}_ j\\) is the free algebra on one generator in a certain variety.    For \\(j\\in {\\mathcal E}_ \\lambda\\), \\(\\text{cr } j\\) denotes the critical point of \\(j\\) and \\(\\text{cr } {\\mathcal A}_ j= \\{\\text{cr } k\\): \\(k\\in {\\mathcal A}_ j\\}\\). Let \\(\\kappa_ n= \\text{cr} (j^ n j)\\), and let \\(f\\) be the function such that \\(f(n)\\) = the cardinality of \\(\\{\\gamma\\in \\text{cr } {\\mathcal A}_ j\\): \\(\\kappa_ n< \\gamma< \\kappa_{n+1}\\}\\). It is reported that an upper bound for \\(f(3)\\) has not been computed and that \\textit{R. Dougherty} [Ann. Pure Appl. Logic 65, No. 3, 211-241 (1993; Zbl 0791.03028)] has calculated a very large lower bound and shown that \\(f\\) eventually dominates the Ackermann function. In this paper the author proves the previously missing result that \\(f(n)\\) is finite for all \\(n\\); i.e., he proves that the order type of \\(\\text{cr } {\\mathcal A}_ j\\) is \\(\\omega\\). This follows from arguments in this paper and results of \\textit{J. R. Steel} [J. Symb. Logic 58, No. 3, 931-940 (1993; Zbl 0804.03038)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842231$4A0C68FE-C466-4055-B443-70656DEF2D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842231$291B3EA1-8D3E-45E6-A68C-699F986C3874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842231$AEF86DD8-4948-4375-9CE2-DD1B0FC56403","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2a209e285c25fcd2e818e90e4995160cd35a07d","datavalue":{"value":"745287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842231$E441A62F-1B52-4FDB-9397-C3B9C0A4925B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe4f25207c4b279095f02f0528895ed8b964a8b6","datavalue":{"value":"elementary embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842231$940EB776-ECBD-4752-BAC1-5BE2C09B0C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"473a05fe0aca4c2dcd2d14852cf173bed07194d1","datavalue":{"value":"left distributive algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842231$7F1614D9-7363-4C22-8B65-A11758B7BA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c351b920d81a7e31dbc1b0b801145d3db4646d","datavalue":{"value":"critical point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842231$EDBCBD05-BA87-4F6D-8577-774000DDD867","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":"Q1842231$DD1473E4-5AFE-43AA-ACD1-007A46893612","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":"Q1842231$44C975B1-4387-4F3C-B962-DC20797B6031","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4e43b46e21792460f7046af698b7b93dab93af7","datavalue":{"value":"W1995613816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842231$AF13CB55-48E2-47CB-9414-95D06C72AEF2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"41ead2ad79529fd52addba4584efb1932d9aa27a","datavalue":{"value":"Q56454531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842231$783EEAB4-8A43-4B36-8332-D145E6CCE8AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98f1698ef7e7e8389d3e609af2ae315405da9461","datavalue":{"value":"10.1006/AIMA.1995.1014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842231$95F2072C-A765-4DEA-B60C-73B55B73994E","rank":"normal"}],"P1643":[{"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":"d9b1af8fd02bd361693fefaa4148009f5faa3678","datavalue":{"value":{"amount":"+0.73319095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842231$B48A8E77-6D92-4D30-80C1-1C9047359BAF","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":"98494dd0219676cac08aa17e06ea516a439fc395","datavalue":{"value":{"amount":"+0.722457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842231$92351737-D98B-45F0-BA0C-283D0C4F6D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbc060e65e0e8943b5c3bf062565a2641747e14","datavalue":{"value":{"entity-type":"item","numeric-id":1188444,"id":"Q1188444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ef38d7f3d730a692403fc5d243d66a9b1a4349","datavalue":{"value":{"amount":"+0.71220624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842231$E1642A62-A419-4A61-8441-3A78F19431D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbc2a1aa65d955ab2cf9753189b52ea8580a6fec","datavalue":{"value":{"entity-type":"item","numeric-id":5351858,"id":"Q5351858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db98088993307a97a5d3c478bb39de99601b163a","datavalue":{"value":{"amount":"+0.68892914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842231$D39FE76D-3FE5-4953-99C0-332E32531806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5c635ebd3ad1220613759181f74be369e6e09db","datavalue":{"value":{"entity-type":"item","numeric-id":675870,"id":"Q675870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3674a9cf543968bef1544162ef78f6651d3da3","datavalue":{"value":{"amount":"+0.68690014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842231$504E49C2-28A6-44EA-BB3C-442063835C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bd2a9cd6f6404bde87cc5c3de1fcba61649d1ff","datavalue":{"value":{"entity-type":"item","numeric-id":3981500,"id":"Q3981500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44dd8669127ec6c1c7c9462fb5a925d6462680fb","datavalue":{"value":{"amount":"+0.6808767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842231$5A840864-5A03-455C-8129-1AFD3DD0E621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b71476f8f7fa667fe371bd248ce139847bb0a07","datavalue":{"value":{"entity-type":"item","numeric-id":1377603,"id":"Q1377603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a15d711fc4a106254cd108f29ba72d1dc7476c","datavalue":{"value":{"amount":"+0.67544025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842231$7B30F0FC-5953-4F91-BD0D-EA2A10628434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0110f46a2654a207447c51a3815012aeb703af7c","datavalue":{"value":{"entity-type":"item","numeric-id":4410017,"id":"Q4410017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e795ef7567444a914c31450c6bc634233bb979f5","datavalue":{"value":{"amount":"+0.6749369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842231$F8017387-FEA6-4A31-9328-37D7A1E60B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cfc83d271fabcd9c6e0a45beacf0557a6a4760c","datavalue":{"value":{"entity-type":"item","numeric-id":5181373,"id":"Q5181373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a4b0bde9d70566384b844213bfbf52dff67a11","datavalue":{"value":{"amount":"+0.65838915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842231$52DD4C7D-40BA-4CE8-BFA1-0D2F071C2F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f60c9131ed36b0a71737102537b3499413577a0","datavalue":{"value":{"entity-type":"item","numeric-id":4340896,"id":"Q4340896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c120f4b8e3cfbc9cbd7009b3d221aa3a3e6ec0e","datavalue":{"value":{"amount":"+0.6541989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842231$97C1C4B0-71B0-4138-9224-C92A3D50CB32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the algebra of elementary embeddings of a rank into itself","badges":[]}}}}}