학술
기타
Relation Algebras Compatible with $\mathbb{Z}_2$-sets
arXiv Math
조회 0
이 뉴스, 어떠셨어요?
한 번의 탭으로 반응을 남겨요 · 로그인 불필요
CC BY
이 매체는 공공·자유 라이선스로 본문을 직접 표시합니다.Abstract
We provide a characterization of those relation algebras which are isomorphic to the algebras of compatible relations of some $\Z_2$-set.
We further prove that this class is finitely axiomatizable in first-order logic in the language of relation algebras.
관련 뉴스
관련 뉴스 제보는 로그인 후 가능합니다.
'research' 카테고리 뉴스
arXiv의 다른 기사
CreativityNeuro: Steering Language Model Weights to Improve Divergent Thinking and Reduce Mode Collapse
arXiv CS.AI
Discrete Diffusion Language Models for Interactive Radiology Report Drafting
arXiv CS.AI
Beyond Next-Token Prediction: An RLVR Proof of Concept for Tool-Use Agents on Atlassian Workflows
arXiv CS.AI