{"id":"arxiv/2606.30300","url":"https://arxiv.org/abs/2606.30300","tags":["math.LO"],"score":0,"title":"An independent equational basis for the variety of reflexive Nelson algebras","domain":"math.LO","source":"arxiv","authors":["Juan Manuel Cornejo","Paula Soledad Helt","Hernán Javier San Martín"],"reviews":0,"subject":"math.LO","summary":"In this manuscript, we provide an independent equational basis for the variety of reflexive Nelson algebras, a generalization of the variety of SNA-algebras. The proof of this result relies on a substantial number of technical arguments and computational examples. The result complements a broader study of reflexive Nelson algebras by showing that the variety admits an independent equational axiomatization.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-29","reactions":{}}