|
|
Пишет maniga (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} maniga) |
ну вот тупой пример. (N,s) натуральные числа с саксессором (s(x)=x+1)
определимые одномерные множества это просто конечные и коконечные
n-мерые --- это булевы комбинации n-ок элементов, отстоящих друг от друга на какие-то фиксированные расстояния и декартовых произведений таких вещей меньшей размерности.
пошёл думать, какое тут \pi_1 )
определимые одномерные множества это просто конечные и коконечные
n-мерые --- это булевы комбинации n-ок элементов, отстоящих друг от друга на какие-то фиксированные расстояния и декартовых произведений таких вещей меньшей размерности.
пошёл думать, какое тут \pi_1 )
Добавить комментарий:
