{"entities":{"Q5950761":{"pageid":8127563,"ns":120,"title":"Item:Q5950761","lastrevid":97711421,"modified":"2026-06-05T15:16:23Z","type":"item","id":"Q5950761","labels":{"en":{"language":"en","value":"A new characterization of arithmeticity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1682611"}},"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":"Q5950761$029C52BA-9594-47FB-9A24-C6B363EEDC85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c30c5545c6c3dce17d992f5e2be02fef30f757b3","datavalue":{"value":{"text":"A new characterization of arithmeticity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950761$C6AE95C0-2EF5-44BF-9208-2F6E4AF34CB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54a04a33d90b1db87e4d6e79beb4f1e778308cde","datavalue":{"value":"0980.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950761$CCA33147-DC0F-4C46-8937-79DCCE2D1975","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3c114b1c803d3c46eb61ec6ca1306c6260abc4e","datavalue":{"value":{"entity-type":"item","numeric-id":219082,"id":"Q219082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950761$D0D1252A-30D9-469C-AB9B-EA78B4EC2A1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950761$0D7FACEC-E6B2-4A90-844A-242373DB3D96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cff48275765814590658d506aafb5ce41ac2a492","datavalue":{"value":{"time":"+2001-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950761$EE695C61-5F25-4FA7-8526-B4BDDE9BC5BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"50210722e9b7fdd3803e11aac3b86036a5d092fe","datavalue":{"value":"A function \\(f:A\\to A\\) is called a choice function modulo \\(\\Theta\\) (for an equivalence \\(\\Theta\\) on \\(A\\)) if for each \\(\\Theta \\)-class \\(B\\), there is \\(b\\in B\\) such that \\(f(x)=b\\) for each \\(x\\in B\\). A function \\(f\\) on \\(A\\) is called \\(L\\)-compatible (for a sublattice \\(L\\) of \\(\\text{Eqv }A\\)) if it preserves all \\(\\Theta \\in L\\). An equivalence lattice \\(L\\) satisfies the Compatible Choice Function condition if for any \\(a\\in A, \\Theta \\in L\\) there exists a compatible choice function modulo \\(\\Theta \\) having \\(a\\) as a fixed point. The author proves that every equivalence lattice \\(L\\) satisfying the Compatible Choice Function condition is arithmetical. The converse is valid for \\(L\\) finite.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950761$3DF843BB-5B28-41E6-BA50-C20B8E7D8522","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950761$8F595B8E-F71E-4A0A-A733-AB1B4EB1CBB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950761$30225C21-7BA0-47B2-BD33-334FE466DC2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c181b25e78bad208114c04a5d98f8bf42d966f4","datavalue":{"value":"1682611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950761$3A04A301-D082-4491-9015-294AC3ADC1C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23f3f7b2795e90ab3322821e5fb4ae85797c9a01","datavalue":{"value":"equivalence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950761$269D1CEC-C498-4F61-8916-FAB583603BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb4d0683285db773dda6dfa6b586c41bb653c380","datavalue":{"value":"arithmeticity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950761$B262B08D-452C-470B-98F1-62AD791DEB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5751c5b4e131a114ade0365e656ff164fd792153","datavalue":{"value":"compatible function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950761$EF8D0A9D-5091-4BC4-80EA-599290A00A19","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":"Q5950761$D6C6C494-8C3C-4E11-A0C6-AF2D1EEF4E7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59caeae98a7c890125174b765f011f5845160a3f","datavalue":{"value":{"entity-type":"item","numeric-id":3138866,"id":"Q3138866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3fb988ddf63e3de954e5761a12dbef3a86d3af9","datavalue":{"value":{"amount":"+0.7135627865791321","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":"Q5950761$CD825397-A361-40E1-8D9D-9587FDF53592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1e3ad1ea1aca6a8a0b585caecb432a7130c559","datavalue":{"value":{"entity-type":"item","numeric-id":1342129,"id":"Q1342129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aeec4252951180721c39f28a238d9695dfa01bd","datavalue":{"value":{"amount":"+0.7110046148300171","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":"Q5950761$F628AC3A-D072-4545-B3CA-6DFDA8092F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee874b5f5984ea4bc524a778473f1399b8d85b3","datavalue":{"value":{"entity-type":"item","numeric-id":5187288,"id":"Q5187288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c63b40b31f5554af4ac4a55cd7a3df8490e001","datavalue":{"value":{"amount":"+0.6803128719329834","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":"Q5950761$1973ADEC-9BFC-48DC-BEE4-1CB7CF074C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3c2eb7a2f70fc82fb9867e2ee6acd6c0ee1e98","datavalue":{"value":{"entity-type":"item","numeric-id":790859,"id":"Q790859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5cd5d659bc1478fc2feee56b95cf367a2db8a1","datavalue":{"value":{"amount":"+0.6789410710334778","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":"Q5950761$352E79EE-03B5-4457-871A-9603799AE390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986064f0a555f5c0f8caa82e124de0fe495411d3","datavalue":{"value":{"entity-type":"item","numeric-id":4875076,"id":"Q4875076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca266b2c5348120011ca684986ee02a91c758746","datavalue":{"value":{"amount":"+0.6756477952003479","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":"Q5950761$96D15E75-3A62-4862-8D78-E87621F5B48B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new characterization of arithmeticity","badges":[]}}}}}