{"entities":{"Q645983":{"pageid":647832,"ns":120,"title":"Item:Q645983","lastrevid":63261180,"modified":"2026-04-11T11:41:27Z","type":"item","id":"Q645983","labels":{"en":{"language":"en","value":"Tracking chains of \\(\\varSigma_2\\)-elementarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5970594"}},"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":"Q645983$EA1B1379-A1E8-43E8-A2CE-429D0F00DE13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7165d12767b68117c73aaf138260b2c4c614a389","datavalue":{"value":{"text":"Tracking chains of \\(\\varSigma_2\\)-elementarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q645983$4F723E90-437C-4DA6-A9CA-32A776F1131E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38d706eea71231e2d7275189de1f61d45e49ec5e","datavalue":{"value":"1273.03159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645983$9BC124B2-A9AF-465F-A104-F476A48F15C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"821bc81eba82135fa316d0ab20f6acb853e34e11","datavalue":{"value":{"entity-type":"item","numeric-id":186022,"id":"Q186022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$9783AEAC-DD60-4BEF-AB0F-A89AB4BAE7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f21c141d1f4dfddbdbe81814e287bb01978856c","datavalue":{"value":{"entity-type":"item","numeric-id":490675,"id":"Q490675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$287331CC-0770-4524-A32D-25BB5A94A44D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$F5BA1AC3-D91E-4060-A1C1-C7CEEADD6490","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b5b7eb336fcffc8a9f14fec2b171793bea58a94","datavalue":{"value":{"time":"+2011-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q645983$DD4DAF64-2B8E-4055-B986-157C6576D73A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"740356c3d6c2e37f2972f2aab3504a64afcd1810","datavalue":{"value":"The authors have been investigating ordinal numbers using the notion of elementarity. Let \\({\\mathcal R}_0\\) be \\(\\langle\\text{Ord}; \\leq_0\\rangle\\), where \\(\\leq_0\\) is the usual order on Ord. Given \\(n\\), define the expansion \\({\\mathcal R}_n:=\\langle\\text{Ord}; (\\leq_i)_{i\\leq n}\\rangle\\), where \\(\\leq_i\\), \\(i\\leq n\\), are simultaneously given by induction on \\(\\beta\\), \\(\\alpha\\leq_i\\beta:\\Leftrightarrow \\langle\\alpha;(\\leq_i)_{i\\leq n}\\rangle\\prec_{\\Sigma_i}\\langle\\beta; (\\leq_i)_{i\\leq n}\\rangle\\), where \\(\\prec_{\\Sigma_i}\\) is the relation of \\(\\Sigma_i\\)-elementary substructure.   They already investigated \\({\\mathcal R}_1\\) in a number of articles. The taget here is \\({\\mathcal R}_2\\). The main achievement is arithmetical characterizations of \\(\\leq_1\\) and \\(\\leq_2\\). For that purpose, they invent a new tool, TC, the set of tracking chains. A tracking chain, tc, is a finite sequence of finite sequences (of various lengths) of ordinals less than \\(1^\\infty\\) (the proof-theoretic ordinal of the set theory KP\\(\\ell_0\\)), satisfying certain conditions. The formal definition is long and complicated. Shortening the authors' explanation: TC provides a grid on the segment of ordinals \\(< 1^\\infty\\) with high resolution to characterize \\(\\leq_1\\) and \\(\\leq_2\\). Among (many) other results, the ordinal of a tc, the tc of an ordinal, and the relation \\(\\leq_{\\text{TC}}\\) on TC are defined, and the \\(\\leq_0\\)-\\(\\leq_{\\text{TC}}\\) isomorphism is proved. Main results give, for an ordinal \\(\\alpha< 1^\\infty\\), its \\(\\leq_i\\)-predecessor and an equivalent condition of its being \\(\\leq_i\\)-minimal through \\(\\text{tc}(\\alpha)\\) for \\(i= 1,2\\).   The subject being what it is, a huge battery of symbols, notions, lemmas, etc. is mobilized. The authors provide an index page, which helps. Also, they frequently give short useful explanations to definitions, lemmas, and so forth. This article presupposes acquaintance with the subject, particularly \\textit{G. Wilken}'s two papers [ibid. 145, No. 2, 130--161 (2007; Zbl 1117.03063); ibid. 145, No. 2, 162--175 (2007; Zbl 1117.03064)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q645983$C6A536AE-3E62-4EB8-8BAB-ED750169B017","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645983$20B8B0E9-C919-43FE-ACE3-9945A4D7C4AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1c3bed4dfbcd6ee2d5ef91770be798c3173dcd1","datavalue":{"value":"5970594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645983$2E66F9DD-36EA-46C9-B3A1-06CB3906C8CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cbba876bd9daa12d41e37cee779083e3a88dd","datavalue":{"value":"ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q645983$9D7E329F-3B93-429D-AFDD-E017EC555270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b145e4a5289301cf65d658fc42bf17b1bff0230","datavalue":{"value":"ordinal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q645983$96E9F668-F23F-40E5-8F66-00FEACAA6932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1f25b03ea6825d4bd3efca688c37a3c74388da2","datavalue":{"value":"patterns of resemblance","type":"string"},"datatype":"string"},"type":"statement","id":"Q645983$E8AB0733-BC2E-46C3-9515-E4433348200F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e254384c98d1d6f5a615b0dac8476a44da075cab","datavalue":{"value":"elementary substructures","type":"string"},"datatype":"string"},"type":"statement","id":"Q645983$F8DF28A4-502C-4FC0-A854-ACEBE750E610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c432e8a6226b30226129d0c8d67cad43e1063c0b","datavalue":{"value":"tracking chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q645983$68D945EF-8022-40FA-BB9E-EA5CDBCC16D5","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":"Q645983$4AE9400C-D3CB-410B-A475-945A739EAA67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7294cb7662c1a7583c8045f4cbc0b161b529838","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q645983$A11580BE-B8CE-4FC5-88D1-3E69F5A49EC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a161557b2cd2819f4c10c1c704134f62364bfff2","datavalue":{"value":"W1994360600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645983$43439A77-7FA9-4650-9A79-55DCC237837D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f2fe923d8f62c2dbe1c2e8e4eef8d9473c95ff","datavalue":{"value":{"entity-type":"item","numeric-id":1818592,"id":"Q1818592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$09F38956-1A40-4955-B364-14A1CBBA3824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc1b999977ab414cc1ba605d1d9b6ffcfed719d","datavalue":{"value":{"entity-type":"item","numeric-id":5935985,"id":"Q5935985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$109A1CCE-CCA9-4BC8-A23E-2761133A11EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b539fee1e800c535638143f24f76ba15e54f728","datavalue":{"value":{"entity-type":"item","numeric-id":1011757,"id":"Q1011757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$C9EF053A-9012-40EF-8A46-063F83477441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc75bc25baf73bfa99fa413431de6fd64bde4525","datavalue":{"value":{"entity-type":"item","numeric-id":5388725,"id":"Q5388725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$AAA7EC87-00D4-4826-9CDD-C195FD2DDC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24b5b561cde7a5eef6f6e87df461bfda495bb00","datavalue":{"value":{"entity-type":"item","numeric-id":3773877,"id":"Q3773877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$CB72D994-AC8D-40CC-93DE-A4BE01517BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd711b71ea6051ceacdda87196613b99f982fdb8","datavalue":{"value":{"entity-type":"item","numeric-id":2996224,"id":"Q2996224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$E767CE36-EB30-4043-B4FA-C2C2AC3BFEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f93f7f859835ffe23a3e55623c240f09c9b7fb","datavalue":{"value":{"entity-type":"item","numeric-id":3024338,"id":"Q3024338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$FBDE6F7E-85F6-4EC0-A644-26B5C9589B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62fed8d58014db56dba9a10c349587735ceebc4","datavalue":{"value":{"entity-type":"item","numeric-id":850804,"id":"Q850804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$81A46516-A1ED-43B9-BA6F-46AA158D3874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810e56357142979d058b41ff7788e99de832ec01","datavalue":{"value":{"entity-type":"item","numeric-id":866560,"id":"Q866560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$8B585C44-EF38-4468-80F5-23561E0F015C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0847566a887fd2af7e044ace26569dd1de2bbccb","datavalue":{"value":{"entity-type":"item","numeric-id":866561,"id":"Q866561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$B32AF52A-8938-4648-BCCC-39E98B47EFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476ed243c41c1ce27ddebc6d510c28527233154e","datavalue":{"value":{"entity-type":"item","numeric-id":5294032,"id":"Q5294032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645983$CB88F082-94D4-4DE1-9DE1-15C63ABC2793","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8c99b381818ff1f14d7af2738a03f7e8f85c162","datavalue":{"value":"10.1016/J.APAL.2011.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645983$AB4E59AE-8219-442B-BE41-5AE32B2D6928","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb7007e3fdc03d71791c420961ab8b7027d88fc","datavalue":{"value":{"entity-type":"item","numeric-id":5137320,"id":"Q5137320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3208f6cf525a3f45a23b40d8f33c5d52c012fc09","datavalue":{"value":{"amount":"+0.8720120191574097","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":"Q645983$EECA857F-E53F-4C3B-85E5-2A34AEF06376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"304edfa263e742b4a993acdb40a4b85826315561","datavalue":{"value":{"entity-type":"item","numeric-id":1676328,"id":"Q1676328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e5adbcb993df3f99ac143cd1a706fea6c9d82e","datavalue":{"value":{"amount":"+0.7631763815879822","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":"Q645983$27ADFE88-EF58-4601-8EAC-55D076E5C1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f8afb4e30a27c42f683f91a37b93b35c243663","datavalue":{"value":{"entity-type":"item","numeric-id":5935985,"id":"Q5935985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fc550306737f85c6dcd034951d00757ce7cae0","datavalue":{"value":{"amount":"+0.749684751033783","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":"Q645983$9B7E97E3-2E9E-468F-909A-3D8BB3685F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6129edfc061cc5dfb413f54f196afbcd3a24242c","datavalue":{"value":{"entity-type":"item","numeric-id":2257107,"id":"Q2257107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c069f1a49f2d463b47a03191c510747b7c0ac3f","datavalue":{"value":{"amount":"+0.7486944198608398","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":"Q645983$16CB5770-095E-4469-8A08-4B29EB9E6C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5162e7b9c961ce820270ebf5ebbd850250b2f360","datavalue":{"value":{"entity-type":"item","numeric-id":5388725,"id":"Q5388725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c60b0fce51ae94d6a8dc368f1d403cd6765594","datavalue":{"value":{"amount":"+0.7398073673248291","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":"Q645983$9074F831-4298-4E66-AF00-0452A74FF555","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tracking chains of \\(\\varSigma 2\\)-elementarity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tracking_chains_of_%5C(%5CvarSigma_2%5C)-elementarity"}}}}}