{"entities":{"Q1078591":{"pageid":1089343,"ns":120,"title":"Item:Q1078591","lastrevid":66827190,"modified":"2026-04-12T13:07:51Z","type":"item","id":"Q1078591","labels":{"en":{"language":"en","value":"\\(\\aleph _ 0\\)-categoricity in infra primal varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3961692"}},"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":"Q1078591$F5ACDF59-9DE9-4204-B689-3BCACD93AA8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5623115c458a6367af2e0a999f69da20e8cb55ae","datavalue":{"value":{"text":"\\(\\aleph _ 0\\)-categoricity in infra primal varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1078591$CE6245E2-1B22-48E8-AA97-40DC8563F9C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0c177b7cdd8d7d312542e6b6a7f605bc5e2569f","datavalue":{"value":"0597.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078591$7E8E93FD-3E8C-41B6-94DB-1A0B646635C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1647d7450bbccce84864b9d6b2c5f961018eb22","datavalue":{"value":"10.1007/BF01190427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078591$C40E9B04-E4C7-4EFB-9BAE-C6300E91D197","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a01f4924bd4949e033ac839c1d345a67664168d","datavalue":{"value":{"entity-type":"item","numeric-id":1078590,"id":"Q1078590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078591$49A0EFB1-D4C0-4C52-BFE6-CBC188FB9B05","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":"Q1078591$1792D999-7707-491F-BD17-D7B1C13DDFB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1078591$209C0AE8-520F-4A2C-A866-0174332B7867","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d643ecf69be40dd42c784eb18b25de17dae4c562","datavalue":{"value":"Macintyre and Rosenstein proved that in a variety V of unitary rings generated by a finite field F a member \\(R\\in V\\) is \\(\\aleph_ 0\\)- categorical iff R is a ''filtered Boolean product'' of subfields of F with an \\(\\aleph_ 0\\)-categorical ''augmented Boolean algebra''. This paper extends this result to each variety generated by an infra-primal algebra A - i.e. a finite algebra all of whose nontrivial subalgebras are non- isomorphic and each automorphism of a subalgebra of A extends to an automorphism of A. - Even more a part of the converse is shown, namely if A is quasi-primal - i.e. the ternary discriminator \\(t(x,y,z)=z\\) if \\(x=y\\); \\(=x\\) if \\(x\\neq y\\) is a term-function of A - then the \\(\\aleph_ 0\\)- categorical members of the variety generated by A have the same characterization iff A is infra-primal. The methods of proof are a thorough investigation of the sheaf-representation of algebras in varieties generated by quasi-primal algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078591$597A5893-4CB4-4D0A-B1BB-F8D0E605EB7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078591$232D2563-66AE-4AD1-9AC1-3E76D51B0912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078591$97CA2E0C-8FE8-443C-9041-8E79BF41EEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078591$FA77088B-017F-4E66-A8B5-AF625418435D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46004fc4c91244f726a596d6b528bd279fd1fd8d","datavalue":{"value":"3961692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1078591$B60674B8-1188-4EB7-879D-415ED795855A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dae4096f1168d3ad9ad0726a90d119af58501fb","datavalue":{"value":"\\(\\aleph _ 0\\)-categorical","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078591$3CF247AC-1F82-4FF9-AFDB-0A23C8803060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cfb23c78d69cece5de71329597c3bed0ce3ef75","datavalue":{"value":"infra-primal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078591$68BDF586-C3FB-452C-8546-AECA4F99F70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fe460076dc58483a47c859ee76efbf387188d1","datavalue":{"value":"quasi-primal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078591$F0F23A78-9F62-434B-A2DB-31E835943595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c029c9ff889145f0d16120e1d8000017114e9915","datavalue":{"value":"ternary discriminator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078591$30A604BD-9196-4151-BCF1-E07D91E63C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec76f4113a90ba39d36d698ec875fe1cfee5c59","datavalue":{"value":"term-function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078591$84FA192C-96C5-43C6-869B-E44988AED7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77ea7d4f09e2aade89d37e17ae433dcd78cd81cc","datavalue":{"value":"sheaf-representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078591$BFC3D719-2768-44B9-AB2C-8631236C6B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db087cf3c9aa3c6261ef8f66e61201d0de817d0e","datavalue":{"value":"varieties generated by quasi-primal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1078591$0F324764-F714-4980-95DC-15CE1A992BBA","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":"Q1078591$36C568E4-1317-41AE-B87A-62AED895A68B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"689cd1cc8ed8792f7a6af74a2598b4d786d41cec","datavalue":{"value":{"entity-type":"item","numeric-id":5788426,"id":"Q5788426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078591$1587F818-300A-451A-AF5E-F6014FD14678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e1a944da08687c3d87f18b45f8a25bd83ce78d","datavalue":{"value":{"entity-type":"item","numeric-id":2526152,"id":"Q2526152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078591$EFC402BF-78BA-43F9-B8FA-FD5A5EA61106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e5de604b83301706c27b17cfbf940450ee3314","datavalue":{"value":{"entity-type":"item","numeric-id":2548971,"id":"Q2548971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078591$A233E1EC-155B-475A-97A9-FC9BBFB3BFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aefe13173abb1b472e5aa0b328539ffc3cc010ff","datavalue":{"value":{"entity-type":"item","numeric-id":2555091,"id":"Q2555091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078591$A9D392ED-56B1-4F48-AA0E-1C2F57A85111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426faa83f2e456c920de1719020f041f72709675","datavalue":{"value":{"entity-type":"item","numeric-id":2552152,"id":"Q2552152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078591$22FA0742-23EF-4D07-AA2D-67C64727086F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61cd261b315f68e92ca0f5e69513233e7d8165dc","datavalue":{"value":{"entity-type":"item","numeric-id":1233438,"id":"Q1233438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1078591$53F5F999-608E-4038-AD07-659DD38E3A15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1494d17a2af60e1ec393acc20868f93e33ade93a","datavalue":{"value":{"entity-type":"item","numeric-id":1080451,"id":"Q1080451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1f59d2c0efef93b7107ee87ab0ce396bac36c5","datavalue":{"value":{"amount":"+0.76315838098526","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":"Q1078591$A5B56440-12B0-4301-82D3-2C6FEC27D833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07831dc0d12df863b580ee3c47424cf59acb1b9d","datavalue":{"value":{"entity-type":"item","numeric-id":4029596,"id":"Q4029596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"995a813003e12dcaa7fb23d0d7d35aee56fc1367","datavalue":{"value":{"amount":"+0.7614634037017822","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":"Q1078591$0D26547F-912F-4BDB-9BBB-800356B9FC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e05ff086933ec0cf19fcdd5766f82c548253056b","datavalue":{"value":{"entity-type":"item","numeric-id":4286319,"id":"Q4286319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623e4fc15ac7d6b056bc221fc6c4f7bde9578c43","datavalue":{"value":{"amount":"+0.7601873278617859","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":"Q1078591$8B7ACC43-3D45-48EE-8068-DCBCCD6307CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5209eb61dc574ba9bbc82d0ffb5bb63e03c7c6","datavalue":{"value":{"entity-type":"item","numeric-id":471157,"id":"Q471157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2af145ca1f022ddc2f5abc46173a65db92ee90","datavalue":{"value":{"amount":"+0.7478104829788208","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":"Q1078591$7F14DFA5-AA28-4B77-8253-094D0D948021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a129a7ab4acff3b098044cf3b1cfa8b7fb4d60e","datavalue":{"value":{"entity-type":"item","numeric-id":789505,"id":"Q789505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538ccf38ef9b7868b652199250eb532dea7eab0d","datavalue":{"value":{"amount":"+0.7452437877655029","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":"Q1078591$212E28BC-C932-4C51-BD33-ED16A181D8D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\aleph 0\\)-categoricity in infra primal varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(%5Caleph_0%5C)-categoricity_in_infra_primal_varieties"}}}}}