Syntactic approach to constructions of generic models

DOI10.1007/S10469-007-0012-4MaRDI QIDQ3546078zbMATH OpenOpenAlexFDO

Authors S. V. Sudoplatov

Publication date 18 December 2008

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-007-0012-4

zbMATH Keywords

generic modelgeneric theory

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Recommendations

• Model Complete Generic Structures
• scientific article; zbMATH DE number 1786532
• CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES
• Generic models of logic programs
• scientific article; zbMATH DE number 3938561
• scientific article; zbMATH DE number 6174937
• A generic abstract syntax model for embedded languages

Cited in

(11)

• Synthesized and inherited functions. A new computational model for syntax-directed semantics
• Definable Sets in Generic Structures and their Cardinalities
• Linearly ordered theories which are nearly countably categorical
• Conflict and conflict-free theories
• Spectra for generative classes
• Lattices in generative classes
• Generations of generative classes
• Model Complete Generic Structures
• scientific article; zbMATH DE number 6174937 (Why is no real title available?)
• CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES
• Combinations related to classes of finite and countably categorical structures and their theories

This page was built for publication: Syntactic approach to constructions of generic models

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