{"entities":{"Q793011":{"pageid":794859,"ns":120,"title":"Item:Q793011","lastrevid":64377054,"modified":"2026-04-11T19:27:06Z","type":"item","id":"Q793011","labels":{"en":{"language":"en","value":"On the size of congruence lattices for models of theories with definability of congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855081"}},"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":"Q793011$AE5BE00C-2042-440A-8AEA-E42A358F73FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96d3ade969d494fad97f0d77a9748e4ecfaa8dc1","datavalue":{"value":{"text":"On the size of congruence lattices for models of theories with definability of congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793011$F8977C64-2523-456B-8FEB-13B109DB5E90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11187c252e7208310bb971ba999fac36271a4c39","datavalue":{"value":"0538.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793011$5A543CEE-08DC-46E3-9803-8D698BCE3AA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2e41108d72d3976ce580dfb5c992db0cedd7797","datavalue":{"value":"10.1007/BF01194542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793011$3985CE49-0B43-41BC-AA4F-51A10BA0BA13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"163bf110d90b8739447195a4b8401b7c262665b3","datavalue":{"value":{"entity-type":"item","numeric-id":793010,"id":"Q793010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793011$61A2EF5F-452E-4136-BD1B-B552B8392440","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":"Q793011$92C14FE9-A8CB-4F89-9B55-874617182BCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q793011$17A5BB75-25A0-44BF-9296-28A87D59A0F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"542c192913b1192d5dfcef9e36f5de9d3488b3a9","datavalue":{"value":"The author studies the size of congruence lattices ConA of algebras A which are models of a given first order theory T. The author defines the following cardinals: \\(C_ T(\\lambda)=\\sup \\{| Con(A)|:A\\vDash T,| A| =\\lambda \\}, c_ T(\\lambda)=\\inf \\{| Con(A)|:A\\vDash T,| A| =\\lambda \\}, L_ T(\\lambda)=\\sup \\{length\\quad of\\quad Con(A):A\\vDash T,| A| =\\lambda \\}, l_ T(\\lambda)=\\inf \\{length\\quad of\\quad Con(A):A\\vDash T,| A| =\\lambda \\}.\\) The paper is organised as follows. Section 1. Introduction. Section 2. Notation and basic concepts. In Section 3 the author proves that for a theory with infinite models exactly one of the following cases may happen: Case 1. For every infinite cardinal \\(\\lambda\\), \\(L_ T(\\lambda)=ded(\\lambda)\\leq C_ T(\\lambda)\\leq 2;\\) Case 2. There exists a positive integer n such that, for every infinite cardinal \\(\\lambda\\), \\(L_ T(\\lambda)=n\\), \\(C_ T(\\lambda)=\\lambda\\); Case 3. There are positive integers m, n such that, for every infinite cardinal \\(\\lambda\\), \\(C_ T(\\lambda)=m\\), \\(L_ T(\\lambda)=n\\). In Section 4, the author studies theories with the definability of compact congruences and the special case of \\(\\aleph_ 0\\)-categorical theories. Section 5. Examples and counterexamples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q793011$61245361-AA26-43CB-86AB-639B85831997","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793011$17DC4A98-A434-4E50-A9DD-714DB8752A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793011$916BB473-95C8-4F16-8B1E-68EEA77291AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793011$FDD9FEDD-5067-494A-B220-6CCC9AE0EF64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5e54c8d64ce66cab892ce2eb9700706599e34d6","datavalue":{"value":"3855081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793011$2207BC4C-17C4-4D35-B392-8E4950E791AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c48470db4a172ee11ac67d02daf5cd1edb4e79","datavalue":{"value":"model of first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q793011$531D0707-C114-43A9-8F0C-1BF084E6A44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6895f7ba59cc403e1511090964102523075b2340","datavalue":{"value":"size of congruence lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q793011$79A38B76-D422-4039-B9BA-5B2072FE5A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f6cad1e9a86b637b8b980df24f8ab7d044be471","datavalue":{"value":"infinite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q793011$37BD4E8A-D8C1-47D4-9800-91CD07A72889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q793011$3C426DDB-0EBC-4749-B72D-40D0E7933408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36477d9b90f338173ed6f60ef5cd50dc23b4b9a","datavalue":{"value":"compact congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q793011$19B7B45E-A993-4243-98EB-4A10532607AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bdeaca323c8f36a97b2b54724dda227a95f29b2","datavalue":{"value":"categorical theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q793011$31A0D229-6F99-41AF-B04E-4F5D1A26ED3E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55cce125d2b50c23768a94700ce957231de3a61f","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793011$A29CDBA6-40C1-421B-8ADA-FA89B14BFC5B","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":"Q793011$129719FB-9D38-4D20-8E7D-B26EE63F5DD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b7bc2bcd26a1bbf690e566fa3b499cdc543da4","datavalue":{"value":{"entity-type":"item","numeric-id":1234301,"id":"Q1234301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793011$B7EE7CA5-C0EF-40E5-B3A0-4BF3D0AAF602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b620a90ce8f65451a3fd32a996f25f6fc5b19bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4067095,"id":"Q4067095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793011$A48B176D-9D3F-47F2-88E9-86FC9B984261","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":"Q793011$D6E4937B-E1F9-4B75-AE06-B757AFF7B955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793011$9124B4FF-BD2C-4C1D-A32D-648299E8CC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27773e1a98c11659c07243651e7874644999160d","datavalue":{"value":{"entity-type":"item","numeric-id":1138009,"id":"Q1138009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793011$7D668ECE-6E99-4159-AF8E-AB421D7EEB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c6d2836047824f5ea317f2dbb30fda97d6404a0","datavalue":{"value":{"entity-type":"item","numeric-id":3872436,"id":"Q3872436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793011$B2380B8A-81BF-47BF-8CCD-06F9E7DDB372","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":"Q793011$4D02D918-FF44-456B-9B80-91AF6BEBA61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2478d4d75ea1c6a799d459bef2504503c506e65","datavalue":{"value":{"entity-type":"item","numeric-id":2558916,"id":"Q2558916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793011$01F8F8C0-EB72-43AF-ADF5-33A80601CB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d2418b9d6a8d76a8671ab522d3f9ef4267c113","datavalue":{"value":{"entity-type":"item","numeric-id":5652669,"id":"Q5652669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793011$9AB37977-30D9-4302-8AFE-9FA100B7C154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5951667788bd8269b47727ee4f2e020600fdc362","datavalue":{"value":{"entity-type":"item","numeric-id":2561246,"id":"Q2561246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793011$24344E90-E5B7-4F32-99AA-23084E9F2BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26fe4647c766c887b3fa9059666b07cc20d6d51c","datavalue":{"value":{"entity-type":"item","numeric-id":3927215,"id":"Q3927215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793011$E74ECEE2-6A94-42D0-9C0D-7D6729F9C603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b463bdd6da67213cead521bf00905514ab06174","datavalue":{"value":{"entity-type":"item","numeric-id":3037401,"id":"Q3037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793011$0D9EE251-940D-4175-B049-245D7C98BA77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0591d72b07a85ab67e32c3a6c2f49e6f7601f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3135944,"id":"Q3135944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e307ab083a3d084c5211137d1bbaef2605e3db0","datavalue":{"value":{"amount":"+0.7282183170318604","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":"Q793011$08A13336-3582-4188-85BD-8247AD24BDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb11427454c9ae2337b0d4b74df340fca65bebd","datavalue":{"value":{"entity-type":"item","numeric-id":4813816,"id":"Q4813816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f16075fc438b64cc2bc4b615f5108cfdf51f055c","datavalue":{"value":{"amount":"+0.7259623408317566","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":"Q793011$035596DE-D72B-4735-AED5-CAB57644148E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef3e7dae0a87cb21206c0bc6dc684c5781e52a2e","datavalue":{"value":{"entity-type":"item","numeric-id":4355922,"id":"Q4355922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b918c05dc2b597fffecca683adcc831b1e5207b","datavalue":{"value":{"amount":"+0.7212924957275391","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":"Q793011$69AB9A7B-41B5-4339-BC8D-AEE1376553B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2163410c1570b191c00638afbc6c94273ad3590","datavalue":{"value":{"entity-type":"item","numeric-id":2759850,"id":"Q2759850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff701e89b0378c87010f5c67c30c6ae3734e132","datavalue":{"value":{"amount":"+0.7198431491851807","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":"Q793011$C3E65D9B-1B72-4AE0-A258-B3E0F59D9838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c9940cb8e491941503c6564f632f0f44219270","datavalue":{"value":{"entity-type":"item","numeric-id":2445862,"id":"Q2445862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f75529d4e4a0b4f4c1719ee728f5b99e0166f23","datavalue":{"value":{"amount":"+0.7192407846450806","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":"Q793011$7E7B52FE-63A9-4231-B883-D2B78461A3C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the size of congruence lattices for models of theories with definability of congruences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_size_of_congruence_lattices_for_models_of_theories_with_definability_of_congruences"}}}}}