The Keisler–Shelah theorem for \mathsf{QmbC} through semantical atomization

DOI10.1093/JIGPAL/JZY067zbMATH Open1477.03091OpenAlexW2913624561MaRDI QIDQ3386903FDOQ3386903

Authors: Thomas Macaulay Ferguson 

Publication date: 8 January 2021

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzy067

Recommendations

• Corrigendum: The Keisler—Shelah theorem for QmbC through semantical atomization
• scientific article; zbMATH DE number 1293523
• scientific article; zbMATH DE number 18129
• Quantifier elimination theory and maps which preserve semipositivity
• A Kripke semantics for the logic of Gelfand quantales
• Semilattices global valuations in the topos approach to quantum mechanics
• scientific article; zbMATH DE number 5295711
• Notes on quantum logics and involutive bounded posets
• scientific article; zbMATH DE number 63735
• A completeness theorem of quantum set theory

zbMATH Keywords

logics of formal inconsistency\(\mathsf{QmbC} \) model theoryKeisler-Shelah theoremŁos' theorem

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Ultraproducts and related constructions (03C20)

Cited In (1)

• Fraïssé's theorem for logics of formal inconsistency

This page was built for publication: The Keisler–Shelah theorem for $\mathsf{QmbC}$ through semantical atomization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3386903)