An Omitting Types Theorem with an Application to the Construction of Generic Structures.

DOI10.7146/MATH.SCAND.A-11470MaRDI QIDQ4401930zbMATH OpenOpenAlexFDO

Authors Harold Simmons

Publication date 1973

Published in MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/166311

Mathematics Subject Classification ID

Other classical first-order model theory (03C68)

Cited in

(1)

• Omitting types in incomplete theories

This page was built for publication: An Omitting Types Theorem with an Application to the Construction of Generic Structures.

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