Finitely generic models of TUH, for certain model companionable theories T

DOI10.2307/2274316MaRDI QIDQ3698783zbMATH OpenOpenAlexFDO

Authors Françoise Point

Publication date 1985

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274316

zbMATH Keywords

discriminatorfinite genericitymodel companionuniversal Horn class

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Model-theoretic algebra (03C60)

Recommendations

• scientific article; zbMATH DE number 3918351
• Model companions for finitely generated universal Horn classes
• Generic variations of models ofT
• ULTRA-UNIVERSAL MODELS
• Model complete universal Horn classes

Cited in

(2)

• scientific article; zbMATH DE number 3918351 (Why is no real title available?)
• Model companions for finitely generated universal Horn classes

This page was built for publication: Finitely generic models of T_UH, for certain model companionable theories T

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3698783)