tìm kiếm sách
sách
Quyên góp
Đang nhập
Đang nhập
Người dùng đã xác minh danh tính được phép:`
nhận xét cá nhân
Telegram bot
Lịch sử download
gửi tới email hoắc Kindle
xóa mục
lưu vào mục được chọn
Cá nhân
Yêu cầu sách
Khám phá
Z-Recommend
Danh sách sách
Phổ biến
Thể loại
Đóng góp
Quyên góp
Lượt uload
Litera Library
Tặng sách giấy
Thêm sách giấy
Search paper books
LITERA Point của tôi
Tìm từ khóa
Main
Tìm từ khóa
search
1
О решетках типов интерпретируемости многообразий
Смирнов Д.М.
интерпретируемости
решётки
типов
adγ
многообразий
решётке
чисел
числа
следствие
степени
многообразие
lπ
смирнов
группа
циклом
множество
определяет
элементов
квадратов
множества
подрешётку
предложение
решётка
силу
теор
gλ
lλ
порождённая
решётках
элемент
подмножеств
разложимости
решёткой
свободных
справедливо
типы
алгебра
алгебраических
выполняется
делителей
изоморфную
многообразия
рис
частично
gλk
gπi
ξm
делит
логика
называется
Năm:
2005
Ngôn ngữ:
russian
File:
PDF, 167 KB
Các thể loại của bạn:
0
/
0
russian, 2005
2
Решетка типов интерпретируемости многообразий Кантора
Смирнов Д. М.
кантора
решетки
c1,2
ϕ
многообразие
многообразий
алгебр
решетке
типов
интерпретируемости
алгебры
c1,16
множество
решетка
c1,3
алгебра
поста
смирнов
элементов
c1,4
c2,5
cm1
свободные
c1,7
c2,3
ϕ1
ϕ2
конечных
операциями
теореме
тип
целых
элемент
изоморфизма
лемме
многообразия
отображение
предложение
рассмотрим
свободных
фиксированном
чисел
элементы
диаг
доказательство
дуально
изоморфна
изоморфны
отношением
покрывает
Năm:
2005
Ngôn ngữ:
russian
File:
PDF, 177 KB
Các thể loại của bạn:
0
/
0
russian, 2005
3
О типах интерпретируемости регулярных многообразий алгебр
Смирнов Д. М.
интерпретируемости
многообразия
тип
многообразие
многообразий
решетке
регулярных
смирнов
алгебр
называется
любого
регулярного
решетки
степени
элемент
алгебра
многообразием
разложимости
регулярным
gπ
univers
группоидов
единственное
конечного
конечным
логика
локально
неприводимым
определимое
определяется
пересечению
покрытие
покрытий
покрытия
сигнатуры
теоремы
тождеств
2ω
interpretability
lattice
varieties
xπ
верхняя
квадратов
констант
лемма
напомним
подполурешетка
полурешетке
предлож
Năm:
2006
Ngôn ngữ:
russian
File:
PDF, 119 KB
Các thể loại của bạn:
0
/
0
russian, 2006
1
Đi tới
đường link này
hoặc tìm bot "@BotFather" trên Telegram
2
Xin gửi lệnh /newbot
3
Xin nêu tên cho bot của bạn
4
Xin nêu tên người dùng cho bot
5
Xin copy tin nhắn gần đây từ BotFather và dán nó và đây
×
×