scientific article
From MaRDI portal
Publication:3329448
zbMATH Open0542.03017MaRDI QIDQ3329448
Publication date: 1982
Title of this publication is not available (Why is that?)
Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Model theory of denumerable and separable structures (03C15)
Related Items (3)
Forcing and the Omitting Types Theorem For Lt ⋮ Omitting uncountable types and the strength of \([0,1]\)-valued logics ⋮ The atomic model theorem and type omitting
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)
