DOI10.2307/2274316zbMath0577.03014MaRDI 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
discriminator; model companion; universal Horn class; finite genericity
Mathematics Subject Classification ID
03C60: Model-theoretic algebra
03C25: Model-theoretic forcing
Cites Work