Abstract: In model theory, there are many examples of structures and constructions with complex signatures: Morley and Skolem extensions, Marker expansions, Hrushovski construction, etc. On the other hand, in mathematical linguis tics, words of a natural language are used as symbols (or signs) to denote entities, properties of entities, properties of properties of entities, etc. The set of these words, symbols or signs form a lexicon or a signature. This is not just a set, there is a certain structure on it, with relations of variousarities. For example, each word has a grammar category (sometimes two or more), transitive verbs can posses monotonicity of different directions for different arguments, etc. We discuss compexity issues of structures of such kind within the framework of Sigma-definability

Cite: Stukachev A.I.
Structures on Signatures if Structures
XVI международная летняя школа-конференция «Пограничные вопросы теории моделей и универсальной алгебры» 08-13 Jul 2024