THE FILTER OF INTERPRETABILITY TYPES OF HOBBY–MCKENZIE VARIETIES IS PRIME

Journal of Symbolic Logic 2026 Open access

Read full text
Authors: Bertalan Bodor, Gergő Gyenizse, Miklós Maróti, László Zádori
DOI: 10.1017/jsl.2026.10240
Cited by: 0

Abstract

Abstract We obtain new characterizations of the Hobby–McKenzie varieties via compatible reflexive ternary structures. Based on our findings, we prove that in the lattice of interpretability types of varieties, the filter of the interpretability types of Hobby–McKenzie varieties is prime.

Fields of Study & Subjects

Polynomial and algebraic computation Nonlinear Waves and Solitons

Publication details

Journal / source
Journal of Symbolic Logic
Publisher
Cambridge University Press (CUP)
Pages
1–28
Publication date
29 July 2026
Language
EN