High Quality Content by WIKIPEDIA articles! In model theory, interpretation of a structure M in another structure N is a technical notion that approximates the idea of representing M inside N. For example every reduct or definitional expansion of a structure N has an interpretation in N. Many model-theoretic properties are preserved under interpretability. For example if the theory of N is stable and M is interpretable in N, then the theory of M is also stable. An interpretation of M in N with...
High Quality Content by WIKIPEDIA articles! In model theory, interpretation of a structure M in another structure N is a technical notion that approximates the idea of representing M inside N. For example every reduct or definitional expansion of a structure N has an interpretation in N. Many model-theoretic properties are preserved under interpretability. For example if the theory of N is stable and M is interpretable in N, then the theory of M is also stable. An interpretation of M in N with parameters is a pair where n is a natural number and f is a surjective map from a subset of Nn onto M such that the f-preimage of every set X Mk definable in M by a first-order formula without parameters is definable by a first-order formula with parameters. Since the value of n for an interpretation is often clear from context, the map f itself is also called an interpretation
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
Перевод с греческого, послесловие: А. Ф. Лосев. Комментарии: А. Ф. Лосев, А. А. Тахо-Годи. Иллюстрации (40): П. Ю. Перевезенцев. Книгу составили избранные диалоги Платона (427–347 гг. до н. э.), одного из величайших философов греческого античного мира. Ранние диалоги «Апология Сократа», «Критон» и «Протагор» написаны под влиянием мыслителя Сократа (469–399 гг. до н. э.), учителя и вдохновителя Платона. Диалоги...
Оставить комментарий