Taylor is prime
Bertalan Bodor, Gerg\H{o} Gyenizse, Mikl\'os Mar\'oti, and L\'aszl\'o, Z\'adori
TL;DR
This paper explores the properties of Taylor varieties, providing new characterizations through compatible reflexive digraphs and establishing the primeness of their interpretability types.
Contribution
It introduces novel characterizations of Taylor varieties using compatible reflexive digraphs and proves the primeness of their interpretability types in the lattice.
Findings
New characterizations of Taylor varieties via compatible reflexive digraphs
Proof that the filter of interpretability types of Taylor varieties is prime
Advances understanding of the structure of Taylor varieties in algebraic logic
Abstract
We study the Taylor varieties and obtain new characterizations of them via compatible reflexive digraphs. Based on our findings, we prove that in the lattice of interpretability types of varieties, the filter of the types of all Taylor varieties is prime.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Numerical Analysis Techniques · Rough Sets and Fuzzy Logic · Advanced Topology and Set Theory