{"entities":{"Q1204783":{"pageid":1215532,"ns":120,"title":"Item:Q1204783","lastrevid":66477543,"modified":"2026-04-12T10:21:12Z","type":"item","id":"Q1204783","labels":{"en":{"language":"en","value":"Positive equivalences with finite classes and related algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 130866"}},"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":"Q1204783$233ED789-99C9-4432-A406-2E6D38DF3C2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a3a81c9dd2ab034b8bd6cb24d21697fe46ffdf2","datavalue":{"value":{"text":"Positive equivalences with finite classes and related algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1204783$34F9FB60-FCCE-4130-A8DF-CB9207E6148A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aee3c123efc91b79364a3116d042e33a567e464","datavalue":{"value":"0781.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204783$1FA1600E-7161-413C-8B96-BBD0D889BFBD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01c8d6e5bdc5d5e5cf9424210779f9cff3ac4ebf","datavalue":{"value":"10.1007/BF00971000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204783$9E8DB846-8347-49C4-9CCE-FFD69FA481D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4611b92dae875abfae44466af6ce7f3cbc461216","datavalue":{"value":{"entity-type":"item","numeric-id":299154,"id":"Q299154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204783$08C41959-5849-46E0-92A7-235B04B3563C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4938bda57fca04735ad8371cf4a4a3e972e42f0b","datavalue":{"value":{"entity-type":"item","numeric-id":1113893,"id":"Q1113893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204783$DBB120F7-EFEC-4498-B0B2-F99C6AA20129","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":"Q1204783$92A3EE1D-AE4F-4F4B-B912-19CDF7BF56D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-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":"Q1204783$D40412AA-6BAC-46A6-9806-64C51A2D3E5C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e56ffca01d169153993a5386cde69942dc01d135","datavalue":{"value":"Let \\(\\eta\\) be an equivalence over \\(\\mathbb{N}\\); \\(\\eta\\) is called effectively infinite if there is an infinite recursively enumerable set of pairwise non \\(\\eta\\)-equivalent numbers. An algebra is effectively infinite if its numerating equivalence is effectively infinite. It is proved that a positive equivalence is effectively infinite and there is a finitely generated algebra over it if the powers of its classes are bounded by some natural number. Some examples of non-effectively infinite positive algebras locally finite or finitely generated with finite classes of the numerating equivalences are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204783$001603F7-CB61-4F61-A0E6-E44C92D2CBE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204783$D8BFB804-8E23-4585-A065-3A3945CAFDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204783$EF3F588D-EF78-4F16-8F0A-373F871E6B3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e951d210725a4d2ceb01eacad969ef6f3541108a","datavalue":{"value":"130866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204783$84CD1A73-4418-4E13-B0FD-036A02F28CB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b509a02300d89b7fcb77eeec105f54044c28e15","datavalue":{"value":"positive equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204783$B528D0B2-2667-492F-AA22-221FA7B07B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4171ac25cb48c7a36d1ad2add9e17bf239e01da4","datavalue":{"value":"effectively infinite equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204783$E6C7052E-42D1-4F83-8A63-426C04221104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b371acd27de6a3e42dd744790defd448447a2f51","datavalue":{"value":"effectively infinite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204783$31E56FB4-E224-44E5-8D7B-CB39980C3022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d6da523c89b57ae3a8d5c9fdf9c01dc40d72708","datavalue":{"value":"finitely generated algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204783$FD7F4D75-8FA2-41CD-BCD6-A9A5372EFE86","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":"Q1204783$072E67E2-BAB0-4C0E-94E1-FE87E9A3BA8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee85f15db819554c5cddfac8ba3f64f52efb0bd","datavalue":{"value":{"entity-type":"item","numeric-id":3958432,"id":"Q3958432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204783$266EB978-5A63-4AB0-B58A-0814227F43CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3461812571fe4b88bf766bf9ac5ffb291e727f","datavalue":{"value":{"entity-type":"item","numeric-id":3789548,"id":"Q3789548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204783$506CB147-64C8-40CF-9AF3-378ACD3A3AD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aae366a94dac2e1ade3bb571164077304aa8efea","datavalue":{"value":"https://doi.org/10.1007/bf00971000","type":"string"},"datatype":"url"},"type":"statement","id":"Q1204783$65140ABF-8A19-4B0B-8C05-892BEC05EFFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ae1c3bc2dc2329025f574853cd82e9b2ced7af1","datavalue":{"value":"W1999917370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204783$BCDC21E3-4853-42CB-9355-3701A63A6414","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7be63f95cda10e4e6850af9d4dd4d81c858393","datavalue":{"value":{"entity-type":"item","numeric-id":1346929,"id":"Q1346929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"185e8fa44e67966a884cb7855222b93e1665bc69","datavalue":{"value":{"amount":"+0.8234039545059204","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":"Q1204783$6A5850DA-1747-49FE-B2D5-2827BF4A010B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2bbabe305cb6ec24926c331add147c4a8be8ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2366357,"id":"Q2366357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676abea8ea239bee09c7678a2d013df15da6de6d","datavalue":{"value":{"amount":"+0.7696497440338135","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":"Q1204783$1BE39526-8A44-4CF1-BEA7-E60E3C70D878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1c7ea7b1ce07d099cdef409ea90be442a01315","datavalue":{"value":{"entity-type":"item","numeric-id":299155,"id":"Q299155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a03016a0cfba38d6e8c1664a7260d9a677f621","datavalue":{"value":{"amount":"+0.7690319418907166","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":"Q1204783$945B9E38-CF6E-4854-AF70-6BCABE462014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8da03c35d46ba8d0e0d6b2917fed7758b314fb4","datavalue":{"value":{"entity-type":"item","numeric-id":3809790,"id":"Q3809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c08f32016e73f6c63ab89394701b6dbc91aec4","datavalue":{"value":{"amount":"+0.7523490786552429","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":"Q1204783$D7846F04-B85C-47BF-9A99-E65DEB859303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c596df3a4eefd54078cef894b00dd12e5a5d18be","datavalue":{"value":{"entity-type":"item","numeric-id":810013,"id":"Q810013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1f5740a968b00c22576f1976349a0d46ff0073","datavalue":{"value":{"amount":"+0.7465576529502869","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":"Q1204783$16BD1378-5FE6-46DA-B950-83F13800794E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Positive equivalences with finite classes and related algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Positive_equivalences_with_finite_classes_and_related_algebras"}}}}}