2023/07/24 by Bertalan Bodor, Bodor, Bertalan, Gergő Gyenizse +5
Computer Science · Engineering · Mathematics · #03C05 08B05 #Advanced Numerical Analysis Techniques #Advanced Topology and Set Theory #Combinatorics (math.CO) #FOS: Mathematics #Rough Sets and Fuzzy Logic
paper · pdf · doi:10.48550/arxiv.2307.12902
openalex publication_date 2023/07/24 · openalex created_date 2023/07/26 · openalex updated_date 2026/07/28
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.