Type space functors and interpretations in positive logic

DOI10.1007/s00153-022-00825-7OpenAlexW4220679855MaRDI QIDQ2700810

Mark Kamsma

Publication date: 27 April 2023

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.03376

zbMATH Keywords

type spaceinterpretationstone dualitycoherent logicpositive model theorybi-intepretation

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Categorical logic, topoi (03G30) Stone spaces (Boolean spaces) and related structures (06E15) Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
• Generalising canonical extension to the categorical setting
• Positive Jonsson theories
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Spectral Spaces
• A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
• Thickness, and a categoric view of type-space functors
• ON MORITA EQUIVALENCE AND INTERPRETABILITY
• SPACES OF TYPES IN POSITIVE MODEL THEORY
• LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE
• Fondements de la logique positive
• MORITA EQUIVALENCE