Разное

Ершова алгебра и геометрия самостоятельные и контрольные работы: Страница не найдена – Репетитор по математике

Содержание

Ершова, А. П. — Самостоятельные и контрольные работы по алгебре и геометрии для 7 класса : Разноуровневые дидактические материалы

Поиск по определенным полям

Чтобы сузить результаты поисковой выдачи, можно уточнить запрос, указав поля, по которым производить поиск. Список полей представлен выше. Например:

author:иванов

Можно искать по нескольким полям одновременно:

author:иванов title:исследование

Логически операторы

По умолчанию используется оператор AND.
Оператор AND означает, что документ должен соответствовать всем элементам в группе:

исследование разработка

author:иванов title:разработка

оператор OR означает, что документ должен соответствовать одному из значений в группе:

исследование OR разработка

author:иванов OR title:разработка

оператор NOT исключает документы, содержащие данный элемент:

исследование NOT разработка

author:иванов NOT title:разработка

Тип поиска

При написании запроса можно указывать способ, по которому фраза будет искаться. Поддерживается четыре метода: поиск с учетом морфологии, без морфологии, поиск префикса, поиск фразы.

По-умолчанию, поиск производится с учетом морфологии.

Для поиска без морфологии, перед словами в фразе достаточно поставить знак «доллар»:

$исследование $развития

Для поиска префикса нужно поставить звездочку после запроса:

исследование*

Для поиска фразы нужно заключить запрос в двойные кавычки:

«исследование и разработка«

Поиск по синонимам

Для включения в результаты поиска синонимов слова нужно поставить решётку «#» перед словом или перед выражением в скобках.

В применении к одному слову для него будет найдено до трёх синонимов.

В применении к выражению в скобках к каждому слову будет добавлен синоним, если он был найден.

Не сочетается с поиском без морфологии, поиском по префиксу или поиском по фразе.

#исследование

Группировка

Для того, чтобы сгруппировать поисковые фразы нужно использовать скобки. Это позволяет управлять булевой логикой запроса.

Например, нужно составить запрос: найти документы у которых автор Иванов или Петров, и заглавие содержит слова исследование или разработка:

author:(иванов OR петров) title:(исследование OR разработка)

Приблизительный поиск слова

Для приблизительного поиска нужно поставить тильду «~» в конце слова из фразы. Например:

бром~

При поиске будут найдены такие слова, как «бром», «ром», «пром» и т.д.

Можно дополнительно указать максимальное количество возможных правок: 0, 1 или 2. 4 разработка

По умолчанию, уровень равен 1. Допустимые значения — положительное вещественное число.

Поиск в интервале

Для указания интервала, в котором должно находиться значение какого-то поля, следует указать в скобках граничные значения, разделенные оператором TO.
Будет произведена лексикографическая сортировка.

author:[Иванов TO Петров]

Будут возвращены результаты с автором, начиная от Иванова и заканчивая Петровым, Иванов и Петров будут включены в результат.

author:{Иванов TO Петров}

Такой запрос вернёт результаты с автором, начиная от Иванова и заканчивая Петровым, но Иванов и Петров не будут включены в результат.

Для того, чтобы включить значение в интервал, используйте квадратные скобки. Для исключения значения используйте фигурные скобки.

ГДЗ Алгебра 7 класс Ершова, Голобородько

  • Алгебра 7 класс
  • Тип пособия: Самостоятельные и контрольные работы
  • Авторы: Ершова, Голобородько
  • Издательство: «Илекса»

Алгебра. С-1. Вариант: А-1

Предыдущее

Следующее

Предыдущее

Следующее

Математика объединяет в себе два предмета: алгебру и геометрию. В алгебре задания даются в основном на счет, на умение работать с текстовыми задачами, выделять и обобщать самое главное. В геометрии необходимо знать теоремы, которые нужно уметь правильно применять. К сожалению не все школьники могут справиться одновременно с двумя дисциплинами. Поэтому создаются в помощь различные сборники с ответами. Одним из таких изданий является «ГДЗ по алгебре 7 класс Контрольные и самостоятельные работы Ершова, Голобородько (Илекса)».

Какие трудности возникают у школьников

Кроме основного учебника, на занятиях по математике предлагается использовать дополнительную литературу. Для проведения текущего и итогового контроля, а также для подготовки к экзамену пригодится пособие с проверочными работами. Это издание содержит отдельные самостоятельные и контрольные работы по алгебре, а также по геометрии. Рассматриваются упражнения, разбитые по трем уровням сложности, наподобие ОГЭ. Так школьникам необходимо сделать задания:

  • задать формулой зависимость;
  • на одном чертеже построить несколько графиков;
  • найти все неразвернутые углы по рисунку;
  • построить определенный вид треугольника.

Задачи по геометрии даются по учебникам авторов Погорелов А.В. и Атанасян Л.С. С алгеброй учащиеся обычно легко справляются, ведь там нужен в основном счет и применение изученных алгоритмов. А для решения геометрических задач нужно уметь ориентироваться в теоремах, аксиомах. Помочь справиться со сложными заданиями способен сборник с готовыми ответами.

Содержание онлайн-пособия

Решебник работает в режиме онлайн. Открыть его можно на любом удобном устройстве: планшете, телефоне, ноутбуке. Материал не нужно скачивать. В ГДЗ можно найти не только верные ответы, но и подробные объяснения, примеры решения, иллюстрации, различные подсказки. Структура сайта очень проста и будет понятна каждому. Поиск упражнений осуществляется по номеру проверочной работы, по варианту, а также по уровню сложности. С помощью этого сервиса любое домашнее задание семиклассник выполнит безошибочно.

Чем полезен онлайн-ресурс

Использование решебника в учебе помогает школьнику приобрести уверенность в своих знаниях. Ведь он всегда может:

  1. проверить правильность выполненного задания;
  2. узнать алгоритм решения;
  3. подготовиться к проверочной работе;
  4. закрепить изученный материал.

«ГДЗ по алгебре 7 класс Контрольные и самостоятельные работы Ершова А.П., Голобородько В.В. (Илекса)» помогает вовремя устранить ошибки и недочеты. К тому же использовать это издание можно в следующие годы. Особенно оно пригодится, когда нужно будет вспомнить пройденный материал, чтобы пройти итоговую аттестацию.

Портфолио

Входной срез

Входной срез по математике, 6 класс — скачать

Входной срез по алгебре, 7 класс — скачать

Входной срез по алгебре, 8 класс — скачать

Входной срез по алгебре, 9 класс — скачать

Входной срез, 9 класс — скачать

Входной срез по алгебре, 10 класс — скачать

Входной срез по алгебре, 11 класс (соц. эконом) — скачать

Входной срез по алгебре, 11 класс (физ-мат) — скачать

 

Материалы для 11 класса

Контрольный срез по алгебре, 11 класс, декабрь — скачать

Контрольные работы, 11 класс — скачать

Контрольная работа «Логарифмическая функция», 11 класс — скачать

Самостоятельная работа «Корни», 11 класс — скачать

Самостоятельная работа Свойства логарифмов, 11 класс — скачать

Самостоятельная работа «Степени и корни», 11 класс — скачать

Тест «Свойства логарифмов», 11 класс — скачать

 

Материалы для 10 класса

Административная контрольная работа, 10 класс, 1 четверть — скачать

Контрольный срез по алгебре, 10 класс, декабрь — скачать

Контрольная работа «Тригонометрия», 10 класс — скачать

Самостоятельная работа «Аркфункции», 10 класс — скачать

Самостоятельная работа «Формулы двойного аргумента и формулы понижения степени», 10 класс — скачать

 

Материалы для 9 класса

Контрольная работа по алгебре, 9 класс, 2 четверть — скачать

Домашние контрольные работы, 9 класс — скачать

Зачет по текстовым задачам и др. рациональным уравнениям, 9 класс — скачать

Самостоятельная работа «Неравенства», 9 класс — скачать

 

Материалы для 8 класса

Административная контрольная за 1 полугодие, алгебра , 8 класс — скачать

Контрольная работа по алгебре, 8 класс, 1 четверть — скачать

Контрольная работа по алгебре, 8 класс, 2  четверть — скачать

Контрольный срез по алгебре, 8 класс, декабрь — скачать

Тематические контрольные работы, 8 класс — скачать

Самостоятельная работа «Арифметический квадратный корень» — скачать

 

Материалы для 7 класса

Контрольная работа по алгебре, 7 класс, 3 четверть — скачать

Контрольная работа по алгебре, 7 класс, 2 полугодие — скачать 

Контрольная работа «Разложение многочлена на множители», 7 класс, — скачать

 

Итоговые и экзаменационные работы

Итоговая контрольная работа, 7 класс —  скачать

Итоговый тест, 7 класс — скачать

Итоговая контрольная работа для 8 класса — скачать

Экзаменационная работа по алгебре, 8 класс — скачать

Контрольная работа итоговая, 10 класс — скачать

 

 

 

Дидактические материалы  по математике, 6 класс (скачать с alleng. ru):

Математика. 6 класс. Самостоятельные работы. Зубарева И.И., Лепешонкова И.П., Мильштейн М.С. (2009, 136с.)

Сборник задач и упражнений по математике. 6 класс.  Гамбарин В.Г., Зубарева И.И. (2011, 95с.)

Дидактические материалы по математике. 6 класс. К уч. Зубаревой И.И., Мордковича А.Г. — Рудницкая В.Н. (2014, 128с.) 

Тесты по математике. 6 класс. К учебнику Зубаревой И.И., Мордковича А.Г. — Рудницкая В.Н. (2013, 112с.) 

 

Дидактические материалы  по алгебре, 7 класс (скачать с alleng.ru):

Алгебра. 7 класс. Самостоятельные работы. Александрова Л.А. (2014, 104с.)

Алгебра. 7 класс. Контрольные работы. Александрова Л.А. (2014, 39с.)

Алгебра. 7 класс. Блицопрос.  Тульчинская Е.Е. (2008, 128с.)

 

Дидактические материалы  по алгебре, 8 класс (скачать с alleng.ru):

Алгебра. 8 класс. Самостоятельные работы.  Александрова Л.А. (2013, 112с. )

Алгебра. 8 класс. Контрольные работы.  Александрова Л.А. (2014, 40с.)

Алгебра. 8 класс. Блицопрос.  Тульчинская Е.Е. (2009, 120с.)

 

Дидактические материалы  по алгебре, 9 класс (скачать с alleng.ru):

Алгебра. 9 класс. Самостоятельные работы. Александрова Л.А. (2015, 112с.)

Алгебра. 9 класс. Контрольные работы.  Александрова Л.А. (2010, 32с.)

Алгебра. 9 класс. Блицопрос.  Тульчинская Е.Е. (2010, 91с.)

 

Дидактические материалы  по алгебре и началам анализа, 10, 11 класс (скачать с alleng.ru):

Алгебра и начала математического анализа. 10 класс. Контрольные работы. (базовый и углубл. уровни)  Глизбург В.И. (2014, 64с.)

Алгебра и начала математического анализа. 10 класс. Самостоятельные работы. (базовый и углубленный уровни). Александрова Л.А. (2015, 208с.)

Алгебра и начала математического анализа. 11 класс. Контрольные работы. (профильный уровень) Глизбург В.И. (2013, 61с. )  

Алгебра и начала математического анализа. 11 класс. Самостоятельные работы. (базовый и углубленный уровни). Александрова Л.А. (2015, 134с.)

Авторы: Ершова | Контрольные

Математика 6 Ершова Контрольные работы

Математика 6 Ершова Контрольные работы по математике с ответами для любого УМК. В учебных целях использованы цитаты из пособия для учащихся «Самостоятельные и контрольные работы по математике для 6 класса / Ершова А.П., Голобородько В.В. — М.: ИЛЕКСА» , которое используется в комплекте с любым учебником математики.

Контрольные работы по … ЧИТАТЬ ДАЛЕЕ

Математика 5 Контрольные работы Ершова

Математика 5 Контрольные работы Ершова с ответами и подробными решениями (для любого УМК), 3 уровня сложности по 2 варианта. Цитаты из пособия «Самостоятельные и контрольные работы по математике для 5 класса / А.П. Ершова, В.В. Голобородько — М.: ИЛЕКСА» использованы в учебных целях. В конце каждой контрольной для родителей даны … ЧИТАТЬ ДАЛЕЕ

Геометрия 9 Годовая контрольная К-6

Геометрия 9 Годовая контрольная (Атанасян)

Геометрия 9 Годовая контрольная (УМК Атанасян и др. ) + ОТВЕТЫ. Цитаты годовой контрольной работы в 2-х вариантах из пособия для учащихся «Сборник заданий для тематического и итогового контроля знаний. 9 класс / А.П. Ершова — М.: ИЛЕКСА». Представленная контрольная работа используется в комплекте с … ЧИТАТЬ ДАЛЕЕ

Алгебра 9 Годовая контрольная К-9

Алгебра 9 класс

Годовая контрольная работа

Годовая контрольная работа по алгебре 9 класс в 6 вариантах с ответами. Цитаты из пособия «Самостоятельные и контрольные работы по алгебре и геометрии / А.П. Ершова и др. — М.: ИЛЕКСА» использованы в учебных целях. Представленная контрольная работа используется в комплекте с учебником «Алгебра … ЧИТАТЬ ДАЛЕЕ

Геометрия 8 Итоговая контрольная КА-7

Геометрия 8 Итоговая контрольная (Атанасян)

Геометрия 8 Итоговая контрольная (УМК Атанасян и др.) + ОТВЕТЫ. Цитаты годовой контрольной работы в 6-ти вариантах из пособия для учащихся «Самостоятельные и контрольные работы по алгебре и геометрии. 8 класс / А.П. Ершова, В.В. Голобородько, А.С. Ершова — М.: ИЛЕКСА». Представленные контрольные … ЧИТАТЬ ДАЛЕЕ

Геометрия 8 Годовая контрольная КП-7

Геометрия 8 Годовая контрольная КП-7 (Погорелов)

Геометрия 8 Годовая контрольная (УМК Погорелов и др.) + ОТВЕТЫ. Цитаты итоговой контрольной работы в 6-ти вариантах из пособия для учащихся «Самостоятельные и контрольные работы по алгебре и геометрии. 8 класс / А.П. Ершова, В.В. Голобородько, А.С. Ершова — М.: ИЛЕКСА». Представленные … ЧИТАТЬ ДАЛЕЕ

Геометрия 7 Итоговая контрольная КА-5

Геометрия 7 Итоговая контрольная (Атанасян)

Геометрия 7 Итоговая контрольная (УМК Атанасян и др.) + РЕШЕНИЯ и ОТВЕТЫ. Цитаты итоговой контрольной работы в 6-ти вариантах из пособия для учащихся «Самостоятельные и контрольные работы по алгебре и геометрии. 7 класс / А.П. Ершова, В.В. Голобородько, А.С. Ершова — М.: ИЛЕКСА». … ЧИТАТЬ ДАЛЕЕ

Геометрия 7 Годовая контрольная КП-5

Геометрия 7 Годовая контрольная (Погорелов)

Геометрия 7 Годовая контрольная (УМК Погорелов и др. ) + РЕШЕНИЯ и ОТВЕТЫ. Цитаты итоговой контрольной работы в 6-ти вариантах из пособия для учащихся «Самостоятельные и контрольные работы по алгебре и геометрии. 7 класс / А.П. Ершова, В.В. Голобородько, А.С. Ершова — М.: ИЛЕКСА». … ЧИТАТЬ ДАЛЕЕ

Алгебра 7 Годовая контрольная

Алгебра 7 Годовая контрольная (Ершова)

Алгебра 7 Годовая контрольная + ОТВЕТЫ. Цитаты итоговой контрольной работы в 6-ти вариантах из пособия для учащихся «Самостоятельные и контрольные работы по математике для 7 класса / А.П. Ершова, В.В. Голобородько — М.: ИЛЕКСА».

Пособие используется в комплекте с любым учебником по алгебре … ЧИТАТЬ ДАЛЕЕ

Алгебра 8 Годовая контрольная

Алгебра 8 Годовая контрольная (Ершова)

Алгебра 8 Годовая контрольная + ОТВЕТЫ. Цитаты итоговой контрольной работы в 6-ти вариантах из пособия для учащихся «Самостоятельные и контрольные работы по математике для 8 класса / А. П. Ершова, В.В. Голобородько — М.: ИЛЕКСА».

Пособие используется в комплекте с любым учебником по алгебре … ЧИТАТЬ ДАЛЕЕ

