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

DOI10.2307/2274316zbMath0577.03014OpenAlexW2106326670MaRDI QIDQ3698783

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

discriminatormodel companionuniversal Horn classfinite genericity

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item

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