Пример использования ∆1 термов в булевозначном анализе
Автор: Гутман Александр Ефимович
Журнал: Владикавказский математический журнал @vmj-ru
Статья в выпуске: 1 т.14, 2012 года.
Бесплатный доступ
Демонстрируется использование в булевозначном анализе синтаксической техники, связанной с понятием ∆1 -терма. В качестве примера рассмотрен вопрос о том, какие подходы к определению числового поля R икакие полные булевы алгебры B обеспечивают явное включение R^\subset R внутри булевозначного универсума V(B).
Теория множеств, консервативное расширение, вещественное число, булевозначный анализ, каноническое вложение, σ-дистрибутивная булева алгебра, σ1-формула.
Короткий адрес: https://sciup.org/14318370
IDR: 14318370
Список литературы Пример использования ∆1 термов в булевозначном анализе
- Булос Дж., Джеффри Р. Вычислимость и логика.-М.: Мир, 1994.-396 с.
- Гутман А. Е. Банаховы расслоения в теории решеточно нормированных пространств//Тр. Ин-та математики СО РАН. Линейные операторы, согласованные с порядком.-Новосибирск: Изд-во ин-та математики, 1995.-Т. 29.-С. 63-211.
- Канторович Л. В. О полуупорядоченных линейных пространствах и их приложениях в теории линейных операций//Докл. АН СССР.-1935.-Т. 4, № 1/2.-C. 11-14.
- Канторович Л. В., Акилов Г. П. Функциональный анализ.-М.: Наука, 1984.-752 с.
- Канторович Л. В., Вулих Б. З., Пинскер А. Г. Функциональный анализ в полуупорядоченных пространствах.-М.-Л.: Гостехиздат, 1950.-550 с.
- Кусраев А. Г. Мажорируемые операторы.-М.: Наука, 2003.-609 c.
- Кусраев А. Г., Кутателадзе С. С. Введение в булевозначный анализ.-М.: Наука, 2005.-256 c.
- Сикорский Р. Булевы алгебры.-М.: Мир, 1969.-376 с.
- Bell J. L. Set Theory. Boolean-Valued Models and Independence Proofs.-New York: Clarendon Press, 2005.
- Gutman A. E. Locally one-dimensional K-spaces and $\sigma$-distributive Boolean algebras//Siberian Adv. Math.-1995.-Vol. 5, №1.-P. 42-48.
- Jech T. Set Theory.-Berlin etc.: Springer-Verlag, 2002.
- Levy A. hierarchy of formulas in set theory.-Providence (R.I.): Amer. Math. Soc., 1965.-(Mem. Amer. Math. Soc., № 57).
- Solovay R. M., Tennenbaum S. Iterated Cohen extensions and Souslin's problem//Annals of Math.-1971.-Vol. 94, № 2.-P. 201-245.
Статья научная
