Класс алгебраической кривой
максимальное число касательных, которые можно провести к данной алгебраической кривой из произвольной точки P плоскости, не лежащей на этой кривой
отображение отрезка натурального ряда или вообще конечного множества натуральных чисел в некоторое множество; обозначается 〈a0, a1, ... , an〉, или (a0, a1, ... , an), или a0, a1, ... , an, или a0a1 ... an (последнее в случае слова); элементы кортежа называются также его компонентами
Математическими списками, или кортежами, являются конечные последовательности компонентов какого-либо
Рассматриваются предельные модели, т. е. счетные модели, которые представляются в виде объединения элементарных цепей простых моделей над конечными множествами, но не изоморфные никакой простой модели над конечным множеством. Любая счетная модель малой теории (т. е. теории со счетным числом типов) является либо простой над некоторым кортежем, либо предельна. При этом любая предельная модель является либо предельной над типом, т. е. представляется в виде объединения элементарной цепи попарно изоморфных простых моделей над реализациями некоторого фиксированного типа, либо предельна над некоторой последовательностью попарно различных типов, над которыми простые модели не изоморфны.В работе охарактеризовано свойство существования предельной модели над последовательностью типов в терминах отношений изолированности и полуизолированности: показано, что существует предельная модель над последовательностью типов тогда и только тогда, когда имеется бесконечно много несимметричным переходов ме...
Секвенции – это формальная запись отношения логической выводимости, имеющая вид F → Θ, где F и Θ являются последовательностями...
Если удается построить вывод, в котором рассматриваемая секвенция является конечной (последней), то секвенция...
Иногда изменяют само понятие секвенции и используют такие объекты, как «надсеквенции», «кортежи секвенций
максимальное число касательных, которые можно провести к данной алгебраической кривой из произвольной точки P плоскости, не лежащей на этой кривой
аксиальный вектор
тензор, среди индексов которого имеются как ковариантные, так и контравариантные