scientific article; zbMATH DE number 4139723

MaRDI QIDQ3472085zbMATH OpenFDO

Authors Bernd I. Dahn

Publication date 1989

zbMATH Keywords

universal theoryHerbrand models

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• scientific article; zbMATH DE number 4070876
• Publication:3490957
• Model complete universal Horn classes
• Saturated models of universal theories
• Herbrand's Theorem for Nonstandard Inference Operations

Cited in

(5)

• Universally generic finitely generated ordered Abelian groups
• scientific article; zbMATH DE number 4164144 (Why is no real title available?)
• scientific article; zbMATH DE number 4070876 (Why is no real title available?)
• Universal abstract consistency class and universal refutation
• Untestable Properties in the Kahr-Moore-Wang Class

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