Вклад участника Arami Mira

26 апреля 2024

• 14:0214:02, 26 апреля 2024 разн. история +4‎ Трансфинитная последовательность ‎ общем смысле -> широком смысле текущая Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим

25 апреля 2024

• 11:0711:07, 25 апреля 2024 разн. история +148‎ Аксиома зависимого выбора ‎Нет описания правки текущая Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
• 11:0511:05, 25 апреля 2024 разн. история +260‎ Теорема Лёвенгейма — Скулема ‎ Проставил якоря чтобы можно было нормально ссылаться на конкретные теоремы, а не как сейчас текущая Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим

24 апреля 2024

• 09:3609:36, 24 апреля 2024 разн. история +13 508‎ Теорема Лёвенгейма — Скулема ‎ Переписал статью, отметив различные версии теоремы о понижении мощности, о которых писал ещё тарский в 29-м году

22 апреля 2024

• 16:4516:45, 22 апреля 2024 разн. история +2167‎ Обсуждение участника:Bezik ‎ →‎Вопрос про источники: новая тема Метка: новая тема

20 апреля 2024

• 11:2811:28, 20 апреля 2024 разн. история +37‎ Аксиома зависимого выбора ‎ Есть 2 варианты теоремы сколема, слабый доказывается в ZF, сильный эквивалентен DC. В ближайшее время перепишу статью про Лёвенгельма-Сколема и поясню это Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
• 10:5310:53, 20 апреля 2024 разн. история +1996‎ Обсуждение:Теоремы Гёделя о неполноте ‎ →‎Теорема Левенгейма — Сколема: Ответ текущая Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим ответ

13 апреля 2024

• 12:0012:00, 13 апреля 2024 разн. история +557‎ Фильтр (математика) ‎ Добавил общее определение фильтра текущая Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим

12 апреля 2024

• 21:5421:54, 12 апреля 2024 разн. история +164‎ Н Тривиально упорядоченное множество ‎ Создано перенаправление; отдельную статью на тривиально упорядоченное множество не вижу смысло делать, а упомянуть его в частичном мне кажется то что надо текущая Метки: новое перенаправление с мобильного устройства из мобильной версии через расширенный мобильный режим
• 21:5121:51, 12 апреля 2024 разн. история +351‎ Частично упорядоченное множество ‎ →‎Тривиально упорядоченные множества: Добавил упомянание строгого порядка и якорь текущая Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
• 21:3921:39, 12 апреля 2024 разн. история +25‎ Вполне упорядоченное множество ‎ Добавлено сокращение текущая Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
• 21:3821:38, 12 апреля 2024 разн. история +24‎ Линейно упорядоченное множество ‎ ЛУМ — очень часто встречающееся сокращение, буквально у всех русскоязычных лекторов по теории множеств это слышал текущая Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
• 21:3721:37, 12 апреля 2024 разн. история +363‎ Обсуждение:Частично упорядоченное множество ‎ →‎Untitled: Ответ текущая Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим ответ

11 апреля 2024

• 18:4418:44, 11 апреля 2024 разн. история +1519‎ Частично упорядоченное множество ‎ Тривиально упорядоченное множество
• 02:5902:59, 11 апреля 2024 разн. история +28‎ Тензор ‎ Изначально тут стояло бивектора, что ошибка и я когда-то это убрал. По смыслу тут должно было стоять диада, но я почему-то тогда не поставил, и предложение выглядело довольно странно. Добавил текущая Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
• 02:5002:50, 11 апреля 2024 разн. история +11‎ Прямая сумма ‎ →‎Прямая сумма произвольного множества пространств: Поправил скобки в теховской формуле текущая Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
• 02:2702:27, 11 апреля 2024 разн. история +4‎ Объединение множеств ‎ →‎Определения: Ссылка на семейство множеств текущая Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
• 01:0001:00, 11 апреля 2024 разн. история +2‎ м Упорядоченная сумма ‎ →‎Ординальная сумма: Опечатка в ссылке текущая
• 00:5900:59, 11 апреля 2024 разн. история +8275‎ Упорядоченная сумма ‎ Попытался примирить кучу разных авторов с противоречащей терминологией и противоречащими обозначениями в одной статье

10 апреля 2024

• 00:1100:11, 10 апреля 2024 разн. история +16‎ м Упорядоченная сумма ‎ →‎Преамбула: Опечатка: вместо \preccurlyeq в некоторых местах стояли \leq

9 апреля 2024

• 19:2719:27, 9 апреля 2024 разн. история +222‎ Обсуждение:Теория (логика) ‎ Ответ текущая Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим ответ
• 03:5003:50, 9 апреля 2024 разн. история +4‎ м Упорядоченная сумма ‎ →‎Кардинальные и ординальные суммы: Опечатка в теховском коде
• 03:4903:49, 9 апреля 2024 разн. история +2‎ м Упорядоченная сумма ‎ →‎Преамбула: исправил небольшую опечатку в теховском коде
• 03:4203:42, 9 апреля 2024 разн. история +107‎ Н Ординальная сумма ‎ Ординальная сумма; термин есть в статье "Упорядоченная сумма" из МЭ текущая Метка: новое перенаправление
• 03:4103:41, 9 апреля 2024 разн. история +109‎ Н Кардинальная сумма ‎ Кардинальная сумма; термин есть в статье "Упорядоченная сумма" из МЭ текущая Метка: новое перенаправление
• 03:3903:39, 9 апреля 2024 разн. история +6706‎ Н Упорядоченная сумма ‎ Коротенькая статья про упорядоченные суммы

