scientific article; zbMATH DE number 4139723

zbMATH Open0696.03016MaRDI QIDQ3472085FDOQ3472085

Authors: Bernd I. Dahn 

Publication date: 1989

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

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

zbMATH Keywords

universal theoryHerbrand models

Mathematics Subject Classification ID

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

Cited In (5)

• Universal abstract consistency class and universal refutation
• Title not available (Why is that?)
• Universally generic finitely generated ordered Abelian groups
• Title not available (Why is that?)
• 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)