Work

Good sequences without subdirect representation: a constructive treatment of Mundici’s $${{\,\mathrm{\mathbf {\Gamma }}\,}}$$ functor

Year: 2026

Type: article

Abstract: Good sequences are central to Mundici’s categorical equivalence between MV-algebras and unital $$\ell $$ ℓ -groups. We eliminate the reliance on Chang’s subdirect representation theorem traditionally used in the proof, replacing it with an entirely constructive argument based on entailment relations.

Source: Studia Logica

DOI: 10.1007/s11225-026-10236-x

Author: Daniel Misselbeck-Wessel

Institution: Ludwig-Maximilians-Universität München

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,990

Funders: Deutsche Forschungsgemeinschaft, Ludwig-Maximilians-Universität München