scientific article; zbMATH DE number 1296811

MaRDI QIDQ4245015zbMATH OpenFDO

Authors Jie Song

Publication date 13 December 1999

zbMATH Keywords

compactnessultraproducts\({\mathcal L}_\alpha\) logiclattice-valued models

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC
• scientific article; zbMATH DE number 1150406
• The consistency property in lattice valued model theory for infinitary logic
• scientific article; zbMATH DE number 221397

Cited in

(3)

• COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES
• THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC
• The consistency property in lattice valued model theory for infinitary logic

This page was built for publication:

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