О структурном изоморфизме множеств подмножеств структурно изоморфных множеств
Автор: Чечулин Виктор Львович
Журнал: Вестник Пермского университета. Серия: Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: Математика
Статья в выпуске: 3 (11), 2012 года.
Бесплатный доступ
Описано свойство структурного изоморфизма множеств подмножеств структурно изоморфных множеств, в теории множеств с самопринадлежностью. Указана прикладная интерпретация этого свойства в лингвистической области. Минимальная модельная область для формального языка с самоссылочностью - все множество всех множеств.
Теория множеств с самопринадлежностью, структурный изоморфизм, множество подмножеств, структурный изоморфизм множеств подмножеств, формальные языки и системы, модельная область для формального языка, множество всех множеств
Короткий адрес: https://sciup.org/14729794
IDR: 14729794
Список литературы О структурном изоморфизме множеств подмножеств структурно изоморфных множеств
- Чечулин В.Л. Теория множеств с самопринадлежностью (основания и некоторые приложения): монография/Перм. ун-т. Пермь, 2010. 100 с. URL:http://elibrary.ru/item.asp?id=15267103.
- Чечулин В.Л. Об упорядоченных множествах с самопринадлежностью//Вестн. Перм. ун-та. Сер. Математика. Механика. Информатика. 2008. Вып. 4(20). C. 37-46.
- Чечулин В.Л. Об одном варианте модельной области лямбда-исчисления//Синтаксис и семантика логических систем. Иркутск, 2010. С.112-114.
- Чечулин В.Л. О приложениях семантики самопринадлежности//Вестн. Перм. ун-та. Сер. Математика. Механика. Информатика. 2009. Вып. 3(29). С.10-17.
- Чечулин В.Л. О непротиворечивости лямбда-исчисления//В мире научных открытий. Сер. Математика. Механика. Информатика. 2011. №1. С.203-206. URL: http://www.nkras.ru/articles/2011/1/vypusk12011.pdf
- Chechulin V.L. About the selfconsidering semantic in the mathematical logic//Bull. Symbolic Logic. 2010. Vol. 16, issue 1. Р.111-112.
- Чечулин В.Л. О соотношении мощностей множества Рассела и множества всех множеств//Вестн. Перм. ун-та. Сер. Математика. Механика. Информатика. 2012 (в печати).