2 апреля 2024

• 03:5503:55, 2 апреля 2024 разн. история +884‎ Трансфинитная последовательность ‎ Добавил немного информации про пределы; странно писать о последовательностях и ничего не сказать про пределы Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим

1 апреля 2024

• 07:5407:54, 1 апреля 2024 разн. история +88‎ Трансфинитная последовательность ‎ См. также Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
• 07:5107:51, 1 апреля 2024 разн. история +400‎ Трансфинитная последовательность ‎ Добавил стандартные обозначения для множеств трансфинитных последовательностей Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
• 06:1106:11, 1 апреля 2024 разн. история −81‎ Аксиома зависимого выбора ‎ →‎Обобщения: Переписал в более удачных обозначения со ссылкой на статью трансфинитная последовательность
• 06:0506:05, 1 апреля 2024 разн. история +147‎ Н Трансфинитная класс-последовательность ‎ По сути -- синоним термина класс-последовательность, потому что ну обычная последовательность собственным классом-то быть не может текущая Метка: новое перенаправление
• 06:0406:04, 1 апреля 2024 разн. история +147‎ Н Класс-последовательность ‎ Не считаю, что для класс-последовательности нужна отдельная статья, но перенаправление пригодится текущая Метка: новое перенаправление
• 06:0206:02, 1 апреля 2024 разн. история +3357‎ Н Трансфинитная последовательность ‎ Написал заготовку для трансфинитной последовательности; термин важный, должен иметь собственную статью, но пока не готов писать целую статью
• 03:5503:55, 1 апреля 2024 разн. история +53‎ Класс изоморфности ‎ Добавлена категория теория множеств текущая
• 03:5503:55, 1 апреля 2024 разн. история +94‎ Порядковый тип ‎ Исправлена некоректная сноска и проставлены категории текущая

31 марта 2024

• 11:0011:00, 31 марта 2024 разн. история −3‎ м Порядковый тип ‎ →‎Операции: Убрал внутренние скобки, чтобы выглядело красивее
• 10:5810:58, 31 марта 2024 разн. история +12 357‎ Н Порядковый тип ‎ Давно было пора написать эту статью, но всё руки не доходили. Пока довольно сумбурно, думаю буду ещё улучшать

29 марта 2024

• 10:3110:31, 29 марта 2024 разн. история +119‎ Обсуждение участника:Arami Mira ‎ →‎Автопатрулирование: Ответ Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим ответ
• 04:3804:38, 29 марта 2024 разн. история +179‎ Иерархия алефов ‎ →‎Алеф-один: Почему-то в начале подраздела упомянается, что аксиома выбора не используется, а в конце нет. Уточнил текущая
• 04:3304:33, 29 марта 2024 разн. история +2261‎ Континуум-гипотеза ‎ Разъяснил получше о континуум гипотезе в ZF. Несколько раз встречал людей, причём обладающих весьма обширными математическими знаниями, у которых после прочтения данной статьи создавались неверные впечатления о CH в ZF без аксиомы выбора. Постарался максимально подробно объяснить что будет, если рассмотреть CH без аксиомы выбора текущая

29 февраля 2024

• 01:5001:50, 29 февраля 2024 разн. история +2‎ м Транзитивное множество ‎ Изменил порядок фраз по введении для улучшения читаемости текущая
• 01:4801:48, 29 февраля 2024 разн. история −2‎ Транзитивное множество ‎ →‎Наследственная транзитивность: отношение эквивалентности -> принадлежности, опечатка
• 01:3901:39, 29 февраля 2024 разн. история +93‎ Транзитивное множество ‎ →‎Наследственная транзитивность: Ошибка в примере наследственно транзитивного множества, которое не ординал

12 февраля 2024

• 22:4022:40, 12 февраля 2024 разн. история +10 133‎ Семантика Крипке ‎ Написал раздел про интуиционисткую логику текущая

11 февраля 2024

• 01:3501:35, 11 февраля 2024 разн. история +5595‎ Абстрактный автомат ‎ Исправил определение, в котором почему-то стояло требование конечности, хотя термин абстрактный обычно используется как раз тогда, когда не нужно подчёркивать конечность текущая

29 декабря 2023

• 12:3912:39, 29 декабря 2023 разн. история +126‎ Класс изоморфности ‎ →‎Изоморфный тип: Исправил неточность в формулировке Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим

23 декабря 2023

• 04:5204:52, 23 декабря 2023 разн. история −105‎ Транзитивное множество ‎ Вписал одно из эквивалентных определений в начало

6 октября 2023

• 22:1722:17, 6 октября 2023 разн. история +1‎ м Московиц, Дастин ‎ →‎Биография: запятая перед деепричастным оборотом текущая

8 сентября 2023

• 19:5019:50, 8 сентября 2023 разн. история +1‎ Схема свёртывания ‎ →‎Схема свёртывания в теории типов: Опечатка Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим

10 июня 2023

• 10:1910:19, 10 июня 2023 разн. история 0‎ м Класс изоморфности ‎ →‎Изоморфный тип: там запятая не нужна 2, не то изменил