PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
April 17, 2026Studia Logica0 citationsOpen Access

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

DWDaniel Wessel

Key Points

  • The aim is to present a constructive approach to good sequences related to Mundici's functor without relying on subdirect representation.
  • Eliminated reliance on Chang's theorem
  • Developed a direct constructive argument
  • Utilized entailment relations for proofs
  • Established that good sequences are central to the equivalence between MV-algebras and l-groups
  • Demonstrated a different proof approach that enhances understanding of the categorical equivalence

Abstract

Abstract Good sequences are central to Mundici’s categorical equivalence between MV-algebras and unital ℓ -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.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Daniel Wessel (2026) studied this question.

synapsesocial.com/papers/69e1cf625cdc762e9d8584c0https://doi.org/10.1007/s11225-026-10236-x
Ask AI
Helpful
Bookmark
Share
View Full Paper

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

  1. 1Algebra in Bishop’s style: A Course in Constructive Algebra2023 · 2 citations
  2. 2Algebraic analysis of many valued logics1958 · 1,345 citations
  3. 3Completeness and axiomatizability in many-valued logic1974 · 148 citations
  4. 4Constructive Algebra and Point-Free Topology2023 · 2 citations
  5. 5Commutative Algebra: Constructive Methods2015 · 67 citations