scientific article; zbMATH DE number 3861131

MaRDI QIDQ3329448zbMATH OpenFDO

Authors Shi-Qiang Wang

Publication date 1982

zbMATH Keywords

denumerable modellattice-valued model theoryomitting types theorem

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cited in

(12)

• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• scientific article; zbMATH DE number 991686 (Why is no real title available?)
• The atomic model theorem and type omitting
• scientific article; zbMATH DE number 3920451 (Why is no real title available?)
• scientific article; zbMATH DE number 3928979 (Why is no real title available?)
• Forcing and the Omitting Types Theorem For Lt
• scientific article; zbMATH DE number 3959397 (Why is no real title available?)
• scientific article; zbMATH DE number 1150406 (Why is no real title available?)
• scientific article; zbMATH DE number 1979741 (Why is no real title available?)
• scientific article; zbMATH DE number 221359 (Why is no real title available?)
• scientific article; zbMATH DE number 221397 (Why is no real title available?)
• scientific article; zbMATH DE number 754183 (Why is no real title available?)

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 Q3329448)