{"entities":{"Q1344244":{"pageid":1354983,"ns":120,"title":"Item:Q1344244","lastrevid":81170003,"modified":"2026-05-06T17:53:51Z","type":"item","id":"Q1344244","labels":{"en":{"language":"en","value":"Cardinals of countable cofinality and eventual domination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 720842"}},"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":"Q1344244$57BE02B6-4861-46B1-A9D5-0CB5E7C6A40A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4d27b666bb2c3289dd9e4a5f321d96547daa92b","datavalue":{"value":{"text":"Cardinals of countable cofinality and eventual domination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344244$77567FC1-9DE9-4901-A350-B709158133CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f130d75343f086a10c03ba083291c8d3c24f9724","datavalue":{"value":"0817.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344244$89B99572-A8EA-4077-AA23-DF48F54075D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6ab9b1d45ea228898d62ec7a4b4388e68dd724f","datavalue":{"value":"10.1007/BF02115813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344244$D41C080E-C853-4E86-B1D6-B2D9AF34C4D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e32568e9d3084d3db53b4864dd435df107f26d28","datavalue":{"value":{"entity-type":"item","numeric-id":251390,"id":"Q251390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344244$70BC594D-CEB6-45D1-B44F-333C7F20555E","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":"Q1344244$271B159B-6913-493E-BCEC-AFA793935962","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b99a96e44ac25cec2bad39b6415c82143facdae","datavalue":{"value":{"time":"+1995-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344244$399764CB-0BB9-4392-8915-95693368E8C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c964dcd5d1113e361b65bc7e647eba6af0884c20","datavalue":{"value":"Let \\((L,<)\\) be a linearly ordered set, \\(^ \\omega L\\) the set of all functions from the set \\(\\omega\\) of natural numbers to \\(L\\). For \\(f\\) and \\(g\\) in \\(^ \\omega L\\) the eventual domination order \\(\\prec\\) is defined by \\(f\\prec g\\) iff there exists an \\(m\\) such that \\(f(n)< g(n)\\) for each \\(n\\geq m\\). For partially ordered sets \\((P, <)\\), \\((Q, <)\\) a function \\(f: P\\to Q\\) is called an embedding if it is strictly isotone. This paper considers embeddability of partially ordered sets into others, in particular for \\(\\omega\\)-sequences of ordinals below certain ordinals of countable cofinality; the simplest case is \\(^ \\omega\\omega\\).   The first part of the paper establishes several theorems of an embeddability calculus. The main purpose of this calculus is to obtain from the embeddability of certain partially ordered sets the embeddability of more complex ones. In particular, strongly indecomposable ordinals \\(\\lambda> 1\\) (i.e. ordinals satisfying: \\(\\alpha,\\beta< \\lambda\\Rightarrow \\alpha\\cdot \\beta< \\lambda)\\) which have countable cofinality (that means: are the upper limit of a countable sequence of ordinals) are studied. Typical results: Cor.10. If \\(\\mu\\) is an infinite cardinal number, then \\((^ \\omega\\alpha, \\prec)\\) embeds in \\((^ \\omega(\\mu^ \\omega),\\prec)\\) for each \\(\\alpha< \\mu^ +\\) (= the successor cardinal of \\(\\mu\\)). Cor.11. If \\(\\lambda\\) is a cardinal of countable cofinality, and if \\(\\sigma\\) is \\(\\lambda^ +\\), then \\((^ \\omega(\\sigma^ n), \\prec)\\) embeds in \\((^ \\omega\\lambda, \\prec)\\) for each natural \\(n\\). (Here, exponentiation is ordinal exponentiation).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344244$BF63EBEE-3A8E-4B79-AB29-B63A785DF3BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344244$401B4BB4-AE17-4B0D-AD06-2BD0B9796425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344244$BA5F4922-8E84-4BCF-8E3C-49CDCE7A3087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344244$6CC4E758-0F44-4185-91C6-79D7EAD26B07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6086c26f7fd20308cfedc400d74d53aea5176797","datavalue":{"value":"720842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344244$F3021F85-8320-490B-9FB7-6DE7541E388B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d9f26a006983cde28bb39b5a61d92cb51799c50","datavalue":{"value":"eventual domination order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344244$ECE67726-8A29-45FB-BC71-AB5A0E17027F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d28ecd65fc26284f1f89993a80c34e65410024","datavalue":{"value":"embeddability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344244$8F5173EA-AB67-4F85-85C3-08E6E4493EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedf903784eeba0fa13d8545c010927ac8abaf15","datavalue":{"value":"partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344244$2D41E9A7-DE2D-4AAE-966F-E717F6B24189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3caedeafe72267d2503ea04f20f4706daa2bc87","datavalue":{"value":"\\(\\omega\\)-sequences of ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344244$C7F9EC15-8FC1-41B0-9394-E2D591C739DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f94c0676b81c7c242bb8be03bb4e363fcca1fcf","datavalue":{"value":"strongly indecomposable ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344244$46C810CB-8D91-4FCE-B507-E521C0999042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f99f8f504acc41cd35b8349e9dac290c4eca8a3","datavalue":{"value":"countable cofinality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344244$CA14A79A-CA5A-4103-A7E9-BE721F4CF882","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":"Q1344244$D7DAAD98-6CFD-49AC-93AB-9852662A05F1","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":"Q1344244$BD1D7DA9-7263-4635-9E64-7E1AA5F8B7D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"100b65a5987fbeb41d25d1ec0bb12156e174298a","datavalue":{"value":{"entity-type":"item","numeric-id":4106206,"id":"Q4106206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344244$A2062628-1AC3-4C4C-86AB-DF294789BFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ff7de896a8a8a2db54238c737dd65cf35efc83","datavalue":{"value":{"entity-type":"item","numeric-id":3765764,"id":"Q3765764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344244$14EC7DEC-115C-43FD-A371-22EB83EDAF48","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":"Q1344244$8B874924-EE03-4331-BA0D-CB7EF4A50733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9983a27c1813c0c709127bbbc8ece8ef08af8ac","datavalue":{"value":{"entity-type":"item","numeric-id":1325962,"id":"Q1325962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344244$51751686-A2FB-4D98-AFCE-A33DAB49283A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52d3cbbf5b1d10f834eac89486290d714489e152","datavalue":{"value":{"entity-type":"item","numeric-id":3985077,"id":"Q3985077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344244$769247CF-6098-4EEC-8DAF-5BA5C16B6839","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a9507a71b5c56936182d7889a65cda16b08d019","datavalue":{"value":"https://doi.org/10.1007/bf02115813","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344244$C0BD234B-D16B-433F-BFA6-5F1510096BF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1317fbab23f234a773e8b3438b8f40853cce5b2d","datavalue":{"value":"W1984954712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344244$600C7FAA-3935-4E22-A33A-06EDAEF0445C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b462086a14935f76dd8418e886eb0e6d02a45e5","datavalue":{"value":{"entity-type":"item","numeric-id":4895457,"id":"Q4895457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb58b7221757604448515e141088323f7cb61746","datavalue":{"value":{"amount":"+0.7776820659637451","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":"Q1344244$E29E3F7A-CCA6-403E-8461-3142ECC02FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf6b14d979c4e5bd2a6a02e0fc8f4223ac167a9","datavalue":{"value":{"entity-type":"item","numeric-id":2755004,"id":"Q2755004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb58b7221757604448515e141088323f7cb61746","datavalue":{"value":{"amount":"+0.7776820659637451","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":"Q1344244$FE645E70-F8D4-4CD0-863F-FE470A3C9C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86f562d508ce890653dabf550f225b20976c6dd","datavalue":{"value":{"entity-type":"item","numeric-id":3684113,"id":"Q3684113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e89f89105fb7ecfa5ffd3aa1aa074f9b3ef56e","datavalue":{"value":{"amount":"+0.7715255618095398","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":"Q1344244$41A5ED07-EBD4-4DFB-8B8C-46E488DAED68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"156ed53b3b6cd704043e2ab140e7b84d5eb5dc5c","datavalue":{"value":{"entity-type":"item","numeric-id":1374672,"id":"Q1374672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e006ed71d35a704befc5de0941a244b578261720","datavalue":{"value":{"amount":"+0.7257028818130493","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":"Q1344244$DD2D9A8D-40E4-43C1-84E6-C100E7572B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ccffeacd398756e2f9e0d19b1876691ce8717a8","datavalue":{"value":{"entity-type":"item","numeric-id":3697058,"id":"Q3697058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda0473e757f8458ea048e34cf3f8b619a7283ac","datavalue":{"value":{"amount":"+0.7252302169799805","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":"Q1344244$3178738A-AD6C-4297-BC65-DEFCB82DBE82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cardinals of countable cofinality and eventual domination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cardinals_of_countable_cofinality_and_eventual_domination"}}}}}