scientific article; zbMATH DE number 3726321

zbMATH Open0464.03032MaRDI QIDQ3914968FDOQ3914968

Authors: Daniele Mundici 

Publication date: 1979

Title of this publication is not available (Why is that?)

zbMATH Keywords

generalized quantifiersjoint consistency theorem

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95) Interpolation, preservation, definability (03C40)

Cited In (1)

• An institution-independent proof of the Robinson consistency theorem

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