{"entities":{"Q1204700":{"pageid":1215449,"ns":120,"title":"Item:Q1204700","lastrevid":66345711,"modified":"2026-04-12T09:29:37Z","type":"item","id":"Q1204700","labels":{"en":{"language":"en","value":"Countable skeletons of finitely generated discriminator varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 130791"}},"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":"Q1204700$B7DE2EBE-DDF8-46E9-B144-B8FACDED750A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e62731cd745a12f235f3a4824ad827b0ed6f493","datavalue":{"value":{"text":"Countable skeletons of finitely generated discriminator varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1204700$E301BA89-B4B5-44C2-8A54-ACE990D6748C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bda2fdae6b45db668abe6b241e60e9560e46073e","datavalue":{"value":"0793.08008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204700$4D452600-E7F0-4D33-8E3A-CBAC59B6C175","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7fb34ff842999ea3fc5a4f452e48b5f1560aca2","datavalue":{"value":"10.1007/BF00971111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204700$7CF5D0E5-9207-42A6-96D6-D3A0C3580FF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$2871699D-C363-4556-8BE3-D8A67A5B588A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9212a7c1217db011d72d9deb81aaa3698518e3c8","datavalue":{"value":{"time":"+1993-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1204700$156B85A8-9F6D-47D2-ABD2-A0E60BB0CA47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"90bba9eec2e155802165e6fb5f725c8ea7788eec","datavalue":{"value":"It has been proved in our earlier papers [Algebra Logika 28, No. 5, 597- 607 (1989; Zbl 0708.08005); Sib. Mat. Zh. 31, No. 3, 125-134 (1990; Zbl 0712.08008)] that 1) if \\({\\mathfrak M}\\) is a discriminator variety that is not finitely generated, then \\(\\langle {\\mathfrak {JM}}_{\\aleph_ 0};\\ll\\rangle\\), its countable epimorphism skeleton, contains an uncountable set of pairwise incomparable elements, and if \\({\\mathfrak M}\\) is of finite signature or all \\({\\mathfrak M}\\)-algebras contain one-element subalgebras, then each countable quasiorder can be isomorphically embedded in \\(\\langle {\\mathfrak {JM}}_{\\aleph_ 0};\\ll\\rangle\\); 2) if \\({\\mathfrak M}\\) is a discriminator variety of finite signature that is not locally finite, then each countable partially ordered set can be isomorphically embedded in \\(\\langle {\\mathfrak {JM}}_{\\aleph_ 0}; \\leq\\rangle\\), its countable embeddability skeleton. In the same articles we have put forward the conjecture that in the case of finitely generated discriminator varieties \\({\\mathfrak M}\\) both the countable skeletons \\(\\langle {\\mathfrak {JM}}_{\\aleph_ 0}; \\ll\\rangle\\) and \\(\\langle {\\mathfrak {JM}}_{\\aleph_ 0}; \\leq\\rangle\\) are totally quasiordered, i.e., each set of their incomparable elements is finite, and each strictly decreasing chain terminates. The present article is devoted to a proof of these statements.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204700$8C4363DC-AC79-47EA-8506-12EC42BAFB84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204700$06984FC9-F8F9-45E7-8E63-11870C3176D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204700$6B4D3E6E-C864-4C75-BE07-3F0BB5FD4787","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6c5c86de35ea6bf8e8c1a66573487afcc352ccb","datavalue":{"value":"130791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204700$75F49F18-2FDB-4359-AD8D-34BEDA3CE10A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed70ee99c651069994c62c92e1a294226f96b934","datavalue":{"value":"countable epimorphism skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204700$75BF43FF-2836-4DF5-ABCB-F9D75F35D932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f544640c68096b30371a4b1f3cb60c23a607caee","datavalue":{"value":"quasiorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204700$4894877B-1734-4AC5-8769-C958F15BCEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da0f5147540e5ff9abe1a7fedfdb0d575bb38f3","datavalue":{"value":"partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204700$E4593884-F52B-461E-9C8D-F752284277C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dee610a06a876ae774e3040e2bb7708abe7170b9","datavalue":{"value":"countable embeddability skeleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204700$E4D808A8-7670-4037-B3F9-4C820824D3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a830b47b346a4d05808c92a56a3d0eba44fef6f","datavalue":{"value":"finitely generated discriminator varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204700$B404E5FC-3CC0-4C7E-91B8-C794A464D109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3385656d607f7156701288da987209886d3dba63","datavalue":{"value":"incomparable elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204700$888902AF-031D-4848-A437-D27380727A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0438c440cfa6c251071f87f1773f9d44910dad8","datavalue":{"value":"strictly decreasing chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204700$B739E977-1744-485F-ACBC-A49D8BF5C483","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b70c1c156ca795db15295b6a9eec87e7b4908","datavalue":{"value":{"entity-type":"item","numeric-id":307878,"id":"Q307878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$9A8BC250-4E1B-4A0A-B94F-096A6E04FDD9","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":"Q1204700$D07CFF1A-2986-4BA5-8EDF-3D026CFD1431","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61d625c3e889a0b684130cc19c303483a6673e4","datavalue":{"value":{"entity-type":"item","numeric-id":1089371,"id":"Q1089371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$8A1453EA-6170-4A4B-8A77-99EF1B736E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99434d3edbf9ce8b456d5211009ae17287cce84","datavalue":{"value":{"entity-type":"item","numeric-id":1825219,"id":"Q1825219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$C592D266-53F0-4236-9886-D671D1CC12D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd746aff39febb6ad90f3aa463a16dec7faae4b5","datavalue":{"value":{"entity-type":"item","numeric-id":1174055,"id":"Q1174055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$5B362B22-040F-49F2-94B1-CC1CC963632C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a4584fc7dcb12bedbe286579c55950881488bf","datavalue":{"value":{"entity-type":"item","numeric-id":3797252,"id":"Q3797252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$CA34E825-942A-46F6-A543-8F8C7CBF12CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ef07252448da81624a1aeca3cff87cfc45f90f","datavalue":{"value":{"entity-type":"item","numeric-id":749561,"id":"Q749561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$82F6DB31-6A3D-497A-A11C-C24860A7400B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde22cbd8a3003754cfa92ee1b9b95950efdae3","datavalue":{"value":{"entity-type":"item","numeric-id":920130,"id":"Q920130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$D914F24B-89CF-4EEA-BD0F-FE326F0DE925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$CB57D142-7B32-48F3-A15B-537187731411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f76ba65987bffc0996fb6eb7e69b9988872eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4198732,"id":"Q4198732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$966BBB30-4852-45DD-BA4D-994CB88C4502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41125a252fb0a70c6c55f7ee4dce642415efbf07","datavalue":{"value":{"entity-type":"item","numeric-id":5520569,"id":"Q5520569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$3BD5BCA9-BEB7-446A-9406-F91C0FDA155C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c493b95715c2e4dbb5a8c0041dd93593f1ae736a","datavalue":{"value":{"entity-type":"item","numeric-id":3801541,"id":"Q3801541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$62756D1D-B090-4FB9-96B0-C5933284B483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd75fa562171f1bc8488c55c38ad826341f610ad","datavalue":{"value":{"entity-type":"item","numeric-id":2543669,"id":"Q2543669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$40A77B82-807C-4B55-B630-915ABFDFE0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1bb7f19af2279ee566540268df9e3044505756","datavalue":{"value":{"entity-type":"item","numeric-id":1076049,"id":"Q1076049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204700$86A5DBDA-EEA2-43CC-858D-8EC725C55651","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de3a3675a179a5849a96edb0dc122207be2e96ae","datavalue":{"value":"https://doi.org/10.1007/bf00971111","type":"string"},"datatype":"url"},"type":"statement","id":"Q1204700$BDFFE939-510C-4E79-9A7C-6A5EB9277693","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f9dce48f677315cb1cae496ba8c30d5f1afa33d","datavalue":{"value":"W1984264187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204700$5F346CF8-1D6F-4A3A-A584-9ED090EBE74B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b120b23de0d6a80f0ebd110cf85f7e56e6475c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4839137,"id":"Q4839137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de73203fe0b47baa8dcbe6883db0d78580a09071","datavalue":{"value":{"amount":"+0.9203698039054872","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":"Q1204700$C4BE0067-44CA-413E-A7E7-64FAFE7B65F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc965a1fbcf42dce2bfaa82a6480360a2f4657e","datavalue":{"value":{"entity-type":"item","numeric-id":923118,"id":"Q923118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de73203fe0b47baa8dcbe6883db0d78580a09071","datavalue":{"value":{"amount":"+0.9203698039054872","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":"Q1204700$8D97D183-BB34-4273-8339-CB13C3074A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd270e025d32a34526e7eae777fcad4c050e09c","datavalue":{"value":{"entity-type":"item","numeric-id":920130,"id":"Q920130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f07f20944b7d69abebdf01d8e305259ba626407","datavalue":{"value":{"amount":"+0.9119495749473572","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":"Q1204700$5EEE4F9B-ADEC-480F-A00D-3A2B439BA5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e78bf796f41f04d6eb0a10b0c55d7dc5e02ac1e","datavalue":{"value":{"entity-type":"item","numeric-id":923119,"id":"Q923119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d4160baec95a0474287f12a4dcc0f3978fb9e0","datavalue":{"value":{"amount":"+0.8973437547683716","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":"Q1204700$86E023DC-6497-4531-9E8B-9EEB8EEF526D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b31571fb6463b58ee72c3339ecb3702d02e001","datavalue":{"value":{"entity-type":"item","numeric-id":1346899,"id":"Q1346899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423d4e359a3beaee2043c59ebcfa83f767fff16d","datavalue":{"value":{"amount":"+0.893748939037323","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":"Q1204700$3981BC21-9A44-417B-B5DC-1372D25090C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Countable skeletons of finitely generated discriminator varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Countable_skeletons_of_finitely_generated_discriminator_varieties"}}}}}