{"title":"半刚性等价关系——一种新的证明方法","authors":"M. Miyakawa, I. Rosenberg, H. Tatsumi","doi":"10.1109/ISMVL.2005.43","DOIUrl":null,"url":null,"abstract":"We show by a purely relational method that the joint-endomorphism of Zadori's three equivalence relations on a set A, |A|>2 is the clone consisting only of trivial functions, i.e., of the projections and constant functions. We use a so called \"Wheatstone bridge\" which is a device to yield an equivalence relation /spl theta/=W(/spl alpha/,/spl beta/,/spl gamma/) from a triple /spl alpha/,/spl beta/,/spl gamma/ of equivalence relations such that if a function f:A/spl rarr/A preserves /spl alpha/,/spl beta/,/spl gamma/ jointly, then it preserves /spl theta/. We also present a notion of compositions of two semirigid systems which preserve semirigidity. As an application of the composition we give three families of systems of five equivalence relations that are semirigid on the set A with |A|=4i, |A|=3i+1, or |A|=3i+2 for i/spl ges/1.","PeriodicalId":340578,"journal":{"name":"35th International Symposium on Multiple-Valued Logic (ISMVL'05)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Semirigid equivalence relations - a new proof method\",\"authors\":\"M. Miyakawa, I. Rosenberg, H. Tatsumi\",\"doi\":\"10.1109/ISMVL.2005.43\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We show by a purely relational method that the joint-endomorphism of Zadori's three equivalence relations on a set A, |A|>2 is the clone consisting only of trivial functions, i.e., of the projections and constant functions. We use a so called \\\"Wheatstone bridge\\\" which is a device to yield an equivalence relation /spl theta/=W(/spl alpha/,/spl beta/,/spl gamma/) from a triple /spl alpha/,/spl beta/,/spl gamma/ of equivalence relations such that if a function f:A/spl rarr/A preserves /spl alpha/,/spl beta/,/spl gamma/ jointly, then it preserves /spl theta/. We also present a notion of compositions of two semirigid systems which preserve semirigidity. As an application of the composition we give three families of systems of five equivalence relations that are semirigid on the set A with |A|=4i, |A|=3i+1, or |A|=3i+2 for i/spl ges/1.\",\"PeriodicalId\":340578,\"journal\":{\"name\":\"35th International Symposium on Multiple-Valued Logic (ISMVL'05)\",\"volume\":\"29 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-05-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"35th International Symposium on Multiple-Valued Logic (ISMVL'05)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2005.43\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"35th International Symposium on Multiple-Valued Logic (ISMVL'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2005.43","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Semirigid equivalence relations - a new proof method
We show by a purely relational method that the joint-endomorphism of Zadori's three equivalence relations on a set A, |A|>2 is the clone consisting only of trivial functions, i.e., of the projections and constant functions. We use a so called "Wheatstone bridge" which is a device to yield an equivalence relation /spl theta/=W(/spl alpha/,/spl beta/,/spl gamma/) from a triple /spl alpha/,/spl beta/,/spl gamma/ of equivalence relations such that if a function f:A/spl rarr/A preserves /spl alpha/,/spl beta/,/spl gamma/ jointly, then it preserves /spl theta/. We also present a notion of compositions of two semirigid systems which preserve semirigidity. As an application of the composition we give three families of systems of five equivalence relations that are semirigid on the set A with |A|=4i, |A|=3i+1, or |A|=3i+2 for i/spl ges/1.