Приложение
для AndroidПолное описание
Todorchevich, S. Some applications of the method of forcing / S.Todorchevich,I.Farah. - Moscow : Yenisei, 1995. - 148 p. : il. - (Series in pure and applied mathematics). - 1000 экз. - ISBN 5-88623-014-9 : Б. ц. - Текст : непосредственный.
Index:p.143-146
| ГРНТИ | УДК | |
| 27.03 | 510.3 |
Рубрики:
Множеств теория
Кл.слова (ненормированные): множество -- теория
Доп. точки доступа:
Farah, I.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Ахтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Хисамиев Н.Г. Конструктивные абелевы группы : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Н. Г. Хисамиев, 1990. - 24 с. - Текст : непосредственный.Морозов А.С. Группы вычислительных автоморфизмов : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов, 1990. - 15 с. - Текст : непосредственный.Вайценавичюс Р.Ю. Главные нумерации вычислимых функционалов на допустимых множествах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Р. Ю. Вайценавичюс, 1991. - 11 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.
Показать все результатыSchindler R.D. core model up to one strong cardinal : Diss. / R.D.Schindler, 1997. - 122 p. - Текст : непосредственный. Rutten J.J.M.M. On the foundations of final semantics:non-standard sets,metric spaces, partial orders / J.J.M.M.Rutten,D.Turi, 1992. - 53 p. - Текст : непосредственный.Хенл Дж.М. Введение в теорию множеств / Дж.М.Хенл;Пер. с англ. С.И.Травкина; Под ред.В.Б.Кузьмина, 1993. - 105 c. - Текст : непосредственный.Beigel R. Approximable sets / R.Beigel,M.Kummer,F.Stephan, 1993. - 15 p. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Кузнецов В.Н. Теоретическая информатика - I. Элементы теории множеств и математической логики : Учеб. пособие / В.Н.Кузнецов, 1994. - 103 c. - Текст : непосредственный.Todorchevich S. Some applications of the method of forcing / S.Todorchevich,I.Farah, 1995. - 148 p. - Текст : непосредственный.Малинина Т.Б. Высшая математика: элементы теории множеств, линейная алгебра и аналитическая геометрия : Курс лекций / Т.Б.Малинина, 1995. - 100 c. - Текст : непосредственный.Дополнительные разделы элементарной математики. Элементы теории множеств : Текст лекций / С.А.Беликов,Ю.П.Данилов,В.Г.Фарафонов,О.Ю.Шульц, 1995. - 45 c. - Текст : непосредственный.Good C. Measurable cardinals and finite intervals between Hausdorff topologies / C.Good,D.W.McIntyre,W.S.Watson, 1996. - 15 p. - Текст : непосредственный.Halko A. Negligible subsets of the generalized Baire space w1w1 : Diss. / A.Halko, 1996. - 38 p. - Текст : непосредственный.Бурбаки, Н. Начала математики : Пер. с фр. Г.Н.Поварова, Ю.А.Шихановича. Ч. 1 : Основные структуры анализаКн. 1. Теория множеств, 1965. - 455 с. - Текст : непосредственный.Столл Р.Р. Множества. Логистика. Аксиоматические теории / Р.Р.Столл;Пер. с англ. Ю.А.Гастева, И.Х.Шмаина; Под ред. Ю.А.Шихановича, 1968. - 231 с. - Текст : непосредственный.Стрыгин В.З. Метаматематическое, теоретико-множественное и математико-логическое обоснование решения некоторых NP-полных задач полиномиальными алгоритмами / В.З.Стрыгин, 1994. - 35 с. - Текст : непосредственный.Березнюк С. Расположение собственно степеней / С. Березнюк, Р. Кулз, А. Сорби, 1997. - 20 с. - Текст : непосредственный.Шестаков А.А. Высшая математика. Множества и пространства : Учеб.пособие / А.А.Шестаков,Г.Х.Синдаловский, 1997. - 39 с. - Текст : непосредственный.Котлярова И.О. Элементы теории множеств и математической логики : Учеб. пособие / И. О. Котлярова, Е. Л. Кузнецова, Г. Н. Сериков, 1997. - 78 с. - Текст : непосредственный.Насыров З.Х. Множества, отношения, алгоритмы : Учеб.пособие по курсу "Дискрет.мат." / З.Х.Насыров, 1997. - 36 с. - Текст : непосредственный.Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В.Е.Шестопал, 1997. - 19 с. - Текст : непосредственный.Мальцев Ю.Н. Основания математики. Элементы теории множеств, дискретной математики и математической логики / Ю.Н.Мальцев, 1996. - 83 с. - Текст : непосредственный.
Показать все результатыШерстнева А.И. Почти изоморфные абелевы группы и аналог теоремы Кантора-Шредера-Бернштейна : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / А. И. Шерстнева, 2002. - 15 с. - Текст : непосредственный.Schindler R.D. core model up to one strong cardinal : Diss. / R.D.Schindler, 1997. - 122 p. - Текст : непосредственный. Rutten J.J.M.M. On the foundations of final semantics:non-standard sets,metric spaces, partial orders / J.J.M.M.Rutten,D.Turi, 1992. - 53 p. - Текст : непосредственный.Хенл Дж.М. Введение в теорию множеств / Дж.М.Хенл;Пер. с англ. С.И.Травкина; Под ред.В.Б.Кузьмина, 1993. - 105 c. - Текст : непосредственный.Beigel R. Approximable sets / R.Beigel,M.Kummer,F.Stephan, 1993. - 15 p. - Текст : непосредственный.Finite and infinite combinatorics in sets and logic : Proc.of the NATO advanced study inst.on finite and infinite combinatorics in sets and logic,Banff,Alberta,Canada,Apr.21-May 4 1991 / ed. N. W. Sauer, 1993. - XVII,453 p. p. - Текст : непосредственный.Todorchevich S. Some applications of the method of forcing / S.Todorchevich,I.Farah, 1995. - 148 p. - Текст : непосредственный.Set theory of the continuum : Papers presented at an MSRI workshop Oct.16-20,1989,Berkeley(Ca) / ed. H. Judah, 1992. - IX,416 p. p. - Текст : непосредственный.Малинина Т.Б. Высшая математика: элементы теории множеств, линейная алгебра и аналитическая геометрия : Курс лекций / Т.Б.Малинина, 1995. - 100 c. - Текст : непосредственный.Дополнительные разделы элементарной математики. Элементы теории множеств : Текст лекций / С.А.Беликов,Ю.П.Данилов,В.Г.Фарафонов,О.Ю.Шульц, 1995. - 45 c. - Текст : непосредственный.Good C. Measurable cardinals and finite intervals between Hausdorff topologies / C.Good,D.W.McIntyre,W.S.Watson, 1996. - 15 p. - Текст : непосредственный.Halko A. Negligible subsets of the generalized Baire space w1w1 : Diss. / A.Halko, 1996. - 38 p. - Текст : непосредственный.Бурбаки, Н. Начала математики : Пер. с фр. Г.Н.Поварова, Ю.А.Шихановича. Ч. 1 : Основные структуры анализаКн. 1. Теория множеств, 1965. - 455 с. - Текст : непосредственный.Березнюк С. Расположение собственно степеней / С. Березнюк, Р. Кулз, А. Сорби, 1997. - 20 с. - Текст : непосредственный.Шестаков А.А. Высшая математика. Множества и пространства : Учеб.пособие / А.А.Шестаков,Г.Х.Синдаловский, 1997. - 39 с. - Текст : непосредственный.Насыров З.Х. Множества, отношения, алгоритмы : Учеб.пособие по курсу "Дискрет.мат." / З.Х.Насыров, 1997. - 36 с. - Текст : непосредственный.Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В.Е.Шестопал, 1997. - 19 с. - Текст : непосредственный.Попов Н.А. Теоремы Ахинеева / Н.А.Попов,А.Н.Попов, 1998. - 12 с. - Текст : непосредственный.Fernando R.T.P. primitive recursive set theory and AFA:On the logical complexity of the largest bisimulation / R.T.P.Fernando, 1992. - 15 p. - Текст : непосредственный.Бредихин Д.А. Элементы теории множеств, алгебры и дискретной математики : Учеб. пособие для студентов всех специальностей / Д.А.Бредихин,Д.Е.Черный;Под ред.В.А.Крысько, 1998. - 79 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