%PDF-1.5
%
4 0 объект
>
эндообъект
7 0 объект
(1. Введение)
эндообъект
8 0 объект
>
эндообъект
11 0 объект
(1.1. Обсуждение проблемы)
эндообъект
12 0 объект
>
эндообъект
15 0 объект
(1.2. Основные результаты)
эндообъект
16 0 объект
>
эндообъект
19 0 объект
(1.3. Генерация ядра Джонсона конечным числом поворотов Дена)
эндообъект
20 0 объект
>
эндообъект
23 0 объект
(1.4. Некоторые вопросы и замечания)
эндообъект
24 0 объект
>
эндообъект
27 0 объект
(2. БНС-инвариант и эффективная конечная генерация)
эндообъект
28 0 объект
>
эндообъект
31 0 объект
(2.1. Обзор инварианта БНС и доказательство критерия БНС)
эндообъект
32 0 объект
>
эндообъект
35 0 объект
(2.2. Явное нахождение неотрицательных форм)
эндообъект
36 0 объект
>
эндообъект
39 0 объект
(2.3. Дополнительная гипотеза)
эндообъект
40 0 объект
>
эндообъект
43 0 объект
(2.4. Основной результат)
эндообъект
44 0 объект
>
эндообъект
47 0 объект
(2. 5. Явный набор образующих для K)
эндообъект
48 0 объект
>
эндообъект
51 0 объект
(3. Эффективная конечная генерация [IAn,IAn])
эндообъект
52 0 объект
>
эндообъект
55 0 объект
(4. Эффективная конечная генерация [In1, In1] и ядро ​​Джонсона)
эндообъект
56 0 объект
>
эндообъект
59 0 объект
(4.1. Предварительные)
эндообъект
60 0 объект
>
эндообъект
63 0 объект
(4.2. Генераторы для группы классов отображений)
эндообъект
64 0 объект
>
эндообъект
67 0 объект
(4.3. Образующие подгруппы Торелли и подповерхностей I)
эндообъект
68 0 объект
>
эндообъект
71 0 объект
(4.4. Абелевы факторы подгруппы Торелли)
эндообъект
72 0 объект
>
эндообъект
75 0 объект
(4.5. Некоторые элементы Mod\(\))
эндообъект
76 0 объект
>
эндообъект
79 0 объект
(4.6. Аналог леммы 3.2)
эндообъект
80 0 объект
>
эндообъект
83 0 объект
(4.7. Оценка констант A)
эндообъект
84 0 объект
>
эндообъект
87 0 объект
(4.

«\f~[Z-鵫J=\Jse융Hc-WV%KrewGOL+f[t
8

Некоторые аффинные конструкции на JSTOR

Информация о журнале

Журнал символической логики (JSL) был основан в 1936 году.
стал ведущим исследовательским журналом в этой области. Выходит ежеквартально.
Том 71, который будет опубликован в 2006 году, будет состоять примерно из 1300
страницы. Журнал распространяется вместе с Бюллетенем символической логики. То
Журнал и Бюллетень являются официальными органами
Ассоциация символической логики, международная организация, поддерживающая
исследования в области символической логики и содействие обмену идеями между математиками,
философы, компьютерщики, лингвисты и другие заинтересованные в этом
поле.Основной целью журнала является публикация оригинальных научных
работать в символической логике. Журнал намерен представлять
вся область символической логики, которая стала очень широкой, включая ее
связи с математикой и философией, а также новые аспекты, связанные с
к информатике и лингвистике.

Журнал приглашает к представлению научных статей и
пояснительные статьи по всем разделам символической логики. Они могут иметь технические,
философские или исторические акценты. Для того, чтобы быть рассмотренным для публикации,
документы должны быть подготовлены в соответствии с Руководством JSL и должны быть представлены
одному из редакторов JSL. В настоящее время журнал не имеет отставания
и ожидаемое время от подачи до публикации составляет около одного года.

Информация об издателе

Ассоциация символической логики — международная организация, поддерживающая
исследования и критические исследования в области логики. Его основная функция заключается в обеспечении
эффективный форум для представления, публикации и критического обсуждения
научной работы в этой области исследования.Среди многочисленных направлений деятельности Ассоциации
организует и спонсирует встречи и летние школы по всему миру, и
издает книги и журналы.
Логика — древняя дисциплина, которая претерпела поразительные современные изменения.
путем введения строгих формальных методов, стимулируемых в значительной степени основополагающим
проблемы по математике. «Символическая логика» — это термин, предназначенный для обозначения
вся область логических исследований, предпринятых в этом современном духе.
Ассоциация была основана в 1936 году, в то время, когда большие достижения в области логики
стали производиться.Его первыми членами были в основном математики и
философы, которые видели общую почву и стремились ее укрепить. Недавний
исследования в других областях, таких как информатика, лингвистика и когнитивная
наука также была вдохновлена ​​логикой, а нынешнее членство и деятельность
Ассоциации отражает такие расширяющиеся интересы.

Предыдущие семинары по алгебре Рутгерса (с 1995 г.)

13 сентября Университет Бар-Илана Луи Роуэна «Общая теория алгебраических структур для тропической математики»
20 сен Никола Тараска Рутгерс «К-классы локусов Брилла-Нётера и детерминантная формула»
27 сен Фам Хуу Тиеп Рутгерс «Уровни персонажа и границы персонажа»
4 октября Дэйв Дженсен Йельский университет «Линейные системы на общих кривых фиксированной гональности»
11 октября Gernot Stroth Martin-Luther Univ. «О подгруппе Томпсона»
18 окт Хан-Бом Мун ИАС «Бирациональная геометрия пространств модулей параболических расслоений»
1 ноября Дэнни Крашен Рутгерс «Чрезвычайно неразложимые алгебры с делением»
8 ноя Лев Борисов Рутгерс «Явные уравнения фальшивой проективной плоскости»
15 ноября Джулия Хартманн У. Пенн. «Локально-глобальные принципы для рациональных точек и нулевых циклов»
22 ноября — семинара нет — День благодарения 23 ноября; Расписание занятий в пятницу
29 ноя Чак Вейбел Рутгерс «К-теория линейных расслоений и гладких многообразий»
6 декабря Сет Болдуин Н.Каролина «Эквивариантная K-теория, связанная с группами Каца-Муди»
13 декабря Брук Уллери Гарвард «Гональность кривых полного пересечения».
Занятия заканчиваются 13 декабря; Выпускные экзамены 15-22 декабря 2017 г.

Весенние семинары 2017 г. (по средам в 14:00 на H705)

22 февраля Райан Шифлер Технологический институт Вирджинии «Эквивариантные квантовые когомологии нечетного симплектического грассманиана»
 1 марта Чак Вейбель Рутгерс «Группа поверхностей Витта и трехмерные многообразия»
 8 мар Оливер Печеник Рутгерс "Разложения многочленов Гротендика"
15 мар без семинара ------------------ Весенние каникулы ----------
22 мар Илья Капович UIUC/Hunter College "Динамика и полиномиальные инварианты для свободных циклических групп"
29 марта Рэйчел Левангер Рутгерс «Перемежающиеся модули персистентности и приложения персистентной гомологии к задачам гидродинамики»
 5 апр Кристиан Ленарт Олбани-SUNY "Модули Кириллова-Решетихина и полиномы Макдональда: обзор и приложения"
19 апр Андерс Бух Рутгерс "Загадки квантового исчисления Шуберта"
26 апр Сювон Чанг Рутгерс "Эквивариантная квантовая K-теория проективного пространства"

Занятия заканчиваются 1 мая; Выпускные экзамены 4-10 мая 2017 г.

Осенние семинары 2016 г. (по средам в 2:00 ч523)

21 сентября Фей Ци Рутгерс "Что такое мероморфная алгебра вершин с открытыми струнами?"
28 сентября Чжуохуэй Чжан Рутгерс "Кватернионные дискретные серии"
 5 окт. Сьювон Чанг Рутгерс "Эйлеровы характеристики в комимышечной квантовой К-теории"
12 октября Эд Карасевич Рутгерс «Эллиптические кривые и модульные формы»
19 окт Натали Хобсон Ю.Грузия "Квантовая Костка и задача первого ранга для sl  2m "
26 окт Оливер Печеник Рутгерс "К-теоретическое исчисление Шуберта"
 2 ноя Василий Долгушев Храм У "Запутанный лабиринт комплексов графов"
 9 ноября Джейсон Маккалоу Райдер У. «Алгебры, подобные Рису, и гипотеза Эйзенбада-Гото»
16 ноября Роберт Лаугвиц Рутгерс «Представления  p  -DG 2-категории»
23 ноября --- семинара нет --- День благодарения 24 ноября; Расписание занятий в пятницу
30 ноя Семен Артамонов Рутгерс "Двойные алгебры Герстенхабера некоммутативных поливекторных полей"
 7 дек Даниэль Крашен У.Джорджия «Геометрия и арифметика алгебраических структур» (Специальный доклад)
14 декабря Анджела Гибни У. Джорджия «Векторные расслоения конформных блоков на пространстве модулей кривых» (специальный доклад)
Занятия заканчиваются 14 декабря; Выпускные экзамены 16-23 декабря 2016 г.

Весенние семинары 2016 г. (по средам в 2:00 на H705)

20 января Университет Бар-Илана Луи Роуэна «Симметризация в тропической алгебре»
 3 фев Володя Ретах Рутгерс "Обобщенные присоединенные действия"
10 Фев Омер Бобровски Дюк (@noon!) «Случайная топология и ее приложения»
17 фев Лиза Карбон Рутгерс "Арифметические конструкции гиперболических групп Каца-Муди"
 2 марта Чак Вайбель Рутгерс «Относительные делители Картье»
 9 марта Лев Борисов Рутгерс "Эллиптические роды сингулярных многообразий и смежные темы"
16 мар без семинара ------------------ Весенние каникулы ----------
23 марта Рэйчел Левангер Рутгерс «Колчаны Аусландера-Рейтена конечномерных алгебр»
30 марта Ричард Лайонс Рутгерс «Аспекты классификации простых групп»
 6 апреля Ричард Лайонс Рутгерс «Аспекты классификации, продолжение»
13 апр Сиддхартха Сахи Рутгерс "Собственные значения обобщенных операторов Капелли"
20 апр Эд Карасевич Рутгерс "Некоторые аспекты p-адических представлений и формула Кассельмана-Шалики"
27 апр Семен Артамонов Рутгерс "Некоммутативная пуассоновская геометрия"
Занятия заканчиваются 2 мая; Выпускные экзамены 4-10 мая.


Осень 2015 г. Семинары (по средам в 2:00 ч525)

 7 окт Чак Вайбел Рутгерс "Моноиды, кольца моноидов и схемы моноидов"
14 окт Лев Борисов Рутгерс "Введение в особенности A-D-E"
21 окт Дилан Аллегретти Йельский университет "Квантование канонического базиса Фока и Гончарова"
28 Окт Володя Ретах Рутгерс "Некоммутативные поперечные отношения"
 4 ноя Габриэле Небе У.Аахена «Автоморфизмы экстремальных кодов».
11 ноя Чак Вайбель Рутгерс "Относительные делители и многочлены Картье"
18 ноя Глен Уилсон Рутгерс «Мотивная стабильная гомотопия над конечными полями»
25 ноября --- семинара нет --- День благодарения 26 ноября; Расписание занятий в пятницу
 2 декабря Андерс Бух Рутгерс «Формула Тома Портеуса»
 9 декабря Фам Хуу Тиеп У. Аризона «Представления конечных групп и приложения»
Занятия заканчиваются 10 декабря; Выпускные экзамены 15-22 декабря.


Весна 2015 Семинары (по средам в 2:00 ч224)

27 января ---
 4 февраля Джесси Вольфсон, Чикаго, «Карта индексов и законы взаимности для символов Конту-Каррера»
18 фев Джастин Линд Рутгерс «Системы Fusion и центральные соединительные системы»
25 фев Лев Борисов Рутгерс "Делители нуля в кольце многообразий Гротендика"
 4 мар Володя Ретах Рутгерс "Некоммутативные триангуляции и феномен Лорана"
 6 MarC Burt Totaro UCLA/IAS «Бирациональная геометрия и алгебраические циклы» (коллоквиум)
11 марта Андерс Бух Рутгерс "ТК"
18 мар без семинара ------------------ Весенние каникулы ------------------
22 апр Ховард Нойер Рутгерс "Об особых кубических четырехмерных многообразиях"
Занятия заканчиваются 4 мая; Весенние выпускные экзамены проходят с 7 по 13 мая.


Осенние семинары 2014 г. (по средам, 15:15–16:15, H525)

17 сентября Эдвин Беггс Ю.Суонси «Квазиклассическое приближение к некоммутативной римановой геометрии»
24 сен Андерс Бух Рутгерс "Эквивариантные квантовые когомологии и головоломки"
 8 окт. Лев Борисов Рутгерс "Вырезать и вставлять подходы к рациональности четырехмерных кубов"
15 окт. Чак Вейбел Рутгерс "Группа реальных многообразий Витта"
22 окт Эд Карасевич Рутгерс «Якобианы модулярных кривых»
29 октября Чарли Сигел (IPMU, Япония) «Модульная операда встроенных кривых»
 5 ноя без семинара
12 ноября Марвин Треткофф, Техас, A&M «Некоторые некомпактные римановы поверхности, разветвленные в трех точках»
19 ноя Эшли Ролл Ю.Вирджиния «Собственность Т для групп Кац-Муди»
26 ноября (День Благодарения — 27 ноября) без семинара
 3 декабря Alex Lubotzky NYU/Hebrew U. (Израиль) «Ситовые методы в теории групп»


Весна 2014 г. Семинары (по средам в 2:00 ч.224)

26 апр Анатолий Вершик, Санкт-Петербургский государственный университет, Россия "Инвариантные меры и стандартность"
5 марта Грег Мюллер, Мичиган "Локально ациклические кластерные алгебры"
12 марта Джулианна Рэйнболт, Университет Сент-Луиса «Ячейки Брюа, содержащие только правильные элементы»
26 марта Бьянка Вирей, Браун У.  «Неразветвленные классы Брауэра на циклических покрытиях проективной плоскости»
9 апр. Лев Борисов, Рутгерс "Досадная проблема в торической геометрии"
23 апреля Ховард Нуэр, Рутгерс «Введение в кубические четырехмерные пространства и их пространство модулей»
30 апреля Виджей Равикумар, Институт Тата "Эквивариантные правила Пьери для изотропных грассманианов"


Осенние семинары 2013 г. (по средам в 14:00 на H525)

Подробная информация о семинарах осени 2013 г. находится по адресу

ЭТОТ САЙТ

 4 сентября Деларам Кахробаи CUNY «Применение алгебры в информационной безопасности»
 2 октября Боб Гуральник USC и IAS «Размеры фиксированных пространств»
 9 окт Леонид Петров Северо-Восток "Соответствия Робинсона-Шенстеда-Кнута и их $(q,t)$-деформации"
16 окт. Найт Фу Рутгерс "Теория кручения и слайс-фильтрация гомотопически инвариантных пучков с переносами"
23 октября Ральф Кауфманн Пердью / IAS «Три алгебры Хопфа и их общая алгебраическая и категориальная основа»
30 октября Ховард Нуэр Рутгерс «Устойчивость по Бриджленду и модули на поверхностях Энриквеса»
 6 ноября Эндрю Блумберг У. Техас «Вероятностный вывод в топологическом анализе данных»
13 ноя Пьер Картье ИХЭС "Группы Галуа дифференциальных уравнений: некоммутативный аналог"
20 ноя Жолт Патакфалви Принстон "Классификация алгебраических многообразий: классические результаты и последние достижения в положительной характеристике"


Семинары , весна 2013 г. (по средам в 14:00 на H525)

24 января Дэниел Эрман Мичиган «Уравнения, сизигии и векторные расслоения»
30 января Дэвид Андерсон У. Пэрис «Эквивариантное исчисление Шуберта: положительность, формулы, приложения»
 6 фев Чак Вайбел Рутгерс "Что такое дериватор?"
13 февраля В.Ретах Рутгерс "Геометрический подход к некоммутативному явлению Лорана"
20 фев Татьяна Бандман Бар-Илан "Динамика и сюръективность некоторых карт из 
 слов на SL(2,q)"
27 фев Боб Гуральник USC и IAS "Сильно плотные подгруппы алгебраических групп"
13 марта Мина Тейхер Бар-Илан «3 основные проблемы в группе кос»
20 мар без семинара -------------- Весенние каникулы -------------
 3 апреля Джо Росс USC "Теория пересечений на сингулярных многообразиях"
10 апр Лев Борисов Рутгерс "Гильбертовы модулярные трехмерные многообразия дискриминанта 49"
17 апр.  Чарли Сигел (IPMU, Япония) «Циклические каверы, разновидности Прима и отношения Шоттки-Юнга»
24 апр Фрейя Притчард CUNY "Неявные системы дифференциальных уравнений"
 1 мая Алексей Степанов (Санкт-Петербург).СПбГУ) "Строение групп Шевалле над кольцами"


Осенние семинары 2012 г. (по средам в 14:00 на H525)

19 сентября Чак Вейбел Рутгерс "Двоичные коды и покрытия Галуа многообразий"
10 окт Андерс Бух Рутгерс «Кривые районы»
17 окт Дэн Грейсон IAS "Вычисления в теории пересечений"
24 окт. Джастин Линд Рутгерс «Системы слияния с заданными централизаторами инволюции»
31 окт Лев Борисов Рутгерс "О гильбертовых модулярных трехмерных многообразиях дискриминанта 49"
 7 ноя Оливер Рондигс Оснабрюк, Германия "О срезовой фильтрации для эрмитовой К-теории"
14 ноя Хауи Нуэр Рутгерс "поверхности на трехмерных складках Калаби-Яо"
21 ноя без семинаров, занятия по пятницам (неделя Благодарения)
28 ноя Сьюзен Дерст Рутгерс "Универсальные алгебры разметки для ориентированных графов"
 5 дек Анастасия Ставрова Ю. 1, неустойчивый K_1 и другие функторы"
12 декабря Джо Росс USC «Предварительные пучки с ориентированными слабыми переносами»

Осенний семестр 2012 г. начинается 4 сентября; (Среда 21 ноября будет занятиями по пятницам).

Занятия заканчиваются ср., 12 декабря; Выпускные экзамены начнутся в пятницу 14.12.11.


Весна 2012 Семинары (по средам в 2:00 в H525)

25 янв Василий Долгашев Temple Univ. «Исчерпание процедур квантования»
 8 фев Чак Вайбель Рутгерс "Сдвиговая эквивалентность и Z[t]-модули"
15 фев Пабло Пелаес Рутгерс «Введение в гири»
22 фев Андерс Бух Рутгерс "К-теория миниатюрных многообразий"
29 фев Юлия Плавник Ю.Кордова «От алгебры к теории категорий: первый подход к категориям слияния»
 7 мар Анастасия Ставрова У.Эссен "О неустойчивых K_1-функторах, ассоциированных с простыми алгебраическими группами"
14 мар без семинара -------------- Весенние каникулы -------------
21 марта Марк Уокер У. Небраска «Инварианты матричных факторизаций»
28 мар Лев Борисов Рутгерс "Комбинаторные аспекты торической зеркальной симметрии"
 5 апреля Джо Росс USC «Когомологические теории с носителями», четверг, 11:00, высота 425. 
11 апр В.Ретах Рутгерс «Некоммутативные явления Лорана».
18 апр Бен Висер, Джорджия, «Симметричные замыкания орбит подгрупп на многообразиях флагов как универсальные локусы вырождения»
25 апр Линг Бао Чалмерс У. (Швеция) "Алгебраические симметрии в супергравитации"

Весна 2012 г. Семестр начинается 17 января, занятия заканчиваются 30 апреля.

Весенние каникулы 11-18 марта, экзамены начинаются 3 мая.


Осенние семинары 2011 г. (по средам в 14:00 в h523)

14 сентября Чарльз Сигел У. Пенн. «Проблема Шоттки и кривые рода 5»
28 сентября Абид Али Рутгерс "Подгруппа конгруэнции решеток в группах Каца-Муди ранга 2 над конечными полями"
 5 октября Райка Деи Сержи-Понтуаз «Кластерные алгебры и категоризация»
12 окт. Чак Вайбел Рутгерс "Что такое (помимо разновидностей) мотивные пространства?"
19 окт Райка Деи Сержи-Понтуаз «Кластерные алгебры и категоризация (bis)»
26 окт Андерс Бух Рутгерс "Формулы Джамбелли для ортогональных грассманианов"
 2 ноя Алиса Ризардо Колумбия "О функторах типа Фурье-Мукаи"
 9 ноя Чанлун Чжун Оттова "Сравнение дуализирующих комплексов"
16 ноя Анастасия Ставрова Ю. Эссена «Гипотеза Серра-Гротендика о торсорах и
                                    классификация простых алгебраических групп"
23 ноя без семинаров, без занятий (Неделя Благодарения)
30 ноя Лев Борисов Рутгерс "Эллиптические функции и уравнения модулярных кривых"
 7 декабря Пабло Пелаес Рутгерс «Гомотопические методы в алгебраической геометрии»

Осенний семестр 2011 г. начинается 1 сентября; (Четверг 8 сентября будет занятиями по понедельникам).

Занятия заканчиваются вторник, 13 декабря; Выпускные экзамены начнутся в пятницу 16.12.11.


Весенние семинары 2011 г.
(по средам в 14:00 в CoRE 431)

21 января Чэньян Сюй Принстонский коллоквиум (пятница)
26 января Григор Саргсян UCLA TBA (понедельник, янв.1-гомотопическая теория"
 2 мар Володя Ретах Рутгерс "Линейные рекурсивные последовательности, феномен Лорана и диаграммы Дынкина"
 9 марта Чак Вейбел Рутгерс «Моноидные алгебры и моноидные схемы»
16 мар без семинара -------------- Весенние каникулы -------------
30 мар Володя Ретах Рутгерс "Гильбертовы ряды алгебр, связанные с прямыми графами и гомологиями порядка"
 6 апр Лев Борисов Рутгерс "Сизигии биномиальных идеалов и торическая гипотеза Эйзенбуда-Гото"
13 апреля Крайтон Огл, штат Огайо, «Циклические гомологии, симплициальные алгебры быстрого распада и приложения к K  *   t  (l¹(G))»
20 апр.  Сьюзен Дерст Рутгерс «Крученые полиномиальные кольца и вложения свободной алгебры»
27 апр Чак Вейбел Рутгерс «Производные категории оцениваемых модулей»
 4 мая
Весенние финалы 5-11 мая; последний день занятий 2 мая (понедельник)


Осенние семинары 2010 г. (по понедельникам в 16:30 на H705)

20 сен Uma Iyer Bronx Community College "Квантовые дифференциальные операторы" (16:50)
27 сентября Чак Вайбель Рутгерс «Моноиды и алгебраическая геометрия» (16:50)
 4 октября Боб Гуральник USC «Размеры пространств с фиксированными точками элементов в линейных группах» (16:50)
11 окт Володя Ретах Рутгерс «Гильбертовы ряды алгебр, ассоциированные с ориентированными графами, и гомологии порядка» (16:50)
18 окт Лев Борисов Рутгерс "Эквивалентность, производная от Пфаффа-грассмана" (16:30)
 1 ноя Чак Вейбель Рутгерс "Операции с этальными когомологиями" (16:30)
 8 нояб. Андерс Бух Рутгерс «Правила Пьери для K-теории комикускулярных грассманианов» (16:30)
15 ноя Володя Ретах Рутгерс "Краткое доказательство кластерной гипотезы Концевича" (16:30)
22 ноя без семинара (расписание занятий по средам, неделя в День Благодарения)
29 ноя Эрл Тафт Рутгерс «Произведение Ли в непрерывном двойственном Ли алгебре Витта» (16:30)
 6 декабря Чак Вайбель Рутгерс «Мотивные когомологические операции» (16:30)
13 декабря Ральф Кауфманн Пердью и IAS «Алгебраические структуры из операд» (16:30)
Осенние финалы — декабрь. 16-23; последний день занятий 13 декабря (понедельник)


Весна 2010 Семинары (по понедельникам в 4:50 в H705)

 1 февраля Университет Макса Каруби. Париж 7 "Периодичность в эрмитовых К-группах"
15 фев Чак Вайбель Рутгерс Исключительные объекты (по Полищуку)
22 фев
 1 марта Рэй Хублер CCNY «Приложения стабильных расслоений к группам Витта и группам Брауэра»
 8 марта Кристиан Кассель CNRS & U.Strasbourg "Повороты Дринфельда и конечные группы"
15 мар без семинара -------------- Весенние каникулы -------------
22 марта Эрл Тафт Рутгерс «Алгебры Хопфа и рекурсивные последовательности»
29 марта Чак Вайбел Рутгерс "Tilting 1"
 5 апр Карло Мацца У.Генуя "К-теория мотивов"
12 апр Миодраг Иованов УНЦ "Обобщенные алгебры Фробениуса, интегралы и приложения к алгебрам Хопфа и компактным группам"
19 апр Чак Вайбел Рутгерс "Tilting 2"
26 апр Роберт Уилсон Рутгерс «Тилтинг 3»
 3 мая Уильям Кейгер Рутгерс-Ньюарк «Модульные структуры на кольце серии Гурвица»
Весенние каникулы — 13–21 марта 2010 г. ; Выпускные экзамены начинаются в четверг, 6 мая.

Онлайн-семинар по логике

Онлайн-семинар по логике

Онлайн-семинар по логике собирается еженедельно по четвергам в 13:00 по центральному времени США (в настоящее время UTC-6) в Zoom.Вы можете подключиться к живому семинару, нажав здесь или присоединившись к конференции Zoom с идентификатором конференции 122 323 340.

В тех случаях, когда у меня есть слайды или ссылка на них, у меня есть ссылка из названия доклада.

Предстоящие переговоры

  • 13 января:
    • Докладчик: Калеб Камруд (Университет штата Айова)
    • Название: Непрерывная логика, диаграммы и значения истинности для вычислимых представлений
    • Abstract: Голдбринг, Макниколл и я исследовали арифметические и гиперарифметические степени финитарных и вычислимых бесконечных диаграмм непрерывной логики для вычислимо представленных метрических структур. Поскольку истинностное значение предложения непрерывной логики может быть любым действительным в [0,1], мы ввели два вида диаграмм на каждом уровне: закрытую диаграмму, которая инкапсулирует слабые неравенства истинностных значений, и открытую диаграмму, которая инкапсулирует строгие неравенства. Мы показали, что для любой вычислимо представленной метрической структуры и любого вычислимого ординала α замкнутой и открытой диаграммами Σ c α являются Π c α+1 и Σ c α 902 соответственно , что замкнутая и открытая диаграммы Π c α представляют собой Π c α и Σ c α+1 .

      Однако доказательство оптимальности этих оценок было нетривиальной задачей. Поскольку стандартное представление [0,1] с евклидовой метрикой вычислимо компактно, мы были вынуждены работать с натуральными числами с дискретной метрикой (в некотором смысле «простейшим» некомпактным метрическим пространством). Попутно мы также доказали несколько удивительных комбинаторных результатов. Затем МакНиколл и я продолжили наше исследование вычислимой бесконечной непрерывной логики и обнаружили, что для любого ненулевого вычислимого ординала α и любого правильного Π c α (или Σ c α ) действительного числа существует Π c α (или Σ c α ) предложение, которое повсеместно интерпретируется как это значение.

  • 20 января:
    • Докладчик: Дэниел Турецкий (Веллингтонский университет Виктории)
    • Название: истинных стадий — от приоритетных аргументов к описательной теории множеств
    • Abstract: Механизм истинных стадий был задуман как метод организации сложных конструкций приоритетов в теории вычислимости, очень похожий на метатеорему Эша. Однако с небольшой модификацией она может оказаться чрезвычайно полезной в дескриптивной теории множеств. Используя эту технику, мы можем получить хорошие доказательства результатов Уоджа, Хаусдорфа и Куратовского и Луво, иногда усиливая результат в процессе.
      Не вдаваясь слишком глубоко в детали, я расскажу об этом механизме и о том, как он применим к дескриптивной теории множеств.
  • 27 января: Лорен Викман (Университет Флориды)
  • 3 февраля: уточняется
  • 10 февраля: Колоколова Антонина (Мемориальный университет Ньюфаундленда)
  • 17 февраля: уточняется
  • 24 февраля: Роман Коссак (Центр выпускников Городского университета Нью-Йорка)
  • 3 марта: Адам Кейс (Университет Дрейка)
  • 10 марта: уточняется
  • 17 марта: уточняется
  • 24 марта: уточняется
  • 31 марта: уточняется

Прошлые разговоры в этой серии

2020

  • 2 апреля:
    • Докладчик: Ной Швебер
    • Название: (Не) Вычисление линейных порядков
    • Abstract: Я расскажу об общей проблеме управления медведевскими (=равномерными) редукциями между линейными порядками, а именно, между линейным порядком и его конечными интервалами. {CK}$s для конечных $n$) все еще открыты; позже Джулия Найт и Александра Соскова дали гораздо более простой пример линейного порядка с конечным интервалом, который он не вычисляет равномерно и находится низко в арифметической иерархии.

      Я приведу два дополнительных примера, призванных дополнить эту картину:

      • Рассеянный линейный порядок с бесконечным числом конечных интервалов не вычисляется Медведевым.
      • (невычислимый) линейный порядок без нетривиальных медведевских редукций между ним и его конечными интервалами вообще, в точном смысле.
      • Каждый из них находится ниже в арифметической иерархии. Более того, эти конструкции непосредственно обобщаются на общие понятия равномерной сводимости.

      Если останется время, я представлю отдельную работу, мотивированную попыткой поиска более простых, несравнимых с Медведевым колодцев.

  • 9 апреля:
    • Докладчик: Наташа Добринен (Университет Денвера)
    • Название: Свойства Рамсея на бесконечных структурах
    • Abstract: Насколько далеко можно продвинуть теорему Рамсея о натуральных числах, если вместо раскрашивания всех k-размерных подмножеств натуральных чисел раскрашиваются копии конечной структуры внутри некоторой бесконечной структуры? Существует множество результатов, распространяющих конечную теорему Рамсея на классы конечных структур, но гораздо меньше для бесконечной теоремы Рамсея. Я дам некоторый обзор известных до сих пор результатов и некоторых текущих работ, направленных на то, чтобы показать, что более широкий класс известных конечных классов Рамсея также имеет бесконечные теоремы Рамсея. Следует отметить, что бесконечные теоремы Рамсея о бесконечных структурах редко дают один цвет; обычно лучше всего получить конечные оценки, называемые «большими степенями Рамсея».
  • 16 апреля:
    • Докладчик: Сэм Сандерс (Технический университет Дармштадта)
    • Название: Платон и Брауэр, сидящие в бинарном дереве.
    • Abstract: Я опишу последние разработки в моем совместном с Дагом Норманном проекте по обратной математике и
      Теория вычислимости несчетного. Теперь обратная математика классифицирует теоремы обычных, т.е.
      не-теория множеств, математика, согласно которой необходимы аксиомы понимания (или существования множества)
      для доказательства. Связанные с ней системы «Большой пятерки», которые, как говорят, охватывают большую часть обычной математики, идеально подходят
      в большую иерархию Гёделя. В отличие от этой общепринятой точки зрения, мы выделяем множество теорем
      обычные математики, живущие «между» средним и сильным уровнями гёделевской иерархии. Делать
      смысл этого наблюдения, мы предлагаем альтернативу пониманию, а именно иерархию, основанную на
      (классически верные) аксиомы непрерывности из интуиционистской математики Брауэра. Мы также показываем
      что Большая пятерка — просто отражение этой новой иерархии, сродни аллегории Платона о пещере.
  • 23 апреля:
    • Докладчик: Мария Соскова (Университет Висконсина, Мэдисон)
    • Название: Фрагменты теории нумерации степеней
    • Abstract: Представляю недавнюю совместную работу с Тедом Сламаном и Штеффеном Лемппом.Рассмотрена задача нахождения уровня квантора, на котором теория частичного порядка степеней перечисления становится неразрешимой. Хорошо известно, что экзистенциальная теория разрешима. Мы установили, что 3-кванторная теория неразрешима. Мы показываем, что фрагмент 2-кванторной теории, известный как проблема расширения вложений, разрешим, и обсуждаем возможные подходы и препятствия на пути к процедуре решения для полной 2-кванторной теории.
  • 30 апреля:
    • Докладчик: Маргарет Томас (Пердью)
    • Название: Подсчет точек и параметризация
    • Abstract: Теория o-минимальности как основы «ручной геометрии» впервые была разработана в рамках теории моделей в 1980-х годах.Среди его широко распространенных приложений в математике было очень влиятельное взаимодействие с диофантовой геометрией, инициированное основополагающей «теоремой о подсчете точек» Пилы и Уилки и приведшее к критическим разработкам проблем «особых точек», таких как проблема Манина—Мамфорда и Андре- -Гипотезы Оорта.

      Стремление к усовершенствованию теоремы Пилы-Уилки остается активной областью исследований в нескольких различных направлениях. Они мотивированы потенциальными диофантовыми приложениями, но сосредоточены на внутренней природе задействованных определимых множеств. Если позволит время, мы обсудим различные аспекты этого поиска, связанные с геометрической гладкой параметризацией, эффективностью и важностью некоторых ключевых систем дифференциальных уравнений.

  • 7 мая:
    • Докладчик: Ребекка Коулсон (Военная академия США)
    • Название: Двудольные метрически однородные графы общего типа диаметра 3: их возраст и их почти достоверные теории
    • Abstract: Известно, что класс случайных графов удовлетворяет закону нуля или единицы: каждое предложение первого порядка в языке графов таково, что доля конечных графов на n вершинах, удовлетворяющих этому предложению, стремится либо к нулю, либо к единице. когда n стремится к бесконечности.Теория «почти наверняка» класса конечных графов совпадает с общей теорией его предела Фрасса — графа Радо. Интересно, что теория почти наверное класса конечных графов без треугольников не совпадает с теорией общего графа без треугольников. В этом докладе мы обсудим еще один класс графов, которые являются пределами Фрейсса, определенными запрещенными конфигурациями, и мы рассмотрим, в частности, два таких графа. Мы показываем, что для одного из них его общая теория соответствует соответствующей теории почти наверное, а для другого общая теория не соответствует соответствующей теории почти наверное.
  • 14 мая:
    • Докладчик: Крис Портер (Университет Дрейка)
    • Заголовок: Извлечение случайности с точки зрения теории вычислимости
    • Abstract: Целью этого доклада является обсуждение недавней работы, проведенной совместно с Дугом Сензером, по понятию скорости извлечения функционалов Тьюринга, которые переводятся между понятиями случайности по отношению к различным лежащим в их основе вероятностным мерам.Мы проанализируем несколько классов процедур извлечения: первый обобщает прием фон Неймана для извлечения несмещенной случайности из бросков смещенной монеты, второй основан на работе Кнута и Яо по созданию смещенной случайности из несмещенной случайности, а третий независимо разработан. Левина и Каутца, который обобщает метод сжатия данных арифметического кодирования. Для каждого из вышеперечисленных классов процедур извлечения мы определим уровень алгоритмической случайности для входных данных, который гарантирует, что мы достигнем соответствующей скорости извлечения при создании выходных данных.Я постараюсь представить этот материал таким образом, чтобы он был доступен для логиков, не являющихся специалистами в области теории вычислимости/алгоритмической случайности.
  • 21 мая:
    • Докладчик: Моше Ю. Варди (Рис)
    • Название: Революция автоматического мышления: от теории к практике и обратно
    • Abstract: В течение последних 40 лет ученые-компьютерщики считали, что
      NP-полные задачи неразрешимы.В частности, булева
      выполнимость (SAT) как парадигматическая проблема автоматизированного мышления
      считался неразрешимым. Однако за последние 20 лет
      была тихой, но драматической революцией, и очень большие экземпляры SAT
      в настоящее время решаются в плановом порядке в рамках разработки программного и аппаратного обеспечения.
      В этом докладе я рассмотрю эту замечательную разработку и покажу, как автоматизировано
      рассуждения теперь являются промышленной реальностью.

      Затем я опишу, как мы можем использовать решение SAT для достижения
      другие автоматизированные логические задачи.Равномерная случайная выборка удовлетворяет
      присвоение истинности данной булевой формулы или подсчет количества таких
      задания являются фундаментальными вычислительными проблемами в компьютере
      наука с приложениями в тестировании программного обеспечения, синтезе программного обеспечения, машинах
      обучение, индивидуальное обучение и многое другое. Хотя теория этих
      проблемы тщательно исследуются с 1980-х годов, аппроксимация
      алгоритмы, разработанные теоретиками, не масштабируются до промышленных масштабов.
      экземпляры.Алгоритмы, используемые в отрасли, обеспечивают лучшую масштабируемость,
      но отказаться от определенных гарантий правильности для достижения масштабируемости. Мы
      описать новый подход, основанный на универсальном хешировании и выполнимости
      Теория по модулю, масштабируемая до формул с сотнями тысяч
      переменные, не отказываясь от гарантий корректности.

  • 28 мая:
    • Докладчик: Уэсли Холлидей (Калифорнийский университет в Беркли)
    • Название: Расширения без выбора Камня двойственности
    • Abstract: В недавней статье «Дуальность Стоуна без выбора» (JSL, март 2020 г.) мы с Ником Бежанишвили разработали теорию двойственности без выбора для булевых алгебр с использованием специальных спектральных пространств, называемых верхними пространствами Виеториса (UV- пространства).В этом докладе я расскажу об основах этой двойственности и обсужу некоторые связи с другими областями логики.
  • 4 июня:
    • Спикер: Уильям Брайан (UNC Charlotte)
    • Название: Стратегии с ограниченной информацией в играх Банаха-Мазура
    • Abstract: Игра Банаха-Мазура — игра бесконечной длины на топологическом пространстве X, в которой два игрока по очереди выбирают элементы бесконечной убывающей последовательности открытых множеств, причем первый игрок старается обеспечить пересечение эта последовательность пуста, а вторая что то нет. Стратегия с ограниченной информацией для одного из игроков — это план игры, который при любом заданном ходе зависит лишь от небольшой части истории игры. В этом докладе мы обсудим гипотезу Телгарского, которая грубо утверждает, что должны существовать топологические пространства, в которых выигрышные стратегии для игры Банаха Мазура не могут быть слишком ограниченными, а должны в значительной степени опираться на большие части истории игры. Недавно было показано, что эта гипотеза неверна в моделях теории множеств, удовлетворяющих GCH + □. В таких моделях всегда есть возможность для одного игрока закодировать всю информацию, касающуюся истории игры, в небольшой ее фрагмент.Мы обсудим эти так называемые стратегии кодирования, почему допущение GCH + □ заставляет их работать так хорошо, и что может пойти не так в других моделях теории множеств.
  • 11 июня:
    • Спикер: Самария Черногория Гусман (У Коста-Рика)
    • Название: Теория моделей псевдореальных замкнутых полей
    • Abstract: Понятие поля ПАК было обобщено С. Басарабом и А.Prestel для упорядоченных полей. Престель называет поле M псевдовещественным закрытым (PRC), если M экзистенциально замкнуто в каждом регулярном расширении L, на которое распространяются все порядки M. Таким образом, поля PRC относятся к реальным закрытым полям так же, как поля PAC относятся к алгебраически закрытым полям.

      В этом докладе мы изучим класс псевдовещественных замкнутых полей (PRC-полей) с теоретико-модельной точки зрения и объясним некоторые основные полученные результаты. Мы знаем, что полная теория ограниченного PRC-поля (т.т. е. с конечным числом алгебраических расширений степени m для каждого m > 1) является NTP_2, и у нас есть хорошее описание разветвления.

      Также в совместной работе с Альфом Оншуусом и Пьером Симоном мы описываем определимые группы в случае, если они имеют f-общие типы.

      В конце доклада мы объясним некоторые результаты, полученные с Сильвеном Ридо. Где мы обобщаем понятие полей PRC на более общий класс полей. В частности, в этот класс входят поля, которые одновременно имеют ордера и оценки.

  • 18 июня:
    • Докладчик: Элейн Пиментель (DMAT/UFRN)
    • Название: Игровая модель для доказательств с затратами
    • Abstract: Мы смотрим на субструктурные исчисления с точки зрения игровой семантики, руководствуясь определенными интуитивными соображениями относительно ресурсо- и, в частности, затрато-сознательных рассуждений. С этой целью мы начнем с игры, в которой игрок I защищает утверждение, соответствующее секвенции (с одним выводом), а игрок II пытается опровергнуть это утверждение.Правила ветвления для аддитивных связок моделируются выбором II, в то время как ветвление для мультипликативных связок приводит к разделению игры на параллельные подигры, все из которых должны быть выиграны игроком I, чтобы добиться успеха. Игра идет полным ходом, добавляя метки затрат к предположениям и соответствующий бюджет. Различные доказательства одной и той же конечной секвенции интерпретируются как более или менее затратные стратегии \I для защиты соответствующего утверждения. Это приводит к новому виду помеченного исчисления, которое можно рассматривать как фрагмент SELL (субэкспоненциальной линейной логики).Наконец, мы обобщаем понятие затрат в доказательствах, используя полукольцевую структуру, иллюстрируем нашу интерпретацию примерами и исследуем некоторые теоретико-доказательные свойства.
      Это совместная работа с Тимо Лангом, Карлосом Оларте и Кристианом Г. Фермюллером.
  • 25 июня:
    • Докладчик: Родриго Торрес-Авилес (U Bio Bio)
    • Название: Топологическое смешение и линейная рекуррентность на SMART
    • Abstract: Цель этого доклада — проанализировать недавнюю работу о свойствах подсдвига, производного от конкретной машины Тьюринга, получившей название SMART, которая обладает множеством интересных свойств (таких как топологическая минимальность и апериодичность). Сначала мы рассматриваем комбинаторное доказательство свойства топологического смешивания субсдвига, полученного из SMART, а затем мы углубляемся, чтобы связать общий субсдвиг машин Тьюринга с более общими свойствами, такими как линейная рекуррентность.
  • 2 июля:
    • Докладчик: Руйюань Чен (Университет Иллинойса, Урбана-Шампейн)
    • Название: Каменная двойственность и сильная концептуальная полнота для бесконечной логики
    • Abstract: Классическая двойственность Стоуна, примененная к теории Линденбаума-Тарского.
      алгебра пропозициональной теории, позволяет синтаксис теории быть
      канонически восстановлено из своего пространства моделей; это включает оба
      теоремы полноты и определимости для логики высказываний.Многие известные варианты и обобщения двойственности Стоуна имеют аналоги.
      интерпретации как теорем полноты-определимости для различных
      фрагменты финитарной логики высказываний и логики первого порядка. В этом
      разговор, я дам обзор этого теоретико-двойственного подхода к
      полноты, включая ключевые примеры двойственности Стоуна, а также
      Двойственность Маккаи для логики первого порядка. Я тогда представлю двойственность
      теорема для счетно бесконечной логики первого порядка
      $L_{\omega_1\omega}$, доказано с помощью инструментов из инвариантного дескриптивного множества
      теория, а также теория топоса.
  • 9 июля:
    • Докладчик: Генри Тауснер (Университет Пенсильвании)
    • Название: Стоит ли верить нестандартному анализу?
    • Abstract: Нестандартный анализ был одним из фокусов дискуссии о роли аксиомы выбора в математике. Я утверждаю, что это обсуждение часто объединяет два разных вопроса — вопрос о том, действительны ли математические аргументы, и вопрос о том, следует ли понимать, что все математические объекты «существуют» одинаково.Я буду обсуждать различные способы демонстрации того, что в большинстве применений нестандартного анализа в математике на самом деле не используется аксиома выбора, и то, как эта перспектива может быть использована для получения новых математических результатов (включая приложения, совместные с Уильямом Симмонсом, для поиска новых оценки для проверки простоты в кольцах многочленов). С другой стороны, я утверждаю (основываясь на совместной работе с Кенни Исвараном), что та же точка зрения выступает против слишком буквальной интерпретации нестандартных значений при рассмотрении приложений с реальными интерпретациями.
  • 16 июля:
    • Докладчик: Линда Браун Вестрик (штат Пенсильвания)
    • Заголовок: Борелевская комбинаторика терпит неудачу в HYP
    • Abstract: Мы показываем, что дуальная теорема Рамсея Бореля неверна в HYP, независимо от числа разбиений k ≥ 2. Следовательно, дуальная теорема Рамсея Бореля не является утверждением гиперарифметического анализа. Мы также применяем аналогичные методы, а именно построение полностью детерминированных псевдоборелевских кодов с помощью декоративных деревьев, для получения результатов, касающихся некоторых теорем о раскраске борелевских графов и проблемы шляпы заключенного.Совместная работа с Генри Тауснером и Роуз Вайсшаар.
  • 23 июля:
    • Докладчик: Дана Бартошова (Университет Флориды)
    • Название: Динамика конечных произведений групп и групповых расширений
    • Abstract: Мы исследуем, как универсальные минимальные потоки взаимодействуют с групповыми операциями. Мы показываем, что универсальный минимальный поток произведения двух копий целых чисел далек от произведения двух копий универсального минимального потока целых чисел.С другой стороны, когда топологическая группа является групповым расширением компактной группы с помощью дискретной группы, универсальный минимальный поток может быть вычислен из дискретной и компактной частей.
  • 30 июля:
    • Докладчик: Мануэла Бусаниче (CCT CONICET Santa Fe)
    • Название: Resituated Lattices: алгебраические конструкции, связанные с субструктурной логикой
    • Abstract: Субструктурные логики — это логики, в которых, когда они сформулированы в системе стиля Генцена, отсутствуют некоторые структурные правила: сокращение, ослабление или обмен.Важность теории субструктурной логики заключается в том, что они обеспечивают общую структуру, в которой можно сравнивать различные логические системы. К ним относятся интуиционистская логика, нечеткая логика, релевантная логика, линейная логика, многозначная логика и другие.

      Их алгебраическая семантика основана на остаточных решетках. Класс этих упорядоченных алгебраических структур довольно велик и сложен для изучения, но он содержит некоторые хорошо известные подклассы, такие как булевы алгебры, алгебры Гейтинга, MV-алгебры.В этом докладе мы увидим различные конструкции новых решеток с вычетами, основанные на более известных алгебрах.

  • 6 августа:
    • Докладчик: Джеймс Уоррелл (Оксфордский университет)
    • Название: Проблемы принятия решений в программном анализе
    • Abstract: Рассматриваются проблемы принятия решений для аффинных программ: простая модель из области анализа программ. В этом докладе мы сосредоточимся на определении существования алгебраических и полуалгебраических инвариантов, которые отделяют достижимые и недостижимые состояния программы, а также на определении завершения.Мы рассмотрим некоторые недавно полученные процедуры решения этих проблем и выделим некоторые давние открытые вопросы.
  • 13 августа:
    • Спикер: Джеймс Хэнсон (Университет Висконсина)
    • Название: Сильно минимальные множества в непрерывной логике
    • Abstract: Непрерывная логика — это обобщение логики первого порядка, подходящее для изучения структур с вещественной метрикой.Существует естественное обобщение понятия строго минимальных множеств на непрерывную логику, и, хотя они не играют совершенно такой же роли в характеристике теорий, категоричных в несчетных мощностях, они интересны сами по себе. После разработки некоторых базовых механизмов строго минимальных множеств в непрерывной логике мы охарактеризуем существенно непрерывные сильно минимальные теории, т. е. те, которые не интерпретируют бесконечную дискретную структуру, и мы используем это для точной характеристики существенно непрерывных сильно минимальных множеств. минимальные группы.
  • 20 августа:
    • Докладчик: Дамир Джафаров (U Conn)
    • Название: Теорема Милликена о дереве и теория вычислимости
    • Abstract: Теорема Милликена о деревьях — мощный комбинаторный результат, обобщивший теорему Рамсея и многие другие известные результаты о разбиениях. Я представлю недавнюю работу об эффективной и теоретико-доказательной силе этой теоремы, которая первоначально была мотивирована вопросом Добринена.Основным результатом является полная характеристика теоремы Милликена о дереве в терминах обратной математики и обычных теоретико-вычислимых иерархий, а также несколько приложений к другим комбинаторным задачам. Ключом к этому является новое индуктивное доказательство теоремы Милликена о деревьях, использующее эффективную версию теоремы Халперна-Лаучли. Это совместная работа с Angles d’Auriac, Cholak, Monin и Patey.
  • 27 августа:
    • Докладчик: Дима Синапова (Иллинойский университет, Чикаго)
    • Название: Итерация, рефлексия и прикры форсирование
    • Abstract: Существует неотъемлемая напряженность между стационарным отражением и несостоятельностью сингулярной кардинальной гипотезы (SCH).Первый принцип типа компактности следует из больших кардиналов. Компактность — это явление, при котором если определенное свойство выполняется для каждой меньшей подструктуры объекта, то оно выполняется и для всего объекта.
      Напротив, отказ SCH является примером некомпактности. Его обычно получают с помощью прикрытой выгонки.

      Мы описываем итерацию в стиле Prikry и используем ее для форсирования стационарного отражения при наличии не SCH. Потом обсуждаем ситуацию на меньших кардиналах.Это совместная работа с Алехандро Поведой и Ассафом Рино.

  • 3 сентября:
    • Докладчик: Карл Муммерт (Университет Маршалла)
    • Название: Сила теоремы Кёнига о раскраске ребер
    • Abstract: Теорема Кёнига о раскраске ребер утверждает, что двудольный граф максимальной степени n имеет раскраску ребер не более чем в n цветов. Мы изучаем теорию вычислимости и обратную математику этой теоремы.Вычислимые двудольные графы со степенью, ограниченной n, имеют вычислимые раскраски ребер с 2n-1 цветами, но теорема о том, что существует раскраска ребер с n цветами, эквивалентна WKL 0 над RCA 0 . Количество разрешенных цветов влияет на вычислимость решения. Мы получаем дополнительное доказательство следующей теоремы Пола Шафера: WKL 0 эквивалентна над RCA 0
      Принцип, согласно которому счетный двудольный n-регулярный граф является объединением n полных паросочетаний.
  • 10 сентября:
    • Докладчик: Мирна Джамоня (IHPST, CNRS-Université Panthéon-Sorbonne Paris, France)
    • Заголовок: О логике, соединяющей дискретное с непрерывным
    • Abstract: Мы изучаем логики, которые моделируют переход от бесконечной последовательности конечных моделей к несчетному предельному объекту, например, в случае графонов.Особый интерес представляет связь между счетным и неисчисляемым объектом, которая получается как объединение против комбинаторного предела одной и той же последовательности.
  • 17 сентября:
    • Докладчик: Александр Беренштейн (U de los Andes)
    • Название: Разложения геометрических теорий как измеримых структур
    • Abstract: Назовем теорию T геометрической, если для любой модели $M\models T$ алгебраическое замыкание удовлетворяет свойству замены и T исключает квантор $\exists^{\infty}$. 2$. Это совместная работа с GarcÃa и Zou.
  • 24 сентября:
  • 1 октября:
    • Докладчик: Виктория Нокес (Университет Индианы)
    • Название: Ковер Серпинского как окончательная коалгебра, полученная завершением
      Начальная алгебра
    • Abstract: В основе этой работы лежит теорема Фрейда, в которой единица
      интервал рассматривается как финальная коалгебра некоторого эндофунктора в
      категория двуточечных множеств.Ленстер обобщил это на широкий класс
      самоподобных пространств в категориях множеств, а также характеризующих их
      как топологические пространства. Бхаттачарья, Мосс, Ратнаяке и Роуз вошли внутрь.
      иное направление, работая в категориях метрических пространств, получая
      единичный интервал и прокладка Серпинского как окончательная колагебра в
      категории двуточечных и трехточечных метрических пространств соответственно. К
      для этого они использовали пополнение Коши исходной алгебры, чтобы
      получить требуемую финальную коалгебру. В их примерах итерации
      фракталов можно рассматривать как склеивание конечного числа
      масштабированные копии некоторого набора в некотором конечном наборе точек (например, углы
      треугольники). Здесь мы расширим эти идеи, чтобы применить их к более широкому классу.
      фракталов, в которых копии некоторого множества склеены по отрезкам (напр.
      стороны квадрата). Воспользуемся методом пополнения начальной алгебры
      получить ковер Серпинского как финальную коалгебру в категории
      метрические пространства, и обратите внимание на необходимые адаптации к этому подходу, большинство
      примечательно, что мы больше не получаем исходную алгебру в качестве копредела
      счетная последовательность метрических пространств.Мы рассмотрим некоторые способы, которыми
      эти результаты могут быть далее обобщены на более широкий класс фракталов.
      Совместная работа с Ларри Моссом.
  • 8 октября:
    • Докладчик: Артем Черников (UCLA)
    • Название: Идемпотентные меры Кейслера
    • Abstract: В теории моделей тип — это ультрафильтр на булевой алгебре определимых множеств и то же самое, что конечно-аддитивная {0,1}-значная мера. Это особый вид меры Кейслера, которая представляет собой просто конечно-аддитивную вещественнозначную вероятностную меру на булевой алгебре определимых множеств. Если рассматриваемая нами структура расширяет группу (т.е. групповые операции определимы), то она часто поднимается до естественной полугрупповой операции на пространстве ее типов/мер, и имеет смысл говорить об идемпотентных среди них. Например, идемпотентные ультрафильтры для целых чисел обеспечивают элегантное доказательство теоремы Хиндмана и вписываются в эту настройку, принимая структуру (Z, +) со всеми ее подмножествами, названными предикатами.С другой стороны, в контексте локально компактных абелевых групп классические работы Венделя, Рудина, Коэна (до изобретения форсинга) и других классифицируют идемпотентные борелевские меры, показывая, что они являются в точности мерами Хаара компактных подгрупп. Я расскажу о недавней совместной работе с Кайлом Гэнноном, направленной на объединение этих двух условий, что, в частности, привело к классификации идемпотентных мер Кейслера в стабильных теориях.
  • 15 октября:
  • 22 октября:
  • 29 октября:
    • Докладчик: Адам Прженосил (Университет Вандербильта)
    • Название: Полупростота, теоремы Гливенко и исключенное среднее
    • Abstract: Существует по крайней мере три различных способа получить классическую логику высказываний из интуиционистской логики высказываний.Во-первых, это расширение интуиционистской логики законом исключенного третьего (LEM). Во-вторых, он связан с интуиционистской логикой переводом Гливенко с двойным отрицанием. Наконец, алгебраические модели классической логики — это в точности полупростые алгебраические модели интуиционистской логики (т. е. булевы алгебры — это в точности полупростые алгебры Гейтинга). Мы показываем, как сформулировать эквивалентность между ЛЭМ и полупростотой, а также между тем, что мы могли бы назвать спутником Гливенко и полупростым спутником логики, на соответствующем уровне общности. Эта эквивалентность включает в себя несколько существующих теорем типа Гливенко, а также некоторые новые. Он также предоставляет полезную технику для описания полупростых подмногообразий данного многообразия алгебр. Это совместная работа с Томашем Лавичкой, основанная на предыдущей работе Джеймса Рафтери.
  • 5 ноября:
    • Докладчик: Фарзане Дерахшан (Карнеги-Меллон)
    • Название: Сильный прогресс для процессов сеансового типа в линейной металогике с циклическими доказательствами
    • Abstract: Типы сеансов описывают коммуникационное поведение взаимодействующих процессов.Двоичные типы сеансов — это особая форма типов сеансов, в которой каждый канал имеет две конечные точки. Свойство строгого прогресса утверждает, что рекурсивный процесс либо завершается, либо сообщается по одному из своих внешних каналов после конечного числа шагов. В этом докладе я покажу, как доказать значительный прогресс для допустимых процессов сеансового типа, определенных в асинхронной вычислительной семантике, работающих во фрагменте бинарных типов сеанса, в котором процесс может использовать не более одного ресурса. Мы формализуем доказательство сильного прогресса через интерпретацию процессов как формул в металогику, которую мы ввели.Металогика — это бесконечное линейное исчисление первого порядка с наименьшей и наибольшей неподвижными точками. Мы строим циклический вывод для сильного свойства прогресса процессов в этом исчислении первого порядка. Налагая условие на логические выводы, мы обеспечиваем их свойство устранения разрезов и обоснованность сильной теоремы о прогрессе.
  • 12 ноября:
    • Докладчик: Линн Скоу (Калифорния, Сан-Бернардино)
    • Название: Передача собственности Рэмси
    • Abstract: Теорема Рамсея для конечных последовательностей является частным случаем класса конечных структур, обладающих свойством Рамсея, где этот класс представляет собой возраст $(\mathbb{Q},
  • 19 ноября:
    • Докладчик: Ануш Церунян (Университет Макгилла)
    • Название: Контейнеры — это просто
    • Abstract: Современным направлением в экстремальной комбинаторике является распространение классических результатов из плотной среды (т. г. Теорема Семереди) к разреженной случайной среде. Точнее, можно показать, что свойство данной «плотной» структуры наследуется случайно выбранной «разреженной» подструктурой. Недавним революционным инструментом для доказательства таких утверждений является метод контейнеров гиперграфов Балога-Морриса-Самотия и Сакстона-Томасона, который ограничивает число независимых множеств в однородно плотных конечных гиперграфах, тем самым подразумевая, что случайное разреженное подмножество не является независимым. В совместной работе с А. Бернштейном, М.Delcourt и H. Towsner, мы даем новое — элементарное и неалгоритмическое — доказательство теоремы о контейнерах для конечных гиперграфов. Наше доказательство вдохновлено рассмотрением гиперконечных гиперграфов в условиях нестандартного анализа, где существует понятие размерности, отражающее логарифмическую скорость роста конечных множеств. Применяя эту интуицию в другом контексте с понятием размерности, а именно, в алгебраически замкнутых полях, А. Бернштейн, М. Делькур и я доказываем аналогичную теорему для «плотных» алгебраически определимых гиперграфов: любое общее по Зарисскому маломерное подмножество таких гиперграфов является «плотным» (в частности, не независимым).
  • 26 ноября: Нет семинара; государственный праздник в США на День Благодарения
  • 3 декабря:
    • Докладчик: Джоанна Франклин (Университет Хофстра)
    • Название: Предельные плотности и конечно-представленные структуры
    • Abstract: Мы решаем вопрос о типичности структур, изучая предельные плотности различных свойств. Мы определяем предельную плотность свойства Q как предел доли представлений многообразия с отношениями длины не более s, которые обладают свойством Q при стремлении s к бесконечности.После предоставления некоторых начальных примеров мы представляем более общий подход к нашему вопросу.

      Эта работа является совместной с Менг-Че «Турбо» Хо и Джулией Найт.

  • 10 декабря:
    • Докладчик: Гиль Саги (Университет Хайфы)
    • Заголовок: Формализация, обязательства и ограничения
    • Abstract: Темой этого доклада является формализация: сопоставление аргументов формального языка аргументам естественного языка с целью оценки достоверности последних.В литературе было признано, что формализация далеко не тривиальный процесс. Нужно отличать логическое от нелогического в предложении, процесс, который требует теоретизирования, выходящего за рамки простого понимания формализованного предложения (Brun 2014). Более того, по мнению некоторых, формализация является формой экспликации и «предполагает творческие и нормативные аспекты построения логических форм» (там же).

      В предыдущей работе я предложил теоретико-модельную основу «семантических ограничений», в которой нет строгого различия между логическим и нелогическим словарем.Форма предложений в формальном языке определяется скорее набором ограничений на модели. В докладе я покажу, как эту структуру можно также использовать в процессе формализации, где семантические ограничения понимаются как обязательства, сделанные по отношению к языку. Я расширим структуру, включив в нее «ограничения формализации» для функций, принимающих аргументы из исходного языка в целевой язык, и рассмотрю различные мета-ограничения как на процесс формализации, так и на его конечный результат.

  • 17 декабря: Нет семинара
  • 24 декабря: Нет семинара: Сочельник
  • 31 декабря: Нет семинара

2021

  • 7 января: Нет семинара; ASL Winter / Совместные математические встречи
  • 14 января (Всемирный день логики ЮНЕСКО):
    • Докладчик: Александра Квятковская (Вроцлавский университет)
    • Название: Простота групп автоморфизмов счетных однородных структур
    • Abstract: Программа понимания нормальной подгрупповой структуры групп, возникающих как группы автоморфизмов счетных структур, восходит по крайней мере к 50-м годам, когда Хигман описал все собственные нормальные подгруппы группы автоморфизмов рациональных чисел (Q,
  • 21 января:
    • Спикер: Ангелики Куцуку-Аргираки (Кембриджский университет)
    • Название: Ассерторическая силлогистика Аристотеля в Изабель / HOL
    • Abstract: Я обсуждаю мою формализацию некоторых основных элементов
      Ассерторическая силлогистика Аристотеля
      с помощью помощника по доказательству (интерактивного средства доказательства теорем) Isabelle/HOL. То
      разработка формального доказательства может
      можно найти в Архиве официальных доказательств
  • 28 января:
      • Спикер: Raimundo Brizeño (Pontificia Universidad Católica de Chile)
      • Название: Разборка, связь, связность и смешивание в реляционных структурах
      • Аннотация: . его счетный аналог появляется под разными обличьями во многих областях математики, информатики и других областях.Его структурные и алгоритмические свойства продемонстрировали, что играют решающую роль во многих из этих приложений. Например, в CSP принятия решений структурные свойства вовлеченных реляционных структур — такие как, например, разборчивость — и их логические характеристики сыграли важную роль в определении сложности и других свойств проблемы. Топологические свойства набора решений, такие как связность, связаны с устойчивостью CSP к случайным структурам.Кроме того, в приближенном счете и статистической физике, где CSP возникают в форме спиновых систем, свойства смешивания и уникальность мер Гиббса активно используются для аппроксимации статистических сумм и свободной энергии.

        Несмотря на большое разнообразие этих черт, между ними есть некоторое жуткое сходство. Они были замечены и уточнены в случае гомоморфизмов графов Брайтуэллом и Винклером, которые показали, что разборчивость целевого графа, связность множества гомоморфизмов и хорошие свойства перемешивания соответствующей спиновой системы эквивалентны.В этом докладе мы пойдем еще дальше и продемонстрируем аналогичные соединения для произвольных CSP. Это требует гораздо более глубокого понимания демонтажа и структуры пространства решений в случае реляционных структур, а также новых уточненных концепций смешивания. Кроме того, мы развиваем свойства, связанные с изучением допустимых расширений данного частично определенного гомоморфизма, подход, который оказывается новым даже в графовом случае. Мы также добавим к этой смеси комбинаторное свойство конечной двойственности и его логический эквивалент, FO-определимость, изученные Ларозом, Лотеном и Тардифом.Это совместная работа с Андреем Булатовым, Виктором Далмау и Бенуа Ларозом.

    • 4 февраля:
      • Докладчик: Питер Чолак (Нотр-Дам)
      • Название: Старые и новые результаты о вычислимо перечислимых множествах
      • Abstract: Мы рассмотрим ряд старых результатов о вычислимо перечислимых множествах и закончим несколькими новыми результатами. Вычислимо перечислимые множества интересны тем, что все, что может происходить вычислимо, происходит в вычислимо перечислимых множествах.
    • 11 февраля:
      • Докладчик: Людовик Патей (Институт Камиллы Джордан, Лион)
      • Название: Канонические понятия принуждения в теории вычислимости
      • не подразумевает, что проблема Q обычно выполняется путем построения вычислимого экземпляра Q, решения которого являются вычислительно сложными, при этом доказывая, что каждый простой экземпляр P имеет простое решение, используя понятие принуждения.В своей полной общности понятие принуждения может зависеть как от P, так и от Q, но в большинстве случаев понятие принуждения для построения решений P не зависит от Q. Это предполагает существование «канонического» понятия принуждения для P, т. е. такое понятие принуждения, что все соответствующие доказательства разделения могут быть получены без ограничения общности с достаточно общими множествами для этого понятия. Мы устанавливаем формальные рамки для обсуждения этого вопроса и приводим предварительные результаты. Это совместная работа с Денисом Хиршфельдтом.
    • 18 февраля:
      • Докладчик: Маркос Мазари-Армида (Университет Карнеги-Меллона)
      • Название: Характеристика нётеровых колец с помощью сверхстабильности
      • Abstract: Мы покажем, как можно использовать сверхустойчивость некоторых классов модулей для характеристики нётеровых колец. Ни один из классов модулей, которые мы будем рассматривать, не аксиоматизируем полной теорией первого порядка, а некоторые из них даже не аксиоматизируемы первого порядка, но все они являются абстрактными элементарными классами (AEC). Особое внимание будет уделено этому новому взгляду на классы модулей как на AEC, поскольку я думаю, что у него могут быть интересные приложения. Если позволит время, мы увидим, как представленные идеи можно использовать для характеристики других классических колец, таких как чисто-полупростые кольца и совершенные кольца.
    • 25 февраля:
      • Докладчик: София Найт (Университет Миннесоты, Дулут)
      • Заголовок: Рассуждения об агентах, которые могут знать стратегии других агентов в стратегической логике
      • Abstract: В этом докладе я расскажу о некоторых новых разработках в логике стратегий с несовершенной информацией.Логика стратегии связана со стратегическими способностями агентов в многоагентных системах и, в отличие от ATL, рассматривает стратегии как первоклассные объекты логики, независимые от агентов. Таким образом, в условиях несовершенной информации Стратегическая логика поднимает деликатные вопросы, например, что агенты знают о стратегиях друг друга. Я опишу новую версию логики стратегии, которая обеспечивает единообразие стратегий агентов и позволяет формально описать их знания о стратегиях друг друга.
    • 4 марта:
      • Докладчик: Дакота Ихли (Университет Иллинойса Урбана-Шампейн)
      • Название: Как выглядят генерические автоморфизмы случайного частичного множества
      • Abstract: Случайное ч.у.м. (предел Фрейссе класса конечных
        п.у.м.) допускает общие автоморфизмы — т. е. его группа автоморфизмов
        допускает комеагральный класс сопряженности. Этот результат, по мнению Д.Куске и Дж.
        фермы, было доказано без явного описания автоморфизмов в
        вопрос. Здесь мы даем новое, конкретное описание родового
        автоморфизмы, и мы обсуждаем задействованную комбинаторику и теорию моделей.
    • 11 марта:
      • Докладчик: Мэтью Мур (Университет Канзаса)
      • Название: Проблема скрытых подгрупп для универсальных алгебр
      • Abstract: Проблема скрытых подгрупп (HSP) — это вычислительная задача, которая включает в себя:
        частные случаи целочисленной факторизации, задача дискретного логарифмирования, граф
        изоморфизм и задача о кратчайших векторах. Знаменитое полиномиальное время
        квантовые алгоритмы факторизации и дискретного логарифмирования ограничены
        версии универсального квантового решения HSP с полиномиальным временем для
        абелевых групп, но, несмотря на целенаправленное исследование, нет решения с полиномиальным временем
        для общих групп еще не найдено. Мы предлагаем обобщение HSP на
        включить произвольных алгебраических структур и проанализировать эту новую задачу на
        степени двухэлементных алгебр. Мы доказываем полную классификацию каждого такого
        мощность как квантовая управляемость (т.е. полиномиальное время), классически разрешимый,
        квантово-неразрешимой или классически неразрешимой. В частности, мы определяем
        класс алгебр, для которых обобщенная HSP обладает суперполиномиальным
        ускорение на квантовом компьютере по сравнению с классическим.
    • 18 марта: Нет семинара
    • 25 марта:
      • Докладчик: Михаэль Либерман (Технический университет Брно)
      • Название: Последние разработки в категориальной теории моделей
      • Abstract: Мы даем обзор основ все еще развивающейся области категориальной теории моделей, которая синтезирует идеи и методы, взятые из доступных категорий, абстрактной теории моделей и теории множеств. Мы обсудим фундаментальную связь взаимодействия — очень небольшое обобщение абстрактных элементарных классов (AEC) — и набросаем несколько недавних результатов. В частности, мы рассматриваем:
        • Связи между компактными кардиналами, ручность типов Галуа и замыкание образов доступных функторов (совместная работа с Уиллом Бони).
        • Стабильная независимость от абстрактной категории с удивительными связями с теорией гомотопий (совместная работа с Иржи Росицки и Себастьяном Васей).
    • 1 апреля:
      • Докладчик: Дейдра Хаскелл (Университет Макмастера)
      • Название: Свойства приручаемости теорий нормированных полей с аналитическими функциями
      • Abstract: Важным мотивом теоретико-модельной алгебры за последние тридцать лет было понятие «ручности» и его влияние на понимание определимых множеств структуры.В этом докладе я опишу некоторые способы, которыми этот мотив встречается в случае полей со значениями, особенно упорядоченных выпуклозначных полей, когда они снабжены дополнительными функциональными символами, которые в стандартной модели интерпретируются функциями, определяемыми сходящимися степенными рядами. Все эти понятия будут определены в ходе беседы.
    • 8 апреля: Нет семинара
    • 15 апреля:
      • Сара Рейтцес (Чикагский университет)
      • Название: Сокращение игр по RCA 0
      • Abstract: В этом докладе я расскажу о совместной работе с Дамиром Д.Джафаров и Денис Р. Хиршфельдт. Наша работа сосредоточена на характеристике задач P и Q таких, что P $\leq_{\omega}$ Q, а также задач P и Q таких, что $\textup{RCA}_0 \vdash$ Q $\to$ P, с точки зрения выигрышных стратегий в определенных играх. Эти характеристики были первоначально введены Hirschfeldt и Jockusch. Я буду обсуждать расширения и обобщения этих характеристик, включая определенное понятие компактности, которое позволяет нам для стратегий, удовлетворяющих определенным условиям, ограничивать количество ходов, необходимых для победы.Эта оценка не зависит от рассматриваемого экземпляра задачи P. Это позволяет нам развить идею Вейрауха и обобщенной редукции Вейрауха над некоторой базовой теорией. Здесь мы сосредоточимся на базовой теории $\textup{RCA}_0$. В этом докладе я буду исследовать эти понятия редукции среди различных принципов, уделяя особое внимание принципам ограничения и индукции.
    • 22 апреля:
      • Докладчик: Сильви Анскомб (Парижский университет)
      • Название: Некоторые экзистенциальные теории полей
      • Abstract: Опираясь на предыдущую работу, я буду обсуждать тьюринговские редукции между различными фрагментами теорий полей.В частности, мы приводим несколько теорий полей Тьюринга, эквивалентных экзистенциальной теории рациональных чисел. Это совместная работа с Арно Фемом.
    • 29 апреля:
      • Спикер: Мариана Викариа (Беркли)
      • Название: Устранение мнимых и стабильное доминирование в многозначных полях
      • Abstract: Теория моделей гензелевских полей со значениями была основной темой исследований в прошлом столетии. Замечательная работа была проделана Хаскеллом, Хрушовски и Макферсоном для понимания теории моделей алгебраически замкнутых полей со значениями (ACVF). В ряде основополагающих статей они доказали, что эта теория устраняет мнимые типы после добавления геометрических сортов, и разработали понятие стабильного доминирования, которое описывает, как типы над максимально полными базисами контролируются стабильной частью структуры.

        Я объясню, как распространить эти результаты на более широкий класс гензелевозначных полей эквихарактеристического нуля, алгебраически замкнутых полей вычетов и полирегулярных групп значений.Это включает в себя множество интересных математических структур, таких как ряд Лорана по комплексным числам, но, что более важно, распространяет результаты на поля со значениями с конечным числом определимых выпуклых подгрупп.

    • 6 мая:
      • Докладчик: Валентина Харизанова (Университет Джорджа Вашингтона)
      • Название: Теория вычислимости и автоморфизмы решеток подструктур
      • Abstract Мы используем теоретико-вычислимые понятия и методы для изучения автоморфизмов решеток подструктур канонического вычислимого бесконечномерного векторного пространства над рациональными числами. В частности, мы устанавливаем эквивалентность отношения вложения некоторых групп автоморфизмов отношению порядка соответствующих тьюринговых степеней. Далее мы определяем тьюринговские степени этих групп автоморфизмов. Мы устанавливаем аналогичные результаты для интервальной булевой алгебры над рациональными числами. Это совместная работа с Руменом Димитровым и Андреем Морозовым.
    • 13 мая:
      • Докладчик: Андрес Вильявесес (Национальный университет Колумбии)
      • Название: Отношение разбиения для хорошо обоснованных деревьев Комьята и Шелаха и два приложения к теории моделей
      • Abstract: В 2003 г. Комьят и Шелах доказали теорему о разбиении на типах рассеянного порядка; их, в свою очередь, можно понимать как отношения разделения для классов хорошо обоснованных деревьев.В последнее время в бесконечной логике и в теории моделей использовались два различных вида приложений одного и того же отношения разбиения: одно Вяэняненом и Величковичем в играх, связанных с логикой Шелаха L 1 κ , другое Шелахом и мной в « каноническое дерево» AEC (обобщение предложения Скотта для абстрактного элементарного класса). Я опишу результат Komjáth-Shelah в первой части, а затем уточню приложения (с более подробной информацией о втором, из недавней совместной работы с Shelah).Если позволит время, я также рассмотрю третье взаимодействие между отношениями разделения и проблемами теории моделей.
    • 20 мая:
      • Докладчик: Эндрю Мурхед (Университет Канзаса)
      • Название: Высшие коммутаторы, гиперкубы и иерархия условий централизатора
      • Abstract: Коммутатор исторически изучался для конкретных многообразий алгебр, пока Смит не нашел общее определение коммутатора, которое работало для любой алгебры Мальцева.С тех пор коммутатор стал неотъемлемой частью общего набора инструментов алгебраиста. Булатов обнаружил в начале века, что (бинарный) коммутатор может быть расширен до бесконечной последовательности операций более высокой арности, ни одна из которых не может быть определена термином из других. Это открытие, что наиболее важно, привело к различию между нильпотентной алгеброй и «супернильпотентной» алгеброй. Хотя это различие невидимо для групп, супернильпотентные алгебры Мальцева имеют много общих сильных свойств с нильпотентными группами, в то время как нильпотентные алгебры не обязательно.Мы обсудим, в какой степени некоторые из известных результатов теории коммутаторов можно рассматривать как низкоразмерный случай общей многомерной теории.
    • 27 мая:
      • Докладчик: Алекси Блок Горман (Университет штата Иллинойс, Урбана-Шампейн)
      • Название: Определимость вещественных чисел из автоматов Бюхи
      • Abstract: Автоматы Бюхи являются естественным аналогом конечных автоматов в контексте бесконечных строк (индексированных натуральными числами) в конечном алфавите.Мы говорим, что подмножество X вещественных чисел является r-регулярным, если существует автомат Бюхи, который принимает (одно из) представлений по основанию r каждого элемента в X и отвергает представления по основанию r каждого элемента в его дополнении. Эти множества часто демонстрируют фракталоподобное поведение — например, множество Кантора является 3-регулярным. В логике есть замечательные связи с автоматами Бюхи, особенно в теории моделей. В этом докладе я дам характеристику того, когда расширение реальной упорядоченной аддитивной группы предикатом для замкнутого r-регулярного подмножества [0,1] является теоретически ручным (d-минимальным, NIP, NTP2).Более того, я буду обсуждать, как это совпадает с геометрической прирученностью, а именно с тривиальной фрактальной размерностью. Это будет включать обсуждение того, как свойства определимых множеств изменяются в зависимости от свойств автомата Бюхи, который распознает подмножество предикатов.
    • 3 июня:
    • 10 июня:
      • Спикер: Рэйчел Алвир (Университет Нотр-Дам}
      • Название: Сложность Скотта и конечно α-порожденные структуры
      • Abstract: В этом докладе мы определяем понятие конечно α-порожденной структуры и обобщаем результаты о предложениях Скотта, ранее известные только для конечно порожденных структур. Мы покажем, как эти результаты можно использовать для соединения некоторых существующих неэквивалентных определений ранга Скотта.
    • 17 июня:
      • Докладчик: Кристина Бреч (Университет Сан-Паулу)
      • Название: Изоморфные комбинаторные семейства
      • Abstract: Напомним понятие компактных и наследственных семейств конечных подмножеств некоторого кардинального числа κ и соответствующих им комбинаторных банаховых пространств.Мы представляем комбинаторную версию теоремы Банаха-Стоуна, которая естественным образом приводит к понятию изоморфизма между семействами. Наш основной результат показывает, что различные семейства на ω не изоморфны, если мы предполагаем их растекающимися. Мы также обсудим разницу между исчисляемой и неисчисляемой установками. Это совместная работа с Claribet Piña.
    • 24 июня: Нет Семинар: Североамериканское собрание ASL
    • 1 июля:
      • Докладчик: Дауд Синьора (Американский университет в Каире)
      • Название: Общие автоморфизмы однородных структур
      • Abstract: Группы автоморфизмов счетных структур первого порядка являются польскими группами в топологии поточечной сходимости. Автоморфизм называется общим, если его класс сопряженности совпадает. В этом докладе мы сосредоточимся на генерических автоморфизмах однородных структур, такие структуры возникают как пределы Фрейсса классов объединения конечных структур. Мы представим совместную работу с Итаем Капланом и Томашем Ржепецки по изучению генерических автоморфизмов счетного универсального однородного дерева встреч.
    • 8 июля:
      • Докладчик: Димитра Чомпитаки (Университет Крита)
      • Название: Результаты разрешимости подтеорий часто используемых областей алгебры и теории чисел
      • Abstract: Приведем некоторые известные результаты о разрешимости и неразрешимости теорий кольцевых структур часто используемых областей (многочленные кольца, рациональные функции, формальные степенные ряды).Затем мы сосредоточимся на продолжающихся исследованиях, касающихся некоторых подтеорий, таких как: (а) сложение и отображение Фробениуса для подколец рациональных функций положительной характеристики и (б) сложение и делимость для формальных степенных рядов. Последние результаты в основном относятся к стороне «разрешимости»: полнота модели и исключение кванторов.
    • 15 июля:
      • Спикер: Кристобаль Рохас (Католический университет Чили)
      • Название: Вычислимость гармонической меры
      • Abstract: Мы рассмотрим недавние результаты, связывающие геометрию связной области с вычислимостью ее гармонической меры в данной точке x.В частности, мы обсудим примеры областей, гармоническая мера которых в точке x всегда вычислима относительно x, но не равномерно. Эта конструкция порождает примеры непрерывных функций, возникающих как решения задачи Дирихле (так что они даже гармонические), которые кусочно-вычислимы (т. е. все их значения вычислимы относительно входной точки), но не вычислимы.
    • 22 июля:
      • Докладчик: Ной Швебер (Proof School)
      • Титул: Ceers выше
      • Abstract: Мы исследуем аналоги ceers (вычислимо перечислимых отношений эквивалентности) в обобщенной теории рекурсии, в частности, в теории κ-рекурсии для κ несчетного регулярного кардинала. Классически степени вычислимой вложимости образуют максимально сложный частичный порядок, а именно тот, теория которого вычислимо изоморфна теории истинной арифметики. Мы распространяем этот результат на κ-вс. Интересно, что это требует действительно нового аргумента, и в настоящее время не известен ни один подход, применимый как к ω, так и к несчетному регулярному κ. Более того, ситуация с сингулярными кардиналами, не говоря уже о допустимых ординалах, не являющихся кардиналами, таких как ω CK 1 , полностью открыта.Если позволит время, мы обсудим второе доказательство приведенного выше результата для частного случая κ=ω 1 , преимущество которого состоит в том, что оно применимо к некоторым обобщенным теориям вычислимости, отличным от теорий κ-рекурсии. Это совместная работа с Ури Эндрюсом, Штеффеном Лемппом и Манатом Мустафой.
    • 29 июля:
      • Докладчик: Хантер Спинк (Стэнфорд)
      • Название: Вероятностные результаты антиконцентрации Литтлвуда-Оффорда с помощью теории моделей
      • Abstract: (совместно с Джейкобом Фоксом и Мэтью Кваном) Классическая теорема Эрдоса-Литтлвуда-Оффорда утверждает, что для любых n ненулевых векторов в R d случайная сумма со знаком концентрируется в любой точке с вероятностью не более O(n -1/2 ). Комбинируя инструменты теории вероятностей, аддитивной комбинаторики и теории моделей, мы получаем вероятность антиконцентрации n -1/2+o(1) для любого o-минимального множества S в R d (такого как гиперповерхность определяется полиномом от x 1 ,…,x n ,e x 1 ,…,e x n , или ограниченной аналитической функцией), не содержащей отрезка прямой . Мы делаем это, показывая, что такие o-минимальные множества не имеют аддитивной структуры более высокого порядка, дополняя работу Пилы по аддитивной структуре более низкого порядка, разработанной для подсчета рациональных и алгебраических точек ограниченной высоты.
    • 5 августа: Нет семинара
    • 12 августа: Нет семинара
    • 19 августа:
      • Докладчик: Джоэл Наглу (Университет Иллинойса, Чикаго)
      • Название: Геометрическая тривиальность в дифференциально замкнутых полях
      • Abstract: В этом докладе мы вновь вернемся к проблеме описания «тонкой» структуры геометрически тривиальных сильно минимальных множеств в DCF 0 . В частности, я объясню, как недавняя совместная работа с Гаем Казале и Джеймсом Фрайтагом над фуксовыми группами (дискретная подгруппа SL 2 (R)) и автоморфными функциями привела к интригующим вопросам, связанным с гипотезой Даниэля Ласкара о ω-категоричности. Эта гипотеза была полностью опровергнута Джеймсом Фрейтагом и Томом Скэнлоном с использованием модулярной группы SL 2 (Z) и ее автоморфного униформизатора (j-функции). Я объясню, как их контрпример вписывается в более широкий контекст арифметических фуксовых групп и позволяет нам «предложить» уточнения первоначальной гипотезы.
    • 26 августа:
      • Докладчик: Колин Джаэль (Университет Клода Бернара, Лион 1)
      • Title: Некоторый прогресс в решении уникальной проблемы эргодичности
      • Abstract: В 2005 году Кехрис, Пестов и Тодорчевич выставили
        соответствие между комбинаторными свойствами структур и
        динамические свойства их групп автоморфизмов. В 2012 году Ангел,
        Кечрис и Лайонс использовали это соответствие, чтобы показать уникальную эргодичность
        всех минимальных действий некоторых подгрупп группы S ∞ .В этом
        поговорим, я дам обзор вышеупомянутых результатов и обсужу
        недавняя работа, обобщающая результаты Анхеля, Кехриса и Лайонса в нескольких
        направления.
    • 2 сентября:
      • Докладчик: Кристина Сернадас (Лиссабонский университет)
      • Название: Разрешимость посредством редукции в логиках и их комбинациях
      • Abstract: Проблемы принятия решений в логике включают семантические проблемы, такие как проблемы выполнимости и достоверности.
        и дедуктивные проблемы, такие как теоремность и проблемы следствий.Системы удовлетворения и сокращения между
        они представлены как подходящий контекст для анализа проблем выполнимости и валидности.
        Понятие редукции обобщается, чтобы справиться с комбинацией логик.
        Редукции между системами удовлетворенности вызывают редукции между соответствующими проблемами выполнимости и (в мягких условиях) также между их проблемами достоверности. Приведены достаточные условия для связи проблем выполнимости с проблемами достоверности.Устанавливаются результаты отражения разрешимости при наличии редукций. Доказана разрешимость проблемы валидности в комбинации встреч.
        всякий раз, когда проблемы достоверности для компонентов разрешимы. Обсуждаются некоторые примеры, а именно сочетание модальной логики и интуиционистской логики. Указывается на некоторую текущую работу, связанную с проблемами последствий в контексте систем последствий и их комбинации.
        В этом докладе рассказывается о совместной работе с Жоао Расгой и Вальтером Карньелли.
    • 9 сентября:
      • Докладчик: Марсело Аренас (Папский католический университет Чили)
      • Название: Описательная сложность для подсчета классов сложности
      • Abstract: Описательная сложность была очень успешной в характеристике классов сложности задач принятия решений с точки зрения свойств, определяемых в некоторых логических схемах. Однако описательная сложность для подсчета классов сложности, таких как FP и #P, систематически не изучалась и не так развита, как ее коллега по принятию решений.В этом докладе мы представим структуру, основанную на взвешенной логике, для решения этой проблемы. В частности, сосредоточившись на натуральных числах, мы получаем логику, называемую количественной логикой второго порядка (QSO), и показываем, как некоторые из ее фрагментов можно использовать для захвата основных классов сложности счета, таких как FP, #P и FPSPACE, среди прочих. Кроме того, мы используем QSO для определения иерархии внутри #P, определяя классы подсчета сложности с хорошими свойствами замыкания и аппроксимации, которые допускают естественные полные задачи.
    • 16 сентября:
      • Докладчик: Кэролайн Терри (Университет штата Огайо)
      • Название: Скорости наследственных свойств и взаимная алгебраичность
      • Abstract: Наследственным свойством графа называется класс конечных графов, замкнутых относительно изоморфизма и индуцированных подграфов. Учитывая свойство наследственного графа H, скорость H — это функция, которая переводит целое число n в число различных элементов в H с базовым набором {1,…,н}. Не всякая функция может выступать в качестве свойства скорости наследственного графа. В частности, есть дискретные «скачки» возможных скоростей. Изучение этих скачков началось с работы Шайнермана и Зито в 90-х годах и завершилось серией статей 2000-х годов Балога, Боллобаса и Вайнрайха, в которых были охарактеризованы практически все возможные скорости свойства наследственного графа. В отличие от этого, многие аспекты этой проблемы в постановке гиперграфа остались неизвестными. В этом докладе мы представляем новые гиперграфические аналоги многих скачков из настройки графа, в частности тех, которые связаны с полиномиальной, экспоненциальной и факторной скоростями.Оказалось, что скачки в факториальном диапазоне имеют удивительную связь с теоретико-модельным понятием взаимной алгебраичности, которое мы также обсуждаем. Это совместная работа с Крисом Ласковски.
    • 23 сентября: Нет семинара
    • 30 сентября:
      • Докладчик: Гихани Сенадхира (Университет Южного Иллинойса)
      • Название: Эффективные концептуальные классы несравнимых степеней PACi/PAC и структура перехода
      • Abstract: Вероятно приблизительно правильное обучение (PAC) — это модель машинного обучения, представленная Лесли Валиант в 1984 году.Сводимость PACi относится к сводимости PAC независимо от размера и времени вычислений. Эта сводимость в обучении PAC напоминает сводимость в вычислимости по Тьюрингу. В 1957 г. Фридберг и Мучник независимо друг от друга решили проблему Поста, построив вычислимо перечислимые множества A и B несравнимых степеней с помощью метода приоритетного построения. Мы адаптируем эту идею к PACi/PAC-сводимости и строим два эффективных класса понятий C 0 и C 1 так, что C 0 не сводится к C 1 , и наоборот. При рассмотрении PAC-сводимости необходимо было работать над размером эффективного класса понятий, поэтому мы используем колмогоровскую сложность для получения размера. По аналогии с прыжком Тьюринга мы даем структуру прыжка на эффективных классах понятий. В качестве будущей работы мы начинаем исследовать вложение структур от степеней PAC до степеней 1-1 или степеней Тьюринга.
    • 7 октября:
      • Докладчик: Франсуаза Пойнт (Университет Монс-Эно)
      • Название: Определимые группы в топологических полях с общим выводом
      • Abstract: Мы изучаем класс ручных L-теорий T топологических полей и их расширения с помощью дифференцирования общего положения δ.К рассматриваемым топологическим полям относятся гензелевозначные поля характеристики 0 и вещественные замкнутые поля. Мы аксиоматизируем класс экзистенциально замкнутых L δ -расширений.
        Мы показываем, что T δ * имеет L-открытое ядро ​​(т. е. каждое L δ -определимое открытое множество является L-определимым), и выводим как теорему о клеточном разложении, так и результат переноса исключения мнимых. Другие ручные свойства T, такие как относительное устранение кванторов сортировки полей, NIP и удаленность, также переносятся на T δ * .

        Тогда пусть K будет моделью T δ * и M a |K| + -насыщенному элементарному расширению K, мы сначала свяжем с L δ (K)-определимой группой G в M про-L-определимое множество G ** ∞ , в котором дифференциальные продолжения G ∇_∞ элементов G плотны, используя свойство L-открытого ядра T δ * . Следуя тем же идеям, что и в теореме о конфигурации групп в o-минимальных структурах, разработанной К.Петерзила, мы строим тип L-определимую топологическую группу H ∞ ⊂ G ** ∞ , действующую в K-бесконечно малой окрестности общего элемента группы G ** ∞ в точном, непрерывном и переходный путь. Далее H ∞ ∩ G ∇_∞ плотно в H ∞ и действие H ∞ ∩ G ∇_∞ совпадает с действием, индуцированным начальным L

        Первая часть работы выполнена совместно с Пабло Кубидесом Ковачичем.

    • 14 октября:
      • Докладчик: Франциска Янке (Университет Мюнстера)
      • Название: Разрешимость и определимость в неразветвленных гензелевских полях со значениями
      • Abstract: Неразветвленные и конечно разветвленные гензелевозначные поля являются
        занимает центральное место в изучении теоретико-модельных явлений в смешанной характеристике.
        Разрешимость и определимость в неразветвленных гензелевских полях со значениями
        совершенное поле остатков хорошо изучено, начиная с семенной
        работы Акса, Кохена и Ершова.В этом докладе мы представляем недавние
        развития в неразветвленных гензелевских полях с несовершенными
        поле вычетов, а также прокомментировать, что изменится в случае конечного
        разветвление. Это совместная работа с Сильви Анскомб.
    • 21 октября:
      • Докладчик: Грегори Черлин (Университет Рутгерса)
      • Название: Однородные и обобщенные метрические пространства
      • Abstract: Обобщенные метрические пространства различного рода возникли в
        связь с изучением однородных структур (классификация,
        свойства теории Рамсея).Я буду обсуждать примеры, изученные Зауэром,
        Конант, Браунфельд, Хубичка, Конечны, Нешетир и другие. См., в частности, магистерскую диссертацию Конени (arXiv).
    • 28 октября:
      • Докладчик: Александра Шлапентох (Университет Восточной Каролины)
      • Название: Таинственное кольцо
      • Abstract: Пусть ℚ ab будет наибольшим абелевым расширением ℚ, или, другими словами, композитом всех круговых расширений.ab разрешима. ℚ ab также является расширением второй степени полностью реального поля. О первопорядковой теории колец целых чисел вполне вещественных полей известно гораздо больше, и в некоторых случаях удается вывести неразрешимость первопорядковой теории кольца целых чисел степени 2 расширения вполне вещественного поля из аналогичный результат для кольца целых чисел вполне вещественного поля. Однако этот метод не работает для ℚ ab . Обсуждается возможный путь решения этой проблемы и некоторые сопутствующие вопросы.
    • 4 ноября:
      • Докладчик: Наталья Гарсия Фриц (Католический университет Чили)
      • Название: Десятая проблема Гильберта для колец экспоненциальных многочленов
      • Abstract: После отрицательного решения Дэвиса, Патнэма, Робинсона и Матиясевича в 1970 г. десятая проблема Гильберта была распространена на ряд других колец. Одним из основных естественных открытых случаев является случай кольца комплексных целых функций от одной переменной.После обзора некоторой литературы по этой проблеме, в этом докладе я обрисую отрицательное решение аналога десятой проблемы Гильберта для кольца экспоненциальных многочленов, приближающееся к случаю целых функций. Это совместная работа с Д. Чомпитаки, Х. Пастеном, Т. Фейдасом и Х. Видо.
    • 11 ноября:
      • Докладчик: Яна Маржикова (Университет Вены)
      • Название: Определимые паросочетания в o-минимальных двудольных графах
      • Abstract: Этот доклад будет посвящен вопросу, при каких условиях o-минимально определимый двудольный граф допускает
        определимое соответствие.Мы обсудим некоторый контекст, частичный результат и коснемся возможных приложений. Этот
        работа продолжается.
    • 18 ноября:
      • Докладчик: Сара Укельман (Университет Дарема)
      • Название: Джон Элиот Учебник по логике : Двуязычный учебник англо-алгонкинской логики
      • Abstract: В 1672 году Джон Элиот, английский пуританский просветитель и миссионер, опубликовал The Logick Primer: Some Logical Notions, чтобы посвятить ИНДИЙЦЕВ в знание Правила Разума; и знать, как им пользоваться [1]. В этой примерно 80-страничной брошюре основное внимание уделяется вводу базовой силлогистической лексики и рассуждений, позволяющих создавать силлогизмы из текстов Псалмов, Евангелий и других книг Нового Завета. Использование логики в целях прозелитизма не является чем-то особенным: книга Элиота отличается тем, что она двуязычна, написана как на английском, так и на алгонкинском языке, на котором говорят на восточном побережье и юго-востоке Массачусетса. Это один из первых двуязычных учебников по логике, единственный известный мне учебник на языке коренных американцев и одно из первых печатных свидетельств о языке Массачусетта.

        В этом выступлении я:

        • Познакомить с Джоном Элиотом и лингвистическим контекстом, в котором он работал.
        • Познакомить с содержанием Учебника по логике — словаря, шаблонов логического вывода и приложений.
        • Обсудите понятия «пуританской» логики, лежащие в основе этого учебника.
        • Поговорите о важности его работы по документированию и расширению языка Массачусетта и о проблемах, которые сопровождают его колониальный подход к этой работе.

        [1] Ж.[он] Э.[лиот]. Учебник по логике: некоторые логические понятия для посвящения ИНДЕЙЦЕВ в знание правила разума; и знать, как их использовать . Напечатано MJ, 1672 г.

    • 25 ноября: Семинар запрещен: государственный праздник в США в честь Дня Благодарения
    • 2 декабря:
      • Докладчик: Васко Браттка (Universität der Bundeswehr München)
      • Заголовок: Связь Галуа между скачками Тьюринга и пределами
      • Abstract: Мы обсуждаем связь Галуа между скачками Тьюринга и пределами, которая предлагает новый взгляд на класс предельных вычислимых функций
        и его свойства.Эта точка зрения предлагает не только упрощенные доказательства
        многих известных классических результатов вычислимого анализа, но и
        новые идеи. При таком подходе мы также распространяем более однородный
        Взгляд на теорию вычислимости в целом.
    • 9 декабря:
      • Докладчик: Мостафа Мираби (Уэслианский университет)
      • Название: MS-Измеримость посредством координации
      • Abstract: В этом докладе мы сначала обсудим концепцию MS-измеримых структур, введенную Макферсоном и Стейнхорном в 2007 году.Затем мы определим сильное понятие Координации для ℵ 0 -категориальных структур и покажем, что структура, координируемая ℵ 0 -категориальными MS-измеримыми структурами, сама является MS-измеримой. Этот подход обеспечивает способ построения новых MS-измеримых структур.
    • 16 декабря:
      • Докладчик: Тодор Цанков (Institut Camille Jordan)
      • Название: Непрерывная логика и борелевские отношения эквивалентности
      • Abstract: Теория борелевской сводимости определимых отношений эквивалентности
        была инициирована Фридманом и Стэнли, которые особенно интересовались
        в отношении эквивалентности изоморфизма счетных структур.С тех пор рамки теории значительно расширились, но
        изоморфизм счетных структур остается одной из ситуаций
        где доступны наиболее подробные результаты и где оба метода
        можно применить бесконечную теорию моделей и дескриптивную теорию множеств. В
        В этом докладе я объясню, как можно использовать бесконечную непрерывную логику.
        распространить части этой теории на метрические структуры. Наш главный результат
        речь идет об изоморфизме локально компактных метрических структур, и это
        общее обобщение теорем Хьорта (для локально компактных
        метрические пространства) и Хьорта и Кехриса (для счетных структур).Этот
        это совместная работа с Андреасом Халльбэком и Мацеем Малицки.
    • 23 декабря: Нет семинара
    • 30 декабря: Нет семинара
    • 6 января: Семинар не проводится в связи с (запланированной ранее) зимней встречей ASL

    Отправить корреспонденцию на

    Кафедра математики
Почтовый код 4408
Университет Южного Иллинойса
1245 Линкольн Драйв
Карбондейл, Иллинойс 62901
Офис: (618) 453-6573
Факс: (618) 453-5300
Домашний: (618) 985-3429

    Веб-страница Уэсли Калверта
    wcalvert@siu

    Семинар по топологии Массачусетского технологического института

    (совместная работа с Лоренцо Гуэрра и Паоло Сальваторе)
    Неустойчиво расширенные степени на пространстве $D_n X$ — это гомотопические орбиты его
    декартово произведение $X^n$ относительно их стандартных симметричных групповых действий.Расширенные полномочия сыграли заметную роль в работе Стинрода, Нисиды и
    чикагской школы и необходимы для определения производной коммутативности. Посредством
    теоремы Барратта-Придди (-Квиллена-Сигала), они тесно связаны с $QX$,
    свободное бесконечное пространство петель на пространстве $X$.

    В то время как mod-p гомологии этих конструкций, а также формулы для
    побочный продукт известен со времен работ Накаока, Кудо-Аракаи, Дайера-Лашофа и
    Коэна-Лада-Мэя, расчеты требуют применения соотношений Адема, а также
    дуализация, поэтому применение явных вычислений в кольцевой структуре
    было мало.Но мы обнаружили, что кольцевая структура Хопфа, разработанная Стриклендом
    и Тернер обеспечивает правильную основу для понимания колец когомологий
    симметричные группы (случай, когда $X$ — точка).

    В этом докладе я рассмотрю эту предыдущую работу по когомологиям симметричных
    группы, а затем обсудим общий случай, где мы также разрабатываем разделенное
    структура полномочий. Подобно тому, как гомология является свободным объектом, а именно свободным
    алгебры над алгеброй Дайера-Лашофа на гомологиях $X$, когомологиями являются
    свободные разделенные степени Кольцо Хопфа на когомологиях $X$.0$ до создания хроматического
    аналоги этих расчетов.Пока не будет времени на такие размышления
    и небольшой прогресс, зрители приглашаются пообщаться со мной
    грядущий год.

    Международный семинар — Институт алгебры — Технический университет Дрездена

    .

    Фр. 7.01.2022, 13:30,
    zoom-link
    Код: f!Qhut?1

    Действие загадочной группы (Существование феномена циклического просеивания для перестановок посредством ограничения числа граничных полос и теории инвариантов)
    Мартин Рубей (Университет Вены)
    Мы рассматриваем перестановки π из {1 ,…,n} в виде хордовых диаграмм, где элементы обозначают вершины правильного n-угольника, и для каждого элемента i существует направленная дуга из i в π(i). Мы можем «повернуть» перестановку, повернув ее хордовую диаграмму.
    В качестве одного из наших основных результатов мы показываем, что должна существовать статистика перестановок {1,…,n}, которая имеет то же распределение, что и длина самой длинной возрастающей подпоследовательности, но инвариантна относительно поворота.
    Доказательство использует небольшое комбинаторное представление и инвариантную
    теорию, а также некоторые вычисления.Представляется нетривиальным показывать статистику
    в явном виде.
    Основная мотивация двухэлементного подмножества авторов состоит в том, чтобы найти «сетчатый» базис (в смысле Куперберга) для присоединенного представления общей линейной группы.
    Это совместная работа с Пером Александерссоном, Стефаном Пфаннерером и Йоакимом Улином.

    Ср, 8.12.2021,
    13:00,
    BBB-ссылка или
    BBB-ссылка

    Сложность задач удовлетворения ограничений для объединений теорий
    Йоханнес Грайнер (защита кандидатской диссертации, научный руководитель: проф.М. Бодирский)

    Пн 6.12.2021, 15:15,
    BBB-link или
    BBB-link

    Дихотомия CSP для ω-категоричных монадически устойчивых структур
    Берталан Бодор (защита кандидатской диссертации, научный руководитель: проф. М. Бодирский)

    Фр. 12.11.2021, 13:30,
    WIL/C133

    Определение совместного свойства вложения для разделимых классов перестановок
    Мара Пиоссек (коллокиум магистерских диссертаций, руководитель: М.Бодирский)
    В 2005 г. Рускуц поставил следующий вопрос: существует ли для конечного набора запрещенных перестановок алгоритм, определяющий, является ли соответствующий класс перестановок атомарным, то есть обладает ли он свойством совместного вложения? Вопрос все еще открыт. Мы решаем эту проблему, ограничиваясь сепарабельными классами перестановок, и показываем достаточные условия, при которых они обладают свойством совместного вложения, и достаточные условия, при которых они этого не делают.

    Фр.5.11.2021, 13:30,
    WIL/C133

    Частичные группы: некоторые категориальные свойства
    Эдоардо Салати (ин-т алгебры)
    Частичные группы впервые появились в статье А. Чермака в 2013 г. в связи с изучением термоядерных систем и транспортных систем. Их можно рассматривать как более слабую версию концепции группы; действительно, они были введены как перевод категориального языка транспортных систем на язык группоподобной структуры.В сочетании с подходящим понятием морфизмов мы получаем категорию Part , свойства которой лежат между свойствами категории Set (множества с морфизмами множеств) и свойствами Grp (группы с гомоморфизмами групп). Мы кратко обсудим некоторые из этих свойств, а также недавние работы и приложения, связанные с частичными группами.

    Фр. 22.10.2021, 13:30,
    WIL/C133

    Самодвойственные клоны рухнули
    Альберт Вучай
    Марченов доказал, что существует несчетное количество клонов самодвойственных операций в трехэлементной области.Несмотря на это, Жук дал довольно простое описание их решетки. Тот же результат можно рассматривать как упорядочивающие структуры во вселенной {0,1,2}, которые могут примитивно положительно определять отношение {(0, 1),(1, 2),(2, 0)} с точностью до примитивно положительного ( рр-) взаимоопределяемость. Недавно Барто, Опрасал и Пинскер ввели более грубое отношение эквивалентности на конечных структурах: pp-взаимоконструируемость. Основная мотивация заключается в том, что pp-конструируемость сохраняет сложность соответствующих CSP.В этом докладе я представлю полное описание решетки клонов самодуальных операций по модулю pp-конструируемости. В частности, полученная решетка имеет только счетное число элементов.
    Совместная работа с Мануэлем Бодирским и Дмитрием Жуком.

    Фр. 22.10.2021, 13:30,
    WIL/C133

    		 О сложности определения JEP и AP для универсальных предложений.
    Якуб Ридваль (Институт алгебры)
    Конечные модели универсального предложения $\Phi$ в конечной реляционной сигнатуре образуют возраст структуры тогда и только тогда, когда $\Phi$ имеет \emph{сочленение свойство внедрения}.Они образуют возраст однородной структуры тогда и только тогда, когда $\Phi$ обладает \emph{свойством слияния}. Мы доказываем, что вычислительная задача о том, обладает ли данное универсальное предложение $\Phi$ свойством совместного вложения, неразрешима, даже если $\Phi$ дополнительно хорново, а сигнатура бинарна. В нашем доказательстве используется конкретная редукция проблемы универсальности для контекстно-свободных грамматик, которая также может быть адаптирована к аналогичной проблеме для свойства объединения. Однако адаптация требует, чтобы мы ограничивали ввод только обычными грамматиками, что приводит к сложности PSPACE вместо неразрешимости.В этом докладе представлены упомянутые выше редукции, а также некоторые другие результаты о твердости для свойства объединения, разрешимость которых остается открытой.
    Якуб Ридвал

    Фр. 15.10.2021, 13:30
    WIL/C133

    		 Супернильпотентные лупы
    Жанета Семанишинова (Институт алгебры)
    Теория коммутаторов — это часть универсальной алгебры, которая обобщает теоретико-групповые определения, такие как коммутатор двух подгрупп или нильпотентность, на произвольные алгебры.Обобщая определение бинарного коммутатора, можно определить коммутаторы более высокой арности и понятие супернильпотентности.
    Петли — это алгебры, которые естественным образом обобщают группы, исключая ассоциативность из аксиом. Поэтому естественно спросить, что дают упомянутые понятия в циклах.
    Основываясь на трех эквивалентных определениях супернильпотентности, данных Айхингером и Мудрински, Булатову и Опршалу, мы выводим тождества, встречающиеся в 1-, 2- и 3-супернильпотентных лупах, и доказываем, что k-супернильпотентная лупа имеет k-нильпотентную группу умножения.Кроме того, мы приводим результаты алгоритмической проверки супернильпотентности в петлях малых порядков.

    Чт, 30.9.2021, 10:00
    zoom-Link

    		 Алгебраическая теория измерений
    Селина Рихтер (Masterabeitskolloquium, Betreuer: Prof. St. Schmidt)
    Фр. 27.8.2021, 13:30
    zoom-link
    Код: f!Qhut?1

    Субмодульные кусочно-линейные функции
    Никлас Шлоссер (дипломная работа)

    Фр.23.7.2021, 13:30
    zoom-link
    Код: f!Qhut?1    		 Определимость в узких псевдоалгебраически замкнутых полях
    Гэвин Элайджа Джергенсен (магистерская диссертация)
    Этот доклад посвящен вопросу «в каких алгебраических расширениях рациональных чисел можно определить рациональные числа или целые числа?» Чтобы ответить на этот вопрос, мы рассмотрим понятие «тонкости», которое описывает, совпадают ли теоретико-модельные и теоретико-полевые определения относительного алгебраического замыкания в конкретном поле, и исследуем псевдоалгебраически замкнутые (ПАК) поля — класс полей связанных с псевдоконечными полями, теория моделей которых хорошо изучена.Попутно мы даем общую классификацию полей PAC по тонкости и исследуем определяемость подполей в тонких полях PAC. Разговор завершается нашим основным результатом: почти во всех алгебраических расширениях рациональных чисел нельзя определить ни одно собственное подполе (включая рациональные числа).G)) над конечным полем F_p естественно возникает как максимальное расширение F_p( т).Если G — целые числа, это поле формальных рядов Лорана над F_p, и существует процедура рекурсии для аппроксимации алгебраических элементов над F_p(t). Однако, если G содержит ограниченные возрастающие последовательности, этот метод аппроксимации принимает форму трансфинитной рекурсии, и некоторые аппроксимации становятся недоступными для утверждений в логике первого порядка. Недавние результаты Кедлая, обобщающие работу Кристола, показывают, что существует альтернативный способ взглянуть на алгебраические элементы в полях Хана с точки зрения детерминированных конечных автоматов.В этом докладе мы увидим, как подход Кедлая можно использовать для получения новых результатов о разрешимости полей Хана, основываясь на работе Кульмана. Мы также увидим, как метод трансфинитной аппроксимации выявляет условие алгебраичности для обобщенных степенных рядов в терминах порядкового типа носителя.
    Пн 12.07.2021, 13:30
    zoom-link
    Код: f!Qhut?1

    Экзотические и блочно-экзотические термоядерные системы
    Патрик Сервен
    Одной из основных проблем теории термоядерных систем является вопрос о том, возникает ли термоядерная система в виде конечной группы тогда и только тогда, когда она возникает в форма p-блока конечной группы.Существует гипотеза о том, что система слияния индуцируется группой тогда и только тогда, когда она индуцируется блоком. Приводятся теоремы сведения для этой задачи, сводящие ее в некоторых случаях к блокам квазипростых групп. Одна из этих редукций подтверждает гипотезу для семейства термоядерных систем Паркера – Семераро. Мы обсуждаем текущую работу, связанную с нашей стратегией доказательства гипотезы для некоторых групп лиева типа.

    Фр. 9.7.2021, 13:30
    zoom-link
    Код: f!Qhut?1

    От музыки к математике и обратно: введение алгебры, топологии и теории категорий в вычислительное музыковедение
    Морено Андреатта, (IRMA, Straßburg)
    В этой презентации я представлю обзор наиболее активных направлений исследований SMIR Проект, который я веду в Страсбургском университете.Этот проект, посвященный исследованию структурной музыкальной информации (SMIR), организован IRMA (Institut de de recherche mathématique avancée) и осуществляется в сотрудничестве с исследователями компьютерных наук из группы музыкального представительства IRCAM. Текущие направления исследований включают математическую морфологию, анализ формальных концепций и вычислительный анализ музыки; Обобщенный Тоннетце, постоянная гомология и автоматическая классификация музыкальных стилей; Теория категорий и трансформационный анализ музыки; Мозаичные музыкальные задачи, гомометрия и спектральная гипотеза Фугледе.После обсуждения «математической» динамики, лежащей в основе проекта SMIR, я предложу несколько музыкальных теоретических примеров, показывающих, как подходить к интересным математическим задачам, начиная с музыкальных представлений и компьютерного моделирования. Я закончу кратким обсуждением некоторых направлений исследований в области музыкального познания, которые мы в настоящее время изучаем в рамках подпроекта под названием ProAppMaMu (Процессы и методы обучения математическим знаниям). Несколько полезных ссылок:
    — Проект СМИР: http://repmus.ircam.fr/moreno/smir
    — Проект ProAppMaMu (на французском языке): http://repmus.ircam.fr/moreno/proappmamu
    — Интерактивная веб-среда Tonnetz: https://morenoandreatta.com/software/

    Фр. 11.6.2021, 13:30
    zoom-link
    Код: f!Qhut?1

    Кросс-модальная активация первичной зрительной коры в ответ на тональный диссонанс в задаче социального познания
    Фернандо Браво (Кембриджский университет, докторская диссертация, руководитель: проф.Stefan Schmidt)
    Хотя нейробиологические исследования в области музыкального познания неуклонно росли в последние годы, в изучении более высоких уровней музыкальной реакции, особенно эмоциональных аспектов, был достигнут относительно небольшой прогресс.
    Мы стремимся устранить особый эмоциональный эффект тонального диссонанса, строго контролируя другие переменные в музыкальной структуре, такие как темп, интенсивность, ритм и тембр. Эмпирическая работа показала, что увеличение тонального диссонанса оказывает сильное влияние на воспринимаемое напряжение, которое было связано с эмоциональным переживанием во время прослушивания музыки.Более того, есть данные, свидетельствующие о том, что степень диссонанса тесно связана с восприятием эмоциональной валентности при оценке звуковой информации. В настоящем исследовании эти результаты будут доработаны в контексте социальных взаимодействий путем изучения того, может ли уровень тонального диссонанса влиять на выводы о психическом состоянии (т. е. на социальное познание).
    Важно отметить, что мы проверим гипотезу о том, что разные уровни консонанса/диссонанса могут по-разному модулировать кросс-модальную зрительную кору во время обработки эмоций, — предположение, которое никогда раньше не проверялось.Экспериментальный вопрос проистекает из эволюционных теорий, которые утверждают, что активация зрительной коры усиливается в ответ на (особенно негативные) эмоциональные стимулы (из-за роли эмоций как адаптивного указателя поведенчески значимых событий). В частности, прогноз состоит в том, что более высокие уровни тонального диссонанса вызовут повышенную активность в основных зрительных областях и задействуют системы мозга, предназначенные для маркировки и оценки мотивационно значимых стимулов.
    Результаты этого исследования имеют значение для различных областей, таких как мультимедиа и реклама.Однако, вероятно, одно из наиболее конструктивных применений относится к клинической нейронауке. Систематически контролируемые аудиовизуальные стимулы можно использовать для исследования нейронных коррелятов обработки эмоций, и эти исследования могут иметь прямое отношение к разработке новых подходов к характеристике сложных психических расстройств.

    Фр. 4.6.2021, 13:30
    zoom-link
    Код: f!Qhut?1    		 Решетки Хохшильда и решетки тасования
    Анри Мюле (Институт алгебры)
    Мы рассматриваем две комбинаторно определенные решетки: решетку Хохшильда (определяемую как покомпонентный порядок на некоторых целочисленных кортежах) и решетку тасования (определяемую некоторым порядком подслов при перетасовке слов).Эти решетки обладают замечательными свойствами: решетка Хохшильда полудистрибутивна, а решетка тасования сверхразрешима. Мы показываем, что частный случай решетки тасования возникает (неожиданно) как так называемый основной порядок меток решетки Хохшильда. Основной порядок меток полудистрибутивной решетки представляет собой определенное «переупорядочивание» элементов решетки. Мы усиливаем эту связь, демонстрируя некоторые перечислительные совпадения между этими двумя решетками. Если позволяет время, мы сравним эту ситуацию с аналогичной связью между решеткой Тамари и решеткой непересекающихся разбиений.
    Фр. 21.05.2021, 13:30
    zoom-link
    Код: f!Qhut?1    		 Экстремальные поля со значениями
    Петр Шевчик (Щецинский университет)
    Значения полей, для которых образ кольца нормирования при каждом многочлене от нескольких переменных содержит элемент максимального значения, называются экстремальными. В этом докладе мы вводим частичную характеристику этих полей, в основном с использованием принципа Акса-Кохена-Ершова, вместе с примерами, почему эту частичную характеристику нельзя легко расширить.
    Фр. 7.5.2021, 13:30
    zoom-link
    Код: f!Qhut?1    		 Орграфы по модулю примитивной положительной конструируемости
    Флориан Штарке (Институт алгебры)

    Фр. 23.4.2021, 13:30
    zoom-link
    Код: f!Qhut?1

    		 Коммутативные полиморфизмы ядерных триад
    Михаэль Вернталер (защита бакалаврской диссертации, руководитель: проф. М. Бодирский)
    Давно известно, что для данного конечного орграфа H сложность задачи удовлетворения ограничений для H зависит только от набора полиморфизмов H.Из недавних результатов следует, что проблема H-раскраски находится в P, если H обладает так называемым (4-арным) полиморфизмом Сиггерса, и является NP-трудной в противном случае. В этой диссертации мы сосредоточимся на случае, когда H является триадой, т. е. ориентацией дерева, которое имеет одну вершину степени 3, а в противном случае только вершины степени 2 и 1. Мы опишем алгоритм с различными оптимизациями, который проверяет существование полиморфизмов Сиггерса для триад до определенного числа вершин.

    Фр.9.4.2021, 13:30,
    zoom-link
    ID: 886 7779 5178
    Код: f!Qhut?1

    Основа структур шаблонов и их приложений
    Ларс Лумпе (Технический университет Дрездена)
    Структуры шаблонов были введены в 2001 г. как формальное средство обнаружения знаний в данных со сложной структурой, и в литературе предполагается, что проекции структур шаблонов снова ведут к шаблонным структурам. Приведем контрпример, где оказывается, что проекции не всегда порождают новые паттерн-структуры.Мы также предоставляем решение проблемы в виде остаточных проекций. Другое решение называется о-проекциями. Покажем, что остаточные проекции и о-проекции связаны. Мы представили морфизмы шаблонов, которые являются полезным инструментом для описания связей между структурами шаблонов. Чтобы завершить теорию по этому предмету, мы исследуем влияние морфизмов между структурами шаблонов на решетки понятий и на их представления. Прикладная часть по существу состоит из двух идей.С одной стороны, мы показываем, что деревья решений и случайные леса могут быть описаны с помощью шаблонных структур. Мы связываем работу над деревьями решений и случайными лесами со структурами шаблонов и, в частности, со структурами интервальных шаблонов. С другой стороны, мы строим структуру паттернов и используем кластерные алгоритмы для поиска в ней важных паттернов. Мы даем первое реальное приложение, создавая модель для задачи классификации красных вин.

    Пятница, 28.8.2020,
    10:00, онлайн

    		 Сохранение ограничений для экзистенциальных правил
    Агнес Рейшель (Kolloquium zur Masterarbeit, Betreuer: …)
    Ответ на запрос является важной задачей для реляционных баз данных, в частности, соответствующая проблема решения логических конъюнктивных запросов. Эта проблема становится неразрешимой, если мы рассматриваем базу данных вместе с набором экзистенциальных правил, которые можно понимать как расширение правил регистрации данных с экзистенциальными переменными в голове.
    В этом докладе мы вводим понятие второстепенных правил, которые можно добавлять к наборам экзистенциальных правил без изменения ответов на запросы. Мы приводим основные свойства и вводим алгоритм обнаружения некоторых случайных правил.
    Среда, 22.07.2020, 10:00, WIL/A317 Nicht-kreuzende Partitionen und Einparkfunktionen
    Rico Mattukat (Kolloquium zur Masterarbeit, Betreuer: Jun-Prof. M. Schneider)
    Für die Verbände der nicht-kreuzenden Partitionen aufn+1 Elements+1 und den Einparkfunktionen der Länge n bekannt.In dieser Arbeit werden Teilordnungen der nicht-kreuzenden Partitionen auf n+1 Elementen untersucht, welche durch Einparkfunktionen erzeugt werden, welche ein bestimmtes Element k nicht enthalten. Zum einen wird gezeigt, dass diese Teilverbände die Eigenschaft der Überauflösbarkeit mit den Verbänden der nicht-kreuzenden Partitionen teilen. Zum anderen wird eine Formel für die Möbiusfunktion vom kleinsten bis zum größten Element dieser Verbände angegeben.
    Среда, 17.6.2020
    9:30 , онлайн    		 Применение леммы Фаркаша к задачам удовлетворения оценочных ограничений .
    Катерина Виола (защита кандидата наук, научный руководитель: проф. М. Бодирский)
    Понедельник, 10.02.2020
    13:30 , WIL/C129    		 Применение леммы Фаркаша к задачам удовлетворения оценочных ограничений .
    Катерина Виола

    Задачи удовлетворения ограниченных значений (VCSP) представляют собой класс задач вычислительной оптимизации.При заданном наборе D и наборе функций стоимости Gamma с областью определения D вход VCSP для Gamma состоит из целевой функции, т. е. суммы конечного числа функций стоимости из Gamma, применяемых к конечному числу переменных, и рационального порог и; задача состоит в том, чтобы решить, существует ли такое присвоение значений из D переменным, что соответствующая стоимость целевой функции не превосходит u.
    Вычислительная сложность VCSP для наборов функций стоимости Gamma над конечным множеством D была полностью классифицирована.Фактически, его можно охарактеризовать с точки зрения дробных полиморфизмов, которые можно рассматривать как распределения вероятностей на множестве операций над D, ожидаемая стоимость которых улучшает среднюю стоимость для всех функций стоимости в гамме.
    Мы применяем нестандартное обобщение леммы Фаркаша, чтобы показать, что в случае VCSP для функций стоимости над произвольными счетными множествами множества дробных полиморфизмов обеспечивают локальную характеристику вычислительной сложности.
    (Совместная работа с М.Бодирский и Ф. М. Шнейдер)

    Пятница, 31.01.2020
    13:30 , WIL/C129    		 Существуют правильные схемы Джордана
    Свен Рейхард (Технический университет Дрездена)
    Схемы ассоциации были введены в 1930-х годах Боузом и др. в контексте планирования статистических экспериментов. Они связывают системы бинарных отношений с алгебрами матриц. Было несколько обобщений, таких как когерентные конфигурации (Higman, Weisfeiler-Leman, 1968-70).
    Если мы хотим обобщить концепцию ассоциативных схем, рассматривая только симметричные отношения, мы можем заменить матричное произведение произведением Жордана $A*B=\frac 12 (AB + BA)$, которое является симметричным, но не ассоциативным. Это приводит к концепции схем Джордана, впервые рассмотренной Шахом (1959).
    Для схемы ассоциации $W$ всегда можно получить схему Жордана $W’$ путем симметрирования. Оставался открытым вопрос (Cameron 2002, Bailey 2004), возникают ли все схемы Жордана таким образом, или существуют «правильные» схемы Жордана со своей собственной независимой теорией.Эквивалентно мы можем спросить, дает ли симметричная стабилизация Вайсфейлера-Лемана то же самое, что и обычная WL с последующей симметризацией.
    Мы ответим на эти вопросы, предоставив две конструкции для бесконечных семейств собственных жордановых схем. Это совместная работа с М. Клиным и М. Музычук.
    Пятница, 24.01.2020
    13:30 , WIL/C129    		 Решение систем уравнений в омега -категориальные алгебры
    Томас Куинн-Грегсон

    Мы изучаем вычислительную сложность решения вопроса о том, имеет ли данный набор термальных равенств и неравенств решение в омега-категоричной алгебре A.Существуют омега-категориальные группы, где эта проблема неразрешима. Мы показываем, что если A — омега-категоричная полурешетка или абелева группа, то задача находится в P или NP-сложной. Тяжёлые случаи — это как раз те случаи, когда Pol(A,\neq) имеет равномерно непрерывное сохраняющее минор отображение в клон проекторов на двухэлементном множестве. Результаты дают информацию об алгебрах A, для которых Pol(A,\neq) не удовлетворяет этому условию, и представляют самостоятельный интерес в универсальной алгебре. В наших доказательствах мы опираемся на теорему Барто-Пинскера о существовании полиморфизмов псевдо-Зиггерса.Насколько нам известно, псевдо-тождество Сиггерса используется впервые для доказательства дихотомии сложности.

    Пятница, 10.01.2020
    13:30 , WIL/C129    		 Помноженнозначные функции и остаточные отображения
    Эстер Хорват (У Сегед)

    Анализируются разрезы ч.у.м.-функций, связывающие их с вычетными отображениями. В решеточнозначном случае мы доказываем, что функция µ: X → L индуцирует вычетное отображение f: L → P(X), значениями которого являются разрезы µ, и мы описываем соответствующую невязку.Наоборот, оказывается, что всякое остаточное отображение f из L в множество степеней X определяет решеточнозначную функцию µ : X → L, разрезы которой совпадают со значениями f. Для общих ч.у.м.-функций мы даем условия, при которых отображение, переводящее элемент ч.у.-множества в соответствующий разрез, является квазивыпадающим, а затем условия, при которых оно также является выпадающим. Мы доказываем, что без дополнительных условий отображение, аналогичное невязке, является частичной функцией, поэтому мы получаем частные слабо выведенные отображения, которые на множестве мощности области порождают централизованные системы вместо замыканий.Показано, что в этом обобщенном случае сохраняются основные свойства остаточных отображений. Мы применяем эти результаты к каноническому представлению частичнозначных и решеточнозначных функций, используя соответствующие замыкания и централизованные системы.

    Пятница, 13.12.2019
    13:30 , WIL/C129    		 Решетки идемпотентных теорий
    Анвар Нуракунов (акад. д. Висса, Бишкек, Киргизия)
    Реферат
    Пятница, 6.12.2019
    13:30 , WIL/C129    		 Проблемы удовлетворения ограничений в монадической логике второго порядка
    Йоханнес Брауэр (Kolloquium zur Masterarbeit, Betreuer: Prof. M. Bodirsky)
    Пятница, 29.11.2019
    13:15, WIL/C129    		 Подсчет точек на алгебраических многообразиях над рациональными числами
    Филип Диттманн (Институт алгебры)
    Как по концептуальным, так и по практическим причинам полезно иметь оценки количества точек алгебраических многообразий над Q, обычно формулируемые с точки зрения асимптотики по мере увеличения высоты точек.Я представлю новую такую ​​оценку, полученную в совместной работе с Воутером Кастриком, Рафом Клакерсом и Киен Хуу Нгуен, улучшающую множество предыдущих результатов. Я также представлю некоторые приложения этого результата.
    Пятница, 22.11.2019
    13:15, WIL/C129

    Проблемы и некоторые положительные решения об оценках не-p-разрешимой длины в конечных группах
    Йерко Контрерас Рохас (UNIFESSPA, Бразилия)
    Пусть p — простое число. Каждая конечная группа G имеет нормальный ряд, каждая из составляющих которого либо p-разрешима, либо является прямым произведением неабелевых простых групп порядков, кратных p.Неp-разрешимая длина определяется как число неp-разрешимых частных в таком кратчайшем ряду. Мы рассматриваем около
    вопроса об оценках не-p-разрешимой длины на конечных группах и приводим некоторые положительные решения такого рода проблем.

    Пятница, 15.11.2019
    13:15, WIL/C129    		 Параболическая Каталандия — Происхождение
    Анри Мюле (Институт алгебры, Технический университет Дрездена)
    Мы рассказываем историю открытия Параболической Каталандии.Ступенькой в ​​этом процессе является осознание того, что несколько каталонских семейств, а также сами каталонские числа неразрывно связаны с симметричной группой. Анализ этой связи с точки зрения групп Кокстера показал, что аналоги каталонских семейств и каталанских чисел могут быть определены для любого конечного картановского типа. Так была найдена Каталандия.
    Совсем недавно было теоретизировано расширение Каталандии, соответствующее параболическим факторам конечных групп Кокстера.Мы представляем эти конструкции и поддерживаем их конкретными комбинаторными реализациями в случае симметрической группы. Этот доклад основан на совместной работе с Сезаром Себальосом, Венджи Фаном и Натаном Уильямсом.
    Пятница, 8 ноября 2019 г.
    13:15, WIL/C129    		 О решетке решеток конгруэнций
    Даница Якубикова-Студеновска (U Košice)
    Для заданного конечного множества A пусть E будет системой всех решеток конгруэнций всех алгебр с базовым множеством A.Тогда E — решетка по включению. Мы описываем атомы и коатомы в E. Также рассматриваются неприводимые к встречам и соединениям элементы E.
    Пятница, 25.10.2019
    13:15, WIL/C129    		 Классы сопряженности Комегера в группах автоморфизмов линейно упорядоченных структур
    Александра Квятковская (U Münster)
    Пятница, 20.09.2019
    13:15, WIL/C129    		 Квази-Йонсоновские операции в высокотранзитивных закрытых клонах
    Сергей Шек (Kolloquium zur Masterarbeit, Betreuer: Prof.Мануэль Бодирский)

    Члены Йонссона играют важную роль в изучении многообразий и проблем удовлетворения ограничений на конечных множествах. Для структур с бесконечными базовыми наборами идемпотентность полиморфизмов является очень сильным предположением. Обобщение концепции йонсоновских термов, которое может быть полезно при изучении бесконечных структур, — это квазиджонсоновские термы, в которых ослаблено предположение об идемпотентности. Казда, Козик, Маккензи и Мур (2015) доказали, что многообразие имеет члены Джонсона тогда и только тогда, когда оно имеет направленные члены Джонсона.Мы покажем, что и локально замкнутые клоны на счетных множествах, содержащие все перестановки, имеют квазиджонсоновские операции тогда и только тогда, когда они имеют квазинаправленные джонсоновские операции. Также оказывается, что если структура с конечной сигнатурой сохраняется при всех перестановках и имеет квазиджонсоновские полиморфизмы, то она также обладает QNU-полиморфизмом.

    Пятница, 06.09.2019
    13:15, WIL/C129    		 Проблема удовлетворения ограничений в Steuererklärung
    Ханна Мёллер (Kolloquium zur Masterarbeit, Betreuer: Prof.Manujel Bodirsky)
    Am Anwendungsbeispiel des deutschen Steuerformulars wird die Komplexität von Constraint Satisfaction Problemen untersucht. Дабей wird insbesondere das von J.C. Lagarias analysierte «Two-Variables-per-Inequality»-Problem (TVPI) betrachtet, welches Integer-Programming auf zwei Variablen for Constraint beschränkt. Es wird gezeigt, dass dieses Problem über der unendlichen Grundmenge der ganzen Zahlen NP-vollständig ist, selbst wenn Kreisfreiheit des Constraint-Graphen gefordert wird.Beschränkt man sich allerdings auf eine endliche Grundmenge, поэтому lassen sich TVPIs in polynomieller Zeit lösen. Im Steuerformular kommen für die Eingabe nur endlich viele Werte in Frage. Allerdings sind dort auch Multiplikationen von Variablen erlaubt. In meiner Master-Arbeit beschäftige ich mich auch damit, wie man mit diesen Nicht-Linearitäten umgehen kann.

    Пятница, 12.07.2019
    13:15, WIL/C129

    		 Новые топологические варианты теоремы Биркгофа II
    Мануэль Бодирский
    Пятница, 5.7.2019, 13:15, WIL/C129 Новые топологические варианты теоремы Биркгофа
    Мануэль Бодирский
    Пятница, 28.06.2019, 13:15, WIL/C129 Parabolic Cataland – история типа А
    Henri Mühle
    В этом выступлении мы отправляемся в путешествие по Parabolic Cataland. Сначала мы знакомимся с различными семьями, населяющими исследуемую в настоящее время часть Параболической Каталандии, и изучаем их взаимодействие.Затем мы вводим определенные естественные порядки для каждого из этих семейств и описываем, как они связаны.
    Затем мы используем инфраструктуру Parabolic Cataland, чтобы доказать связь между градуированными размерностями некоторой алгебры Хопфа и количеством определенных решетчатых блужданий в плоскости четверти, а также восстановить известную биекцию на путях Дайка, которая комбинаторно объясняет симметрию алгебры Хопфа. биградуированный ряд Гильберта некоторого модуля диагональных гармоник.
    Частично это совместная работа с Сезаром Себальосом, Венджи Фаном и Натаном Уильямсом
    Понедельник, 24.6.2019, 15:00 , WIL/C129 Сходимость динамических систем и уникальная эргодичность
    Феликс Погожельский (Университет Лейпцига)
     
    Понедельник, 17.06.2019, 13:30, WIL/C129

    Группа чтения по теореме PCP: Алфавитная редукция
    В 2007 году Ирит Динур опубликовала новое элегантное доказательство знаменитой теоремы PCP (напомним, что PCP означает вероятностно проверяемые доказательства) Арора и Сафра.Это новое доказательство состоит из двух шагов, которые повторяются достаточное количество раз, чтобы медленно ввести пробел неразрешимого экземпляра CSP. Первый из шагов называется Gap Amflication, его цель — усилить разрыв, который он делает. Тем не менее, у него есть недостаток, заключающийся в том, что он также увеличивает (увеличивает) размер домена (алфавита), что является нежелательным, поэтому необходим второй шаг, сокращение алфавита. В доказательстве Динура этот второй шаг достигается через композицию довольно запутанным аргументом, который наша группа чтения не смогла пройти в прошлом году.Мы продолжим с того места, где остановились, и представим более прямое доказательство, которое мы обнаружили с Венкатом Гурусвами и Саем Сандипом.

    Пятница, 7 июня 2019 г., 13:15, WIL/C129 Теорема Фрейссе для IB-однородных структур
    Андрес Аранда
    L-структура M является IB-однородной, если каждый изоморфизм между конечными подструктурами M продолжается до биморфизма (биективного эндоморфизма) M. Я представлю версия теоремы Фрейссе, связывающая конечные L-структуры, вкладываемые в M, семейство мономорфизмов между конечными подструктурами и существование IB-однородного предела.
    Пятница, 24.05.2019, 13:15, WIL/C129

    Спектральные методы на групповых кольцах в некоммутативной ситуации
    Маркус Греферат (Университет Аалто)
    В алгебраической теории кодирования оценка БЧХ, вероятно, является одним из наиболее впечатляющих примеров, показывающих, как преобразование Фурье можно использовать в для построения кодов заданного минимального расстояния. До сих пор этот спектральный метод в основном ограничивался циклическими кодами, однако нет веских причин ограничивать его этим случаем.Этот доклад особенно интересен сценарию, в котором некоммутативная конечная группа описывает координатную область. Мы сделаем набросок успешного развития теории Фурье для этой ситуации и отметим несколько странных фактов. В беседе сообщается о текущей работе.

    17.05.2019 (пт), 13:15, WIL C 129 Алгоритм выборки для задач удовлетворения ограниченных ограничений
    Катерина Виола
    Пятница, 3.5.2019, 13:15, WIL/C129 Zählspektren von Strukturen mit polynomiell vielen Orbits von n-elementigen Teilmengen
    Юлия Грабински (защита диплома, руководитель: проф. Мануэль Бодирски)
    Пятница, 12.04.2019, 13:15, WIL/C129

    Постквантовая криптография на основе изогении
    Джулиана Прочаска (защита диплома, руководитель: проф. Стефан Шмидт)
    В 2017 году агентство по стандартизации США NIST начало проект по поиску криптографических протоколов, способных противостоять атакам квантовых компьютеров.Одним из предложений в этом проекте является SIKE — суперсингулярная инкапсуляция ключа изогении. Это единственный кандидат, основанный на изогениях между эллиптическими кривыми. Эта дипломная работа направлена ​​на предоставление автономного описания протоколов SIKE и лежащих в их основе математических структур, изучение их безопасности и иллюстрацию криптосистемы с простой реализацией. В защитной речи мы дадим обзор эллиптических кривых, изогений и их применения в протоколах SIKE.

    Пятница, 5.4.2019, 13:15, WIL/C129

    Разновидности PBZ*-решеток
    Claudia Muresan (У Кальяри)

    Среда, 13.03.2019, 13:15, WIL C 115 мю-типы и их стабилизаторы в алгебраически замкнутых полях
    Цзиньхэ Йе (Университет Нотр-Дам)
    В [2] доказано, что для любой неограниченной кривой C ⊆ G в o-минимальной теории, где G — определимая группа, можно связать определимую одномерную подгруппу группы G.На языке [1] доказано, что указанная выше группа является µ-стабилизатором ветви кривой на бесконечности. Более того, понятие µ-стабилизаторов можно сформулировать в общем контексте топологических групп. В этом докладе мы исследуем эту проблему в контексте линейных алгебраических групп и дадим некоторые структурные описания µ-стабилизаторов.
    Ссылки:
    [1] Яаков Петерзил и Сергей Старченко. Топологические группы, µ-типы и их стабилизаторы. Журнал Европейского математического общества, 19(10):2965–2995, 2017 г.
    [2] Яаков Петерзил и Чарльз Стейнхорн. Определимая компактность и определимые подгруппы o-минимальных групп. Журнал Лондонского математического общества, 59 (3): 769–786, 1999.
    Пятница, 15.02.2019, 10:30 , WIL/C133

    CSP-дихотомия для конечных покрытий унарных структур
    Берталан Бодор
    Проблема удовлетворения ограничений на структуру A с конечной реляционной сигнатурой — это проблема решения, имеет ли данная конечная структура B с той же сигнатурой, что и A, гомоморфизм в A.Используя понятия и методы универсальной алгебры, А. А. Булатов и Д. Н. Жук недавно доказали, что если A конечно, то CSP над A либо принадлежит P, либо NP-полна. Следуя этому результату, возникает естественный вопрос, когда и как эта дихотомия может быть обобщена для бесконечных структур. Один из результатов в этом направлении представлен в недавней статье М. Бодирского и А. Мотте, где такая же дихотомия доказана для редуктов унарных структур. В этом докладе я расскажу о дальнейшем обобщении этого результата, которое можно сформулировать следующим образом.{дн}. Оказывается, этот класс можно охарактеризовать и как класс конечных покрытий редуктов унарных структур. Наш главный результат состоит в том, что дихотомия CSP верна для класса K. В ходе этого доклада я хотел бы представить некоторые инструменты и идеи, которые я использовал в доказательстве этой теоремы, такие как полиморфизмы, псевдотождества, миньоны, гомоморфизмы миньонов, канонические функции и каноническая непротиворечивость.

    Пятница, 01.02.2019, 13:15, WIL/C133

    Стабильные поля
    Габриэль Нг (Имперский колледж Лондона)
    В теории моделей существует давняя гипотеза о том, что каждое стабильное поле сепарабельно замкнуто.В 1971 г. Макинтайр показал, что поле является омега-стабильным тогда и только тогда, когда оно алгебраически замкнуто, результат, распространенный Черлином и Шелахом на сверхстабильные поля в 1979 г. В этом докладе мы представим некоторые из основных результатов, касающихся стабильности. в полях. Мы дадим краткий обзор исходного материала и набросаем доказательство теоремы Макинтайра. Мы также кратко рассмотрим сепарабельно замкнутые поля, единственные известные примеры несверхстабильных стабильных полей.

    Пятница, 25.1.2019, 13:15, WIL/C133 Проблемы покрытия, размерности и тензорное произведение полных решеток
    Кристиан Якель
    В этом докладе будут рассмотрены различные концепции размерности полных (орто)решеток и их тензорных произведений. Определение этих размеров может быть переведено на определенные задачи покрытия. Это дает достаточное условие мультипликативности различных размерностей решетки по отношению к тензорному произведению полных (орто)решеток.(n−5) подвселенных. В докладе будут упомянуты некоторые другие связанные результаты.

    пятница, 11.01.2019, 13:15, WIL/C133 О бесконечном семействе высокорегулярных графов
    Майя Печь (У Нови-Сад)
    Высокорегулярные графы, для которых не все регулярности объясняются симметриями, — удивительные существа. Некоторые из них, такие как, например, линейный граф неклассического GQ(25,5) В. Кантора, являются камнями преткновения для существующих реализаций тестов на изоморфизм графов.Они кажутся чрезвычайно редкими, и даже после их построения трудно доказать их высокую регулярность. Тем не менее некоторые из них, такие как граф Маклафлина на 275 вершинах и граф Иванова на 256 вершинах, обладают исключительной красотой. Уже одно это делает привлекательным стремление к их полной классификации или, если это не удается, по крайней мере к их глубокому пониманию. В последнее время Ch. Печ открыл новые методы доказательства высокой регулярности графов. Используя эти методы, в этом докладе мы сообщаем о семействе сильно регулярных графов, первоначально открытом А.В. Ивановым в 1990 г. Покажем, что они (3,5)-регулярны.
    Пятница, 14.12.2018, 13:15, WIL/C133

    Алгебры Назарова-Венцля, коидеальные подалгебры и категоризированная косая двойственность Хоу
    Катарина Строппель (Университет Бонна)

    Среда, 28.11.2018, 13:15, WIL/C115

    Большие жесткие наборы алгебр
    Даница Якубикова-Студеновска (У Кошице, Словакия)
    Пусть $\tau$ — непустой подобия типа алгебр.Множество $H$ $\tau$-алгебр называется жестким относительно вложимости, если всякий раз, когда $A,B\in H$ и $\varphi:A\to B$ является вложением, то $A=B$ $\varphi$ — тождественная карта. Мы доказываем, что если $\tau$ — непустой тип подобия и $\mathfrak m$ — такой кардинал, что ни один недостижимый кардинал не меньше или равен $\mathfrak m$, то существует множество $H$ из $\ тау$-алгебры такие, что $H$ жесткая относительно вложимости и $|H|=\mathfrak m$.

    Пятница, 16.11.2018, 13:15, WIL/C133

    HH-однородные графы с бесконечным числом независимости .
    Андрес Аранда
    Хорошо известно, что любой бесконечный граф G, содержащий граф Радо в качестве остовного подграфа, является HH-однородным, а это означает, что любой гомоморфизм между конечными подструктурами может быть расширен до эндоморфизма G. В этом докладе , я свяжу кажущееся несвязанным свойство иметь бесконечное число независимости со свойством наличия графа Радо в качестве остовного подграфа и покажу в качестве следствия, что все, кроме четырех MB-однородных графов H, имеют граф Радо в качестве остовного подграфа обоих графов. H и его дополнение.

    пятница, 9.11.2018, 13:15, WIL/C133 Некоторые очень слабые тождества высоты 1
    Якуб Опршал
    Сильное условие Мальцева — это конечное множество тождеств на конечном алгебраическом языке. Говорят, что такое условие выполнено в множестве операций (множестве всех термальных операций алгебры, клона, миньона), если существует присвоение конкретных операций символам совпадающей арности, универсально удовлетворяющее всем тождествам.Эти условия естественным образом (решетчато) упорядочены по синтаксическому следствию. Полученная решетка изучается с 70-х годов. Один из результатов Тейлора того времени состоит в том, что такого слабейшего нетривиального условия не существует.
    В последнее время внимание сместилось на тождества высоты 1, т. е. тождества, у которых ровно по одному функциональному символу с каждой стороны. Это было мотивировано исследованием сложности CSP. В докладе мы рассмотрим упорядоченное множество таких условий высоты 1 и его «маленькие» элементы.
    Пятница, 2.11.2018, 13:15, WIL/C115

    Однородность полугрупп
    Томас Куинн-Грегсон
    Полугруппа S называется однородной, если каждый изоморфизм между конечно порожденными подполугруппами S продолжается до автоморфизма S. Эта работа была мотивирована желанием построить интересные примеры омега -категоричные полугруппы. В самом деле, однородная структура, имеющая условие конечности равномерно локально конечной, обязательно омега-категорична.
    В этом докладе мы даем обзор того, как однородные полугруппы могут быть построены из однородных групп и помеченных двудольных графов. В частности, дается полное описание всех конечных регулярных полугрупп, которое расширяет групповой случай, данный Черлиным в 2000 г. Мы также обсуждаем важность нашего выбора сигнатуры; будь то полугруппы, вполне регулярные полугруппы или инверсные полугруппы. Отсюда возникает следующий открытый вопрос: является ли однородная группа однородной полугруппой?

    Пятница, 26.10.2018, 13:15, WIL/C115 Рассечение теоремы Шитпельмана
    Николаас Ферхюльст

    В этом докладе мы рассмотрим классическое доказательство некоммутативной теории оценки. Мы введем необходимую терминологию, обсудим доказательство и выделим его основные части. Мы покажем, как их можно использовать независимо, чтобы обобщить исходное утверждение.
    Результатом, который мы обсудим, является теорема Штипельмана, утверждающая, что каждое нормирование на первом поле Вейля является абелевым.Поле Вейля — это тело дробей кольца квантовой механики, которое играет важную роль в (некоторой версии) некоммутативной геометрии.

    Пятница, 19.10.2018, 13:15, WIL/C115 Алгебры графов и многообразия графов
    Эркко Лехтонен
    Алгебры графов были введены Шаллоном в 1979 г. Каждому ориентированному графу G = (V,E) мы сопоставляем алгебру A(G) типа (2,0) , чей универсум представляет собой множество V ∪ {∞}, где ∞ — новый элемент, не принадлежащий V, рассматриваемый как нулевая операция, и где бинарная операция («произведение») определяется как xy = x, если (x, y) ∈E и xy = ∞ в противном случае.Кодируя таким образом графы как алгебры, мы можем рассматривать любые алгебраические свойства алгебры графов A(G) как свойства графа G.

    Хотя класс алгебр графов не образует многообразия (так как он не замкнут относительно прямых произведений ), имеет смысл рассмотреть отношение удовлетворения между графами (то есть алгебрами графов) и тождествами типа (2,0). Что касается связности Галуа, индуцированной этим отношением, замкнутые множества графов называются многообразиями графов, а замкнутые множества тождеств называются эквациональными теориями графов.

    В этом докладе мы даем краткий обзор различных подходов к изучению многообразий графов. Мы также сообщаем о недавней работе спикера с Чаоватом Маньюеном (Университет Кхон Каен) по описаниям многообразий графов, аксиоматизированных некоторыми группоидными тождествами, представляющими общий интерес для алгебры, такими как (левое или правое) полумедиальное и медиальное тождества.

    Пятница, 12.10.2018, 13:15, WIL/C115

    Мультипликативные и импликативные дифференцирования на остаточных мультирешетках
    Селестин Леле (Университет Дшанга, Камерун)
    Основная цель данной работы — распространить изучение дифференцирований на остаточные мультирешетки, сформулировав определения и изучив их первые свойства.В частности, мы определяем понятия мультипликативных и импликативных дифференцирований на остаточных мультирешетках. Исследуются связи между существованием этих дифференцирований и существующими алгебраическими свойствами выпадающих мультирешеток. Кроме того, учитывая, что остаточные мультирешетки являются довольно новыми, представленные здесь выводы предлагают другой инструмент и перспективы в их исследованиях. Само собой разумеется, что все полученные здесь результаты будут обобщать как те, что из решеток М.Кондо, 2017, а также остаточные решетки Я. Рачунека и Д. Салунавы, 2017.

    Пятница 21.09.2018, 13:15, WIL/C115 Проблемы удовлетворения временных ограничений в логике с наименьшими фиксированными точками
    Якуб Ридвал
    Задача удовлетворения ограничений (CSP) для фиксированной структуры L с конечной реляционной сигнатурой представляет собой вычислительную задачу определения того, гомоморфна ли данная конечная структура с той же сигнатурой карты на Л.Язык темпоральных ограничений — это структура над рациональными числами Q, отношения которых определимы в (Q;<) первого порядка. В 2009 году Бодирски и Кара представили полную классификацию вычислительной сложности CSP для языков с временными ограничениями. В отличие от структур с конечными предметными областями, существуют языки временных ограничений, CSP которых не может быть решен ни одной программой Datalog, но может быть выражен в логике с наименьшими фиксированными точками (LFP). Примером может служить CSP(Q; {(x,y,z) | x>y или x>z}), известная как задача планирования и/или.Я приведу доказательство трихотомии для LFP-выразимости CSP языков временных ограничений. Для языка темпоральных ограничений L верно по крайней мере одно из следующего: CSP(L) выражается в LFP, отношение {(x,y,z) | x>y=z или y>z=x или z>x=y} имеет примитивное положительное определение в L, или двухэлементная группа имеет примитивную положительную интерпретацию с параметрами в L. В последнем случае известно, что CSP(L) не может быть выражен в LFP. Мы предполагаем, что то же самое верно и для второго случая.
    Пятница 14.09.2018, 13:15, WIL/C115 Ограничение Удовлетворение случайным турниром
    Саймон Кнауэр
    Случайный турнир T является пределом Фрессе класса всех конечных графов турниров. В докладе будет представлена ​​эта структура и определена проблема удовлетворения ограничений ее редуктов первого порядка. Это даст доказательство дихотомии сложности для CSP разложений T первого порядка с помощью инъективных отношений.
    Пятница 20.07.2018, 13:15, WIL/C115 Высокорегулярные графы
    Майя Печ (Университет Нови-Сада)
    Высокорегулярные графы представляют собой класс графов с нетривиальной степенью регулярности, которая не индуцируется симметриями. Они являются камнем преткновения для существующих реализаций тестов изоморфизма графов. Пока найдено лишь скромное количество примеров таких графов. В этом докладе мы анализируем бесконечное семейство сильно регулярных графов, введенных Брауэром, Ивановым и Клином, и раскрываем некоторые закономерности, которые не объясняются их симметриями.
    Это совместная работа с Кристианом Печем.
    Пятница 13.07.2018, 13:15, WIL/C115 О характеризации конкретных ортогрупп дизъюнкциями тождеств
    Александр Дженде (Потсдамский университет)
    На основании общего результата Клиффорда хорошо известен тот факт, что полугруппа является ортогруппой тогда и только тогда, когда она представляет собой полурешетку прямоугольных групп. В частности, каждая лента представляет собой полурешетку прямоугольных лент.Классы полурешеток различных частных прямоугольных групп можно характеризовать с помощью понятия дизъюнкции тождеств. Это понятие, являющееся обобщением известных тождеств, было введено Ляпиным в 1970-е годы. Используя дизъюнкции тождеств, мы характеризуем ортогруппы, являющиеся полурешетками прямоугольных групп различных показателей. Кроме того, мы рассматриваем цепочки прямоугольных групп. Наконец, мы представляем некоторые приложения. Например, мы описываем несколько классов сильных полурешеток полугрупп.
    Пятница 29.06.2018, 13:15, WIL/C115 Сложность комбинаций задач качественного удовлетворения ограничений
    Йоханнес Грайнер
    В 1979 г. Нельсон и Оппен впервые представили результат для выпуклых теорий T и S, заявив, что проблема удовлетворения ограничений (CSP) объединения T и S может решить путем объединения алгоритмов для T и S методом черного ящика. Мы доказываем для некоторого класса структур, что выпуклость также необходима для полиномиальной управляемости объединения их теорий первого порядка.
    В частности, мы рассмотрим общую комбинацию двух реляционных структур A и B на бесконечных областях, которая является ключевой идеей доказательства. Общая комбинация А и В, если она существует, представляет собой структуру, имеющую ту же CSP, что и объединение теорий первого порядка А и В, где сигнатуры А и В предполагаются непересекающимися. Кроме того, его орбиты n-кортежей в точности являются пересечениями орбит n-кортежей A и B. Мы характеризуем существование генерических комбинаций и описываем, когда генерическая комбинация имеет бинарный инъективный полиморфизм, и в этом случае CSP является полиномиальное время.
    Пятница 22.06.2018, 13:15, WIL/C115 Повороты гиперэллиптических кривых без рациональных точек
    Франсуа Легран
    В этом докладе я представлю несколько условных и безусловных результатов об отсутствии рациональных точек на скрученных гиперэллиптических кривых над рациональными числами. Если позволит время, я также приведу гипотетический пример однопараметрического семейства аффинных кривых над некоторым числовым полем, все с рациональной точкой, но без точки общего положения, что, таким образом, относится к старой проблеме Шинцеля.Доклад не требует предварительных знаний о рациональных точках на кривых.
    Пятница 15.06.2018, 13:15, WIL/C115 Стабилизация конфигураций
    Свен Райхард
    Одним из источников понятия когерентных конфигураций является изучение сложности проблемы изоморфизма графов. Учитывая реберную раскраску полного графа, алгоритм Вейсфейлера и Лемана строит уточнение раскраски с использованием инвариантов на ребрах; полученная уточненная раскраска имеет те же автоморфизмы, что и исходная раскраска.Используемый инвариант подсчитывает цветные треугольники, включающие заданное ребро. Когерентные конфигурации могут быть определены как раскраски, устойчивые при этой процедуре.
    Приведенные выше концепции можно обобщить в нескольких направлениях. Другие инварианты можно использовать при рассмотрении подграфов с более чем тремя вершинами (см. условие t-вершины Хестенеса-Хигмана}). Вместо графов мы можем рассматривать (однородные) гиперграфы; это приводит к k-ичным когерентным конфигурациям (Бабаи, Иммерман-Ландер), которые играют заметную роль в последних достижениях в изучении проблемы изоморфизма графов.
    Известно, что алгоритм Вейсфейлера-Лемана полиномиален по сложности. Двадцать лет назад были описаны две реализации, каждая из которых имела свои преимущества и недостатки.
    Мы представим новую структуру, учитывающую описанные выше обобщения, а также достижения современной компьютерной архитектуры. Программы будут доступны с открытым исходным кодом.
    Пятница 8.06.2018, 13:15, WIL/C115 Существенные аргументы и миноры частичных функций
    Нарепанат Леккоксунг (Khon Kaen University)
    Хорошо известно, что число существенных аргументов полных функций не увеличивается при образовании миноров.Это уже не верно для частичных функций. Более того, в отличие от тотальных функций непостоянная частичная функция может не иметь существенного аргумента. С этой точки зрения эссенциальная арность кажется несколько неудовлетворительной как величина структурной сложности частичных функций.
    Наша цель — сформулировать альтернативные понятия, более точно описывающие зависимость частичных функций от некоторых аргументов. Рассмотрим вопрос, уменьшаются ли соответствующие величины при образовании миноров.Мы также исследуем структуру малого ч.у.м. частичных функций. М. Кусейро и М. Пузэ показали, что второстепенное частичное множество булевых функций является прошедшим конечным универсальным. Это свойство переносится на второстепенные ч.у.-множества частичных функций на конечных множествах. Мы улучшаем этот результат, показывая, что некоторые малые фрагменты этого частичного множества (например, частичные проекции, постоянные функции) универсальны в прошлом.
    Пятница, 25.05.2018, 13:15, WIL/C115 Доказательство гипотезы CSP-дихотомии
    Дмитрий Жук (МГУ имени М.В. Ломоносова)
    Многие естественные комбинаторные задачи могут быть выражены в виде задач удовлетворения ограничений.Известно, что этот класс задач в общем случае NP-полный, но некоторые ограничения на форму ограничений могут обеспечить разрешимость. Стандартный способ параметризации интересных подклассов проблемы удовлетворения ограничений — это языки с конечными ограничениями.{cn}.Мы показали, что этот класс также равен классу конечных покрытий редуктов первого порядка унарных омега-категоричных структур. В этом докладе я попытаюсь проиллюстрировать основные идеи доказательства этой теоремы и приведу некоторые интересные следствия.
    Совместная работа с Мануэлем Бодирским.
    Пятница, 11.05.2018, 13:15, WIL/C115 Ограничение Удовлетворение случайным турниром
    Саймон Кнауэр
    Случайный турнир — это предел Фрессе класса всех конечных графов турниров.В докладе будет представлена ​​эта структура и определены проблемы удовлетворения ограничений ее редуктов первого порядка. Это также даст представление о классификации сложности этих CSP.

    Проблемы удовлетворения временных ограничений в логике с наименьшими фиксированными точками
    Якуб Ридвал
    Задача удовлетворения ограничений (CSP) для фиксированной структуры L с конечной реляционной сигнатурой представляет собой вычислительную задачу определения того, гомоморфна ли данная конечная структура с той же сигнатурой карты на Л.Язык темпоральных ограничений — это структура над рациональными числами Q, где все ее отношения определимы в первом порядке, используя обычный строгий линейный порядок <. В 2009 году Бодирски и Кара представили полную классификацию вычислительной сложности CSP для языков с временными ограничениями. В отличие от структур с конечными предметными областями, существуют языки временных ограничений, CSP которых не может быть решен Datalog, но может быть выражен в логике с наименьшими фиксированными точками (LFP). Примером может служить CSP(Q; {(x,y,z) | x>y или x>z}), известная как задача планирования и/или.Цель моей магистерской диссертации — классифицировать все CSP для языков временных ограничений, которые могут быть выражены в LFP. В этом докладе я представляю формулу LFP для каждого языка временных ограничений, который сохраняется при минимальной операции.

    Среда, 05.09.2018, 13:15, WIL/C115

    Об обобщении теоремы фон Штаудта о поперечных отношениях
    Ятир Халеви (Еврейский университет в Иерусалиме)
    Я представлю обобщение теоремы фон Штаудта о том, что всякая перестановка проективной прямой, сохраняющая гармонические четверки, является проективной полулинейной карта.Отсюда я заключаю, что любая собственная супергруппа перестановок проективной полулинейной группы над алгебраически замкнутым полем степени трансцендентности не ниже 1 является 4-транзитивной.
    Совместная работа с Итаем Капланом.

    Пятница, 4 мая 2018 г., 13:15, WIL/C115 Сложность решения уравнений и проверка тождеств
    Майкл Компачер (Чарлов университет в Праге)
    Проблема разрешимости уравнения алгебры A — это вычислительная задача, которая спрашивает, является ли уравнение полиномов f(x_1,…,x_n) = g(x_1,…,x_n) имеет решение в A или нет.Помимо их актуальности для алгебры, для конечных алгебр эти проблемы кодируют многие проблемы в NP, включая все CSP. Проблема проверки идентичности A — это тесно связанная проблема, которая спрашивает, верно ли входное уравнение для всех замен переменных или нет. В своем докладе я сначала собираюсь обсудить некоторые препятствия в классификации сложности обеих проблем для всех конечных алгебр. Затем я расскажу, как теория коммутаторов и теория ручной конгруэнтности приближают нас к дихотомии P/NP-c (соответственно P/coNP-c) в модулярных многообразиях конгруэнтности.Это основано на совместной работе с Idziak и Krzaczkowski.
    Пятница, 20.04.2018, 13:15, WIL/C115 Классы расширения сюръективного морфизма графов, часть 2
    Андрес Аранда
    Недавно были введены два новых класса расширения морфизма для бесконечных реляционных структур: HE, класс всех L-структур, таких, что любой гомоморфизм между конечными индуцированными подструктурами продолжается до сюръективного эндоморфизма, а MB — класс всех L-структур, для которых любой мономорфизм между конечными индуцированными подструктурами продолжается до биективного эндоморфизма.В этом докладе я покажу, что все MB-однородные графы HE-однородны, а все «интересные» (т. е. не являющиеся объединением конечных клик) HE-однородные графы MB-однородны. Во втором докладе я докажу, что каждый MB-однородный граф является HE-однородным.
    Пятница, 13.04.2018, 13:15, WIL/C115 Классы расширения сюръективного морфизма графов
    Андрес Аранда
    Два новых класса расширения морфизма были недавно введены для бесконечных реляционных структур: HE, класс всех L-структур, таких, что любой гомоморфизм между конечными индуцированными подструктурами продолжается до сюръективный эндоморфизм и MB — класс всех L-структур, таких, что любой мономорфизм между конечными индуцированными подструктурами продолжается до биективного эндоморфизма.В этом докладе я покажу, что все MB-однородные графы HE-однородны, а все «интересные» (т. е. не являющиеся объединением конечных клик) HE-однородные графы MB-однородны.
    Пятница, 06.04.2018, 13:15, WIL/C115 Поля расщепления центральных простых алгебр экспоненты 2
    Карим Бехер (Университет Антверпена)
    Центральные простые алгебры над полями изучаются более века, начиная с работ Кэли, Гамильтона, Диксона и Веддерберна.Важным результатом теории полей классов является то, что эти алгебры полностью классифицируются над числовыми полями. Над произвольным базовым полем, хотя эти алгебры абстрактно классифицируются группой Брауэра, их структура, или, в частности, структура конечномерных алгебр с делением, все еще остается загадкой.
    По теореме Меркурьева каждая центральная простая алгебра второго порядка эквивалентна по Брауэру тензорному произведению кватернионных алгебр. В частности, если всякая алгебра кватернионов над данным полем расщеплена, то не существует центральной простой алгебры степени два над этим полем.Привожу независимое элементарное доказательство последнего факта. Хотя это доказательство основано на лемме Цорна, утверждение также должно иметь конструктивное доказательство, ведущее к явной оценке степени расщепляющего 2-расширения через степень алгебры.
    Пятница, 23.02.2018, 13:15, WIL/C115 Подсчет реляционных структур
    Леопольд Шлихт (Hans-Erlwein-Gymnasium Dresden)
    Пусть K класс конечных реляционных структур.Этот доклад посвящен следующей комбинаторной функции: *профиль* поля K принимает в качестве аргумента натуральное число n и дает количество структур в K размера n (с точностью до изоморфизма). Пузе предположил для наследственного K, удовлетворяющего свойству совместного вложения, что если профиль K ограничен полиномом, то профиль в конечном итоге является квазиполиномом.

    Я дам обзор текущего состояния исследований в отношении этой гипотезы. После этого я воспользуюсь методом производящих функций для доказательства гипотезы для классов всех графов, вкладываемых в несвязное объединение бесконечного числа копий пути (направленного или неориентированного).Наконец, дается список открытых частных случаев гипотезы.

    Пятница, 2 февраля 2018 г., 13:15, WIL/C115 Альтернативный порядок конгруэнтно-равномерных решеток
    Анри Мюле
    (Конечная) решетка L является конгруэнтно-равномерной тогда и только тогда, когда она может быть получена из одноэлементной решетки последовательностью удвоений интервалов. Если мы укажем, какое ребро диаграммы частичного множества L создается на каком шаге последовательности, мы получим естественную маркировку ребер L.Этот набор меток ребер можно использовать для определения альтернативного частичного порядка элементов L. Основной источник примеров для этих конструкций исходит из posets областей реального расположения гиперплоскости. Когда такой набор областей представляет собой конгруэнтно-равномерную решетку, то альтернативный порядок также является решеткой. В общем, однако, это открытая проблема, чтобы охарактеризовать конгруэнтно-однородные решетки, альтернативные порядки которых снова являются решетками. Мы даем необходимое условие решетчатости альтернативного порядка и обсуждаем конструкции, которые либо сохраняют, либо разрушают решетчатость.
    Пятница, 26.01.2018, 13:15, WIL/C115 Сцепление алгебр кватернионов
    Парул Гупта
    Алгебра кватернионов над полем задается парой ненулевых параметров поля, которые мы называем его слотами. Мы обсуждаем свойство поля F, называемое сильной связью, состоящее в том, что любое конечное число алгебр кватернионов над полем F имеет общий слот. Изучение этого свойства поля мотивировано его связью с квадратичными формами и, кроме того, примерами глобальных полей, где его можно показать с помощью теории полей классов.Мы изучаем свойство сильной зацепленности поля рациональных функций над квазиконечными полями, то есть совершенными полями, имеющими единственное расширение каждой степени. Интересным примером помимо конечных полей является поле рядов Лорана над алгебраически замкнутым полем характеристики 0. В этом докладе я буду обсуждать связь проблемы сцепления с теорией квадратичных форм и различные инструменты, которые полезны для демонстрации сильной связи.
    пятница, 19.01.2018, 13:15, WIL/C115 Классы расширения морфизмов бесконечных L-цветных графов
    Андрес Аранда
    L-структура M находится в HH_L (гомоморфизм-однородна), если каждый гомоморфизм между конечными индуцированными подструктурами M может быть расширен до эндоморфизма M; аналогично, M находится в MH_L, если каждый локальный мономорфизм может быть расширен до эндоморфизма M.Известно, что для некоторых языков L (например, графов) MH_L и HH_L совпадают, а для других HH_L является собственным подклассом MH_L.

    Если L — конечный частичный порядок, L-цветной граф — это граф, в котором ребрам назначены элементы L. Хартман, Хубичка и Машулович доказали, что в случае конечных графов, раскрашенных линейными порядками, MH=HH, даже когда разрешены раскраски вершин, и что MH=HH для вершинно-однородных (все вершины одного цвета) конечных раскрашенных графов. ромбом (антицепь, обогащенная нижним и верхним элементами), но различаются, когда разрешены раскраски вершин.В этом докладе я покажу, что MH=HH для счетных L-цветных графов, когда L — линейный порядок, приведу пример бесконечного MH L-графа, который не является HH, когда L — ромб, и докажу, что если MH =HH для бесконечных вершинно-однородных L-цветных графов, то L является полурешеткой соединений. Это совместная работа с Дэвидом Хартманом.

    Среда 17.01.2018, 13:15, WIL/C115 CD-независимые подмножества
    Эстер Хорват (Сегедский университет)
    Подмножество X конечной решетки L называется CD-независимым, если пересечение любых двух несравнимых элементов X равно 0.Чедли, Хартманн и Шмидт получили важный результат о CD-базисах (максимальных CD-независимых подмножествах) дистрибутивных решеток. В докладе мы естественным образом определяем CD-независимые подмножества в произвольном ч.у.м. На самом деле CD-независимость находится в тесной связи с деревьями. Точнее, если у нас есть CD-независимое подмножество в ЧУМ и мы удаляем его возможный 0, то мы получаем лес. Мы показываем, что CD-базы любого ч.у.м. могут быть охарактеризованы как максимальные цепи в родственном ч.у.м. Мы используем этот результат для исследования CD-базисов в полурешетках и в более общих классах решеток.Наконец, я делаю обзор других результатов, в частности, некоторых комбинаторных аспектов CD-независимости.
    Пятница 12.01.2018, 13:15, WIL/C115

    Наборы решений систем уравнений
    Тамаш Вальдхаузер (Сегедский университет)
    Наборы решений систем однородных линейных уравнений над полями характеризуются как подпространства, т. е. множества, замкнутые относительно линейных комбинаций. Но что мы можем сказать о «форме» множества всех решений систем уравнений над произвольными алгебрами? Доказано, что если такие множества решений можно охарактеризовать как множества, замкнутые относительно «чего-то», то это «что-то» должно быть централизатором клона термальных операций алгебры.Для двухэлементных алгебр такая характеристика действительно работает, но не для больших алгебр. При этом естественно возникает проблема описания тех клонов С, для которых множества решений систем уравнений над С являются в точности инвариантными соотношениями централизаторного клона С*. Мы представляем некоторые результаты текущей работы по этой проблеме, полученные совместно с Эндре Тотом, студентом магистратуры Сегедского университета.

    Пятница 5.01.2018, 13:15, WIL/C115 Неразрешимость совместного вложения для классов наследственных графов и родственные проблемы
    Сэм Браунфельд (Университет Рутгерса)
    Класс структур обладает свойством совместного вложения, если для любых двух структур в классе существует третья структура в класс, встраивающий оба.Мы сделаем набросок доказательства неразрешимости совместного вложения для классов наследственных графов с конечными ограничениями. Если позволит время, мы обсудим аналогичный вопрос в других классах структур.
    Пятница 15.12.2017, 13:30, WIL/C204 ε-гомоморфизмы и снижение сложности
    Александр Казда (Карлов университет)
    Пятница 8.12.2017, 13:15, WIL/C115 Земля обещаний (d) удовлетворения ограничений Якуб Опршал Задачу удовлетворения ограничений обещаний можно рассматривать как обобщение CSP.Домен PCSP представляет собой не одну, а две реляционные структуры A и B на одном языке. PCSP( A , B ) относится к проблеме решения, которая на входе получает pp-предложение φ на общем языке A и B и решает между двумя случаями: * (Полнота) A удовлетворяет φ , или * (Надежность) B не удовлетворяет φ . Важным примером этой проблемы является приближенная раскраска графа (соответствующие структуры — клика d и клика e для фиксированных e > d ): цель состоит в том, чтобы решить, является ли данный граф d -раскрашиваемый или даже не e -раскрашиваемый.Сложность этой раскраски графа в основном открыта, но считается, что она NP-сложна для всех констант e > d . Недавно Бракензик и Гурусвами заново открыли соответствие Галуа между парами реляционных структур и второстепенными замкнутыми наборами функций, которое является ключевым элементом алгебраического подхода. Мы обсудим естественное продолжение, полный алгебраический подход к PCSP и то, как он соотносится с тем фактом, что сложность CSP зависит только от тождеств высоты 1 (линейных), которым удовлетворяет соответствующий клон полиморфизма.Это открывает новую возможность применения алгебры в некоторых задачах аппроксимации.
    Пятница, 1.12.2017, 13:15, WIL/C115 Подсчет рациональных точек на определимых множествах
    Маргарет Томас (Университет Констанц)
    Результаты, изложенные в этом докладе, являются частью более широкого, процветающего взаимодействия между диофантовой геометрией и теорией моделей. Основная цель состоит в том, чтобы ограничить плотность рациональных и алгебраических точек, лежащих на некоторых «трансцендентных» подмножествах вещественных чисел.Следуя влиятельной работе Пилы и Уилки в этой области, мы сосредоточимся на множествах, определяемых в первом порядке в различных o-минимальных разложениях реального поля.
    Мы рассмотрим предысторию и некоторые результаты в этой области, в частности, касающиеся возможных улучшений границы Пилы–Уилки. К ним относятся примеры гипотезы Уилки, которая предлагает улучшение реального экспоненциального поля, и некоторый недавний прогресс, достигнутый в поиске эффективной версии теоремы Пилы-Уилки.
    пятница, 24.11.2017, 13:15, WIL/C115

    Порядок гомоморфизмов: моноунарные алгебры
    Даница Якубикова-Студеновска (Университет им. является гомоморфизмом A в B. Это квазипорядок; для классов эквивалентности мы получаем решетку, где соединение — прямое произведение, а встреча — непересекающаяся сумма структур.Мы будем иметь дело с классом связных моноунарных алгебр. Непересекающаяся сумма связных моноунарных алгебр не может быть связной, а также прямое произведение связных алгебр может быть несвязным. Однако будет доказано, что класс L всех связных моноунарных алгебр, упорядоченных относительно гомоморфизмов (факторизованных соответствующей эквивалентностью), является ограниченной решеткой. Далее L склеивается из двух частей: верхняя часть — счетно-дистрибутивная решетка, снизу ограниченная наибольшим элементом второй части, а вторая часть — решетка (не множество, а собственный класс).Каждая антицепь в L — это множество, содержащее не более чем континуум элементов. Более того, существует антицепь, имеющая ровно континуум элементов.

    Пятница, 17.11.2017, 13:15, WIL/C115

    Временная сложность NP-жестких CSP
    Victor Lagerqvist
    Проблема удовлетворения ограничений для языка ограничений Gamma (CSP(Gamma)) — это вычислительная проблема принятия решения о проверке того, выполним ли набор ограничений для Gamma.n) время, где c < |D|, а n обозначает количество переменных? Другими словами, нас интересует классификация NP-сложных CSP, которые могут быть решены строго быстрее, чем наивный алгоритм перечисления всех назначений в области. Мы увидим, что алгебраический подход может сыграть существенную роль в этом стремлении, если рассматривать частичные операции, возникающие из сильных условий Мальцева.

    Пятница, 10.11.2017, 13:15, WIL/C115

    Проконечность в конечно порожденных многообразиях неразрешима
    Михал М.Стронковский (Варшавский технологический университет)
    Совместная работа с Анваром М. Нуракуновым (Институт математики НАН, Кыргызстан).
    Проконечные алгебры — это в точности те, которые изоморфны обратным пределам конечных алгебр. Такие алгебры естественным образом снабжены булевыми топологиями. Многообразие V стандартно, если всякая булева топологическая алгебра с алгебраическим редуктом в V проконечна. Мы показываем, что не существует алгоритма, принимающего на вход конечную алгебру A конечного типа и решающего, является ли многообразие V(A), порожденное A, стандартным.Мы также показываем неразрешимость некоторых связанных свойств. В частности, это позволило решить одну из задач, поставленных Кларком, Дэйви, Фризом и Джексоном.

    пятница, 3.11.2017, 13:15, WIL/C115

    Однородные структуры и новое частичное множество
    Берталан Бодор
    В 1991 году Томас предположил, что каждая однородная счетная структура над конечным реляционным языком имеет конечное число редуктов. Это было решено для нескольких отдельных структур, но в целом мы все еще мало знаем.В этом докладе я расскажу о возможном обобщении гипотезы Томаса, включающем новый набор структур.

    пятница, 27.10.2017, 13:15, WIL/C115

    Выворачивание делителей нуля
    Николаас Ферхулст
    В этом докладе мы познакомимся с удивительным миром классической алгебры, точнее, полевой арифметики. Здесь решающую роль играют алгебры с делением, т. е. конечномерные ассоциативные алгебры без делителей нуля.Цель состоит в том, чтобы лучше понять этих зверей. Мы увидим, как конечномерные алгебры, как и большинство вещей в жизни, можно понять с помощью линейной алгебры. Это позволит нам говорить об определителях элементов, что, в свою очередь, позволяет нам вычислять делители нуля. Я объясню, как можно исказить алгебру и почему это (иногда) устраняет делители нуля. Будут поставлены некоторые интересные и, возможно, не слишком сложные открытые задачи.

    вторник, 24.10.2017, 11:00, WIL/C115

    Теорема о дихотомии для обратной задачи о выполнимости
    Биман Рой (Университет Линчепинга)
    Обратная задача о выполнимости над набором булевых отношений Γ (Inv-SAT(Γ)) представляет собой вычислительную проблему решения задачи при заданном отношении R, определяя, существует ли экземпляр SAT(Γ) с R в качестве набора моделей. Эта проблема, вообще говоря, ко-NP-полна, и теорема о дихотомии для конечного Γ, содержащего константные булевы соотношения, была получена Каввадиасом и Сидери.В этой статье мы удаляем последнее условие и доказываем, что Inv-SAT(Γ) всегда либо разрешим, либо ко-NP-полен для всех конечных множеств отношений Γ, тем самым решая проблему, открытую с 1998 г. Каввадиас и Сидери применимы, и мы должны обратиться к недавно разработанным алгебраическим подходам, основанным на частичных полиморфизмах. Мы также рассматриваем случай, когда Γ бесконечно, ситуация здесь заметно отличается от случая SAT. Точнее, мы показываем, что существует бесконечное Γ такое, что Inv-SAT(Γ) разрешимо, даже если существует конечное ∆ ⊂ Γ такое, что Inv-SAT(∆) ко-NP-полно.

    Пятница, 20.10.2017, 13:15, WIL/C115

    Ультрапроизведения сохраняют конечную подпрямую сводимость
    Анвар Нуракунов (Институт математики НАН, Кыргызстан)
    Алгебраическая структура A называется конечно подпрямо приводимой, если A не является конечно подпрямо неприводимой. Мы показываем, что для любой сигнатуры, дающей лишь конечное число символов отношения, класс конечно подпрямо приводимых алгебраических структур замкнут относительно формирования ультрапроизведений.Приводятся некоторые следствия и примеры для аксиоматизируемых классов, замкнутых относительно образования конечных подпрямых произведений, в частности, для многообразий и квазимногообразий.

    Пятница, 13.10.17, 13:15,
    WIL/C115

    открыть сеанс проблем

    %PDF-1.4
    %
    1 0 объект
    >
    эндообъект
    4 0 объект
    (1. Введение и обзор)
    эндообъект
    5 0 объект
    >
    эндообъект
    8 0 объект
    (\(а\) Структурные и гомологические свойства)
    эндообъект
    9 0 объект
    >
    эндообъект
    12 0 объект
    (\(b\) Проконечные методы для арифметических групп)
    эндообъект
    13 0 объект
    >
    эндообъект
    16 0 объект
    (\(c\) Связи с Кац-Муди, группы автоморфизмов свободных групп и группы классов отображений)
    эндообъект
    17 0 объект
    >
    эндообъект
    20 0 объект
    (\(d\) Приложения к геометрии, топологии и т. д.)
    эндообъект
    21 0 объект
    >
    эндообъект
    24 0 объект
    (\(е\) Жесткость)
    эндообъект
    25 0 объект
    >
    эндообъект
    28 0 объект
    (\(f\) Слабо соизмеримые группы и связности с алгебраическими группами)
    эндообъект
    29 0 объект
    >
    эндообъект
    32 0 объект
    (\(g\) Приложения к комбинаторике)
    эндообъект
    33 0 объект
    >
    эндообъект
    36 0 объект
    (2.Мини-курсы)
    эндообъект
    37 0 объект
    >
    эндообъект
    40 0 объект
    (Конрад: псевдоредуктивные группы и их арифметические приложения)
    эндообъект
    41 0 объект
    >
    эндообъект
    44 0 объект
    (Кёль: группы Каца-Муди)
    эндообъект
    45 0 объект
    >
    эндообъект
    48 0 объект
    (Вортман: свойства конечности арифметических групп над функциональными полями)
    эндообъект
    49 0 объект
    >
    эндообъект
    52 0 объект
    (3. Исследовательские лекции и обзорные беседы)
    эндообъект
    53 0 объект
    >
    эндообъект
    56 0 объект
    (Белолипецкий: Арифметические гиперболические группы отражения)
    эндообъект
    57 0 объект
    >
    эндообъект
    60 0 объект
    (Черноусов: Теорема конечности рода)
    эндообъект
    61 0 объект
    >
    эндообъект
    64 0 объект
    (Чинбург: Генерация арифметических групп малыми подгруппами с использованием теорем Лефшеца)
    эндообъект
    65 0 объект
    >
    эндообъект
    68 0 объект
    (Эмери: оценки гомологии кручения арифметических групп)
    эндообъект
    69 0 объект
    >
    эндообъект
    72 0 объект
    (Golsefidy: свойства расширения линейных групп)
    эндообъект
    73 0 объект
    >
    эндообъект
    76 0 объект
    (Ji: внешние автоморфизмы свободных групп и тропическая геометрия)
    эндообъект
    77 0 объект
    >
    эндообъект
    80 0 объект
    (Клопш и Фолл: рост представлений арифметических групп)
    эндообъект
    81 0 объект
    >
    эндообъект
    84 0 объект
    (Раджан: Представление и характеристически эквивалентные арифметические решетки)
    эндообъект
    85 0 объект
    >
    эндообъект
    88 0 объект
    (Рапинчук: О проблеме конгруэнтных подгрупп)
    эндообъект
    89 0 объект
    >
    эндообъект
    92 0 объект
    (Рапинчук: О гипотезе Бореля и Титса для абстрактных гомоморфизмов алгебраических групп)
    эндообъект
    93 0 объект
    >
    эндообъект
    96 0 объект
    (Рейд: все конечные группы участвуют в группе классов отображения)
    эндообъект
    97 0 объект
    >
    эндообъект
    100 0 объект
    (Реми: Неофициальный разговор о группах Кац-Муди)
    эндообъект
    101 0 объект
    >
    эндообъект
    104 0 объект
    (Стовер: подсчет концов арифметических орбифолдов первого ранга)
    эндообъект
    105 0 объект
    >
    эндообъект
    108 0 объект
    (Венкатарамана: Монодромия арифметических групп)
    эндообъект
    109 0 объект
    >
    эндообъект
    112 0 объект
    (Витцель: свойства конечности по Бредону арифметических групп)
    эндообъект
    113 0 объект
    >
    эндообъект
    116 0 объект
    (Залесский: Проконечная топология на арифметических группах)
    эндообъект
    117 0 объект
    >
    эндообъект
    120 0 объект
    (Использованная литература)
    эндообъект
    121 0 объект
    >
    эндообъект
    143 0 объект >
    ручей
    xڭXKs6WHU(

    .

alexxlab

Related Articles

Разное

Естествознание гдз – ГДЗ от Путина Естествознание

Содержание ГДЗ от Путина ЕстествознаниеГДЗ по Естествознанию, решебник и ответы онлайнРешебник по ЕстествознаниюГДЗ и Решебник по Естествознанию на Мегарешеба комГДЗ по естествознанию для 5‐6 класса Гуревич А.Е.ГДЗ по Естествознанию ответы к учебникам и рабочим тетрадямНавигация по гдзРешеба по естествознанию, ГДЗ и Решебник ГДЗ от Путина Естествознание ГДЗ от Путина Найти 1 класс Математика Английский язык […]

Разное

Вправа 455 укр мова 5 клас: Перевірка браузера, будь ласка, зачекайте…

Содержание ГДЗ Українська мова 5 клас. Підручник Заболотний В.В. Заболотна О.В 2018 » Сторінка 30 » Rule.SchoolГДЗ рідна українська мова 3 клас Вашуленко О І Вправа 450 – 460 Нова програма 2013 року Відповіді ( ответы ) » Допомога учнямГДЗ по Украинскому языку для 7 класса Заболотный О.В., Заболотный В.В. на 5Изучаем тонкости речи с […]

Разное

Гдз по русскому 3 кл канакина: ГДЗ по русскому языку для 3 класса Канакина, Горецкий 1, 2 часть

Содержание Канакина. 3 класс. Учебник №1. Наши проекты. Рассказ о слове с. 72ГДЗ Русский язык 3 класс В.П. Канакина, В.Г. Горецкий Часть 1. ГДЗ Проверь себя стр. 10 стр. стр. 71 стр. 100 стр. 141 Наши проекты стр. 101 стр. 142 Часть 2. ГДЗ Проверь себя стр. 62 стр. 89 стр. 130 Наши проекты стр. […]

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *