Concept information
Preferred term
first order structures
Type
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
Broader concept
Narrower concepts
- atomic structure
- beth definability theorem
- completeness of theory
- craig interpolation theorem
- digonal embedding
- ehrenfeucht-mostowski structure
- elementary embedding
- expansion of structure
- extension of structure
- finitely-generated structure
- homogeneous structure
- locally finite structure
- quantifier elimination
- satisfaction
- term
- universal structure
In other languages
-
Persian
URI
http://www.irandoc.acir/onto/irandoc/math0007613
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}