Тайхмюллера Пространство

Tt- сводимост ь,- специальный вид алгоритмической сводимости. Пусть Аи В - два подмножества натурального ряда. Говорят, что Атаблично сводится к В (обозначение. если существует алгоритм f, к-рый по всякому натуральному числу астроит булеву функцию (функция задается, напр., своей таблицей, число аргументов функции может зависеть от а) и числа b1, . ., b п такие, что принадлежность а к B эквивалентна истинности Отношение является предпорядком на множестве всех подмножеств натурального ряда..

- формула языка исчисления высказываний, принимающая истинностное значение листина. ..

T-cxема, -схема на v-множестве S,- система k- подмножеств (блоков) множества Sтакая, что каждое t-подмножество элементов из Sвстречается точно в блоках. Класс 2-схем совпадает с классом уравновешенных неполных блок-схем. Иногда Т. К. Наз. Также инцидентности система, в к-рой каждое множество инцидентно в точности kэлементам, а любой элемент инцидентен в точности r множествам. Т. К. При t=k наз. Тривиальной. Если Т. К. Нетривиальна, то Каждая t-схема есть s-схема при любом Число появлений..

- мера t на группе аделей GA связной линейной алгебраич. Группы G, определенной над глобальным полем К, конструируемая следующим образом. Пусть - ненулевая K-определенная дифференциальная форма на Gмаксимальной степени. Для нормирования vиз множества Vвсех неэквивалентных нормировании поля Кчерез обозначается мера Хаара на локально компактной группе точек Gнад пополнением Kv,получаемая из (см. [1], [2]). Если произведение взятое по всем неархимедовым v, где - группа целых v-адических точ..