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