Ыыы

Oct. 24th, 2016 08:08 am
akuklev: (ДР Цертуса 2011)
[personal profile] akuklev
Боже, как я сразу не узнал?
Высшие ℧-модули, которые у меня вырисовываются в мемо про линейные типы из идеи про квантовые трансдьюсеры — это же просто геометрии Зарисского*. Как же я сразу не сообразил-то?.. Теперь я понимаю откуда у Зильбера квантовый гармонический осциллятор из теории моделей всплывает.


____
(* У геометрий вылезающих из теорий на первом уровне “type of generic points, i.e. equivalence classes of model elements modulo observational distinghishability”, на втором “type of generic point couples”, “type of generic point triples” и т.д., у таких геометрий автоматически есть отображение из подвешивания n-ного уровня в (n + 1)-ый, т.е. это спектры. Интенесно, образуют ли геометрии Зарисского AT-категорию? Было бы красиво.)
From:
Anonymous( )Anonymous This account has disabled anonymous posting.
OpenID( )OpenID You can comment on this post while signed in with an account from many other sites, once you have confirmed your email address. Sign in using OpenID.
User
Account name:
Password:
If you don't have an account you can create one now.
Subject:
HTML doesn't work in the subject.

Message:

 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.

December 2016

S M T W T F S
    123
456789 10
11121314151617
18192021222324
25262728293031

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 21st, 2017 03:55 pm
Powered by Dreamwidth Studios