авторефераты диссертаций БЕСПЛАТНАЯ БИБЛИОТЕКА РОССИИ

КОНФЕРЕНЦИИ, КНИГИ, ПОСОБИЯ, НАУЧНЫЕ ИЗДАНИЯ

<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ


Pages:     | 1 |   ...   | 7 | 8 ||

«РОССИЙСКАЯ АКАДЕМИЯ НАУК СИБИРСКОЕ ОТДЕЛЕНИЕ ИНСТИТУТ МАТЕМАТИКИ им. С. Л. СОБОЛЕВА Нестандартные методы анализа А. Г. Кусраев С. ...»

-- [ Страница 9 ] --

172. Kusraev A. G. On Boolean valued convex analysis // Mathema tische Optimiering. Theorie und Anwendungen. Wartburg/Eise nach, 1983, P. 106–109.

173. Kusraev A. G. and Kutateladze S. S. Nonstandard methods for Kantorovich spaces // Siberian Adv. Math. 1992. V. 2, No. 2.

P. 114–152.

174. Kusraev A. G. and Kutateladze S. S. Nonstandard methods in ge ometric functional analysis // Amer. Math. Soc. Transl. Ser. 2.

1992. V. 151. P. 91–105.

175. Kusraev A. G. and Kutateladze S. S. Boolean-valued introduction to the theory of vector lattices // Amer. Math. Soc. Transl.

Ser. 2. 1995. V. 163. P. 103–126.

176. Kusraev A. G. and Kutateladze S. S. Nonstandard methods in functional analysis // Interaction Between Functional Analysis, Harmonic Analysis, and Probability Theory. New York: Marcel Deccer Inc., 1995. P. 301–306.

177. Kutateladze S. S. Nonstandard tools for convex analysis//Math.

Japon. 1996. V. 43, No. 2. P. 391–410.

178. Lacey H. E. The Isometric Theory of Classical Banach Spaces.

Berlin etc.: Springer-Verlag, 1974. x+270 pp.

179. Larsen R. Banach Algebras, an Introduction. New York: Dekker, 1973. xi+345 pp.

Литература 180. Levy A. Basic Set Theory. Berlin etc.: Springer-Verlag, 1979.

xiv+391 pp.

181. Li N. The Boolean-valued model of the axiom system of GB // Chinese Sci. Bull. 1991. V. 36, No. 2. P. 99–102.

182. Lindenstrauss J. and Tzafriri L. Classical Banach Spaces. Vol. 1:

Sequence Spaces. Berlin etc.: Springer-Verlag, 1977.

xiii+188 pp.

183. Lindenstrauss J. and Tzafriri L. Classical Banach Spaces. Vol. 2:

Function Spaces. Berlin etc.: Springer-Verlag, 1979. x+243 pp.

184. Locher J. L. (ed.), The World of M. C. Escher. New York: Abra dale Press, 1988.

185. Lowen R. Mathematics and fuzziness // Fuzzy Sets Theory and Applications (Louvain-la-Neuve, 1985), NATO Adv. Sci. Inst.

Ser. C: Math. Phys. Sci., 177. Reidel, Dordrecht, and Boston, 1986. P. 3–38.

186. Luxemburg W. A. J. and Zaanen A. C. Riesz Spaces. Vol. 1.

Amsterdam and London: North-Holland, 1971. 514 pp.

187. MacLane S. Categories for the Working Mathematician. New York: Springer-Verlag, 1971. ix+262 pp.

188. Melter R. Boolean valued rings and Boolean metric spaces // Arch.

Math. 1964. No. 15. P. 354–363.

189. Milvay C. J. Banach sheaves // J. Pure Appl. Algebra. 1980.

V. 17, No. 1. P. 69–84.

190. Molchanov I. S. Set-valued estimators for mean bodies related to Boolean models // Statistics 28. 1996. No. 1. P. 43–56.

191. Monk J. D. and Bonnet R. (eds.), Handbook of Boolean Algebras.

Vol. 1–3. Amsterdam etc.: North-Holland, 1989.

192. Namba K. Formal systems and Boolean valued combinatorics // Southeast Asian Conference on Logic (Singapore, 1981), P. 115– 132. Stud. Logic Found. Math., 111, Amsterdam and New York:

North-Holland, 1983.

193. von Neumann J. Collected Works. Vol. 3: Rings of Operators.

New York, Oxford, London, and Paris: Pergamon Press, 1961.

ix+574 pp.

194. von Neumann J. Collected Works. Vol. 4: Continuous Geometry and Other Topics. Oxford, London, New York, and Paris: Perg amon Press, 1962. x+516 pp.

370 Литература 195. Nishimura H. An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis // Publ.

Res. Inst. Math. Sci. 1984. V. 20, No. 5. P. 1091–1101.

196. Nishimura H. Boolean valued decomposition theory of states // Publ. Res. Inst. Math. Sci. 1985. V. 21, No. 5. P. 1051–1058.

197. Nishimura H. Some applications of Boolean-valued set theory to abstract harmonic analysis on locally compact groups // Publ.

Res. Inst. Math. Sci. 1985. V. 21, No. 1. P. 181–190.

198. Nishimura H. Heyting valued set theory and bre bundles // Publ.

Res. Inst. Math. Sci. 1988. V. 24, No. 2. P. 225–247.

199. Nishimura H. On the absoluteness of types in Boolean valued lat tices // Z. Math. Logik Grundlag. Math. 1990. V. 36, No. 3.

P. 241–246.

200. Nishimura H. Some connections between Boolean valued analy sis and topological reduction theory for C -algebras // Z. Math.

Logik Grundlag. Math. 1990. V. 36, No. 5. P. 471–479.

201. Nishimura H. Boolean valued Dedekind domains // Z. Math. Logik Grundlag. Math. 1991. V. 37, No. 1. P. 65–76.

202. Nishimura H. Boolean valued Lie algebras // J. Symbolic Logic.

1991. V. 56, No. 2. P. 731–741.

203. Nishimura H. Foundations of Boolean-valued algebraic geometry // Z. Math. Logik Grundlag. Math. 1991. V. 37, No. 5. P. 421– 438.

204. Nishimura H. Some Boolean valued commutative algebra // Z.

Math. Logik Grundlag. Math. 1991. V. 37, No. 4. P. 367–384.

205. Nishimura H. On a duality between Boolean valued analysis and topological reduction theory //Math. Logic Quart. 1993. V. 39, No. 1. P. 23–32.

206. Nishimura H. On the duality between Boolean-valued analysis and reduction theory under the assumption of separability // Internat.

J. Theoret. Phys. 1993. V. 32, No. 3. P. 443–488.

207. Nishimura H. A Boolean-valued approach to Gleason’s theorem // Rep. Math. Phys. 1994. V. 34, No. 2. P. 125–132.

208. Ozawa M. Boolean valued analysis and type I AW -algebras // Proc. Japan Acad. Ser. A Math. Sci. 1983. V. 59A, No. 8.

P. 368–371.

209. Ozawa M. Boolean valued interpretation of Hilbert space theory // J. Math. Soc. Japan. 1983. V. 35, No. 4. P. 609–627.

Литература 210. Ozawa M. A classication of type I AW -algebras and Boolean valued analysis // J. Math. Soc. Japan. 1984. V. 36, No. 4.

P. 589–608.

211. Ozawa M. A transfer principle from von Neumann algebras to AW -algebras // J. London Math. Soc. (2). 1985. V. 32, No. 1.

P. 141–148.

212. Ozawa M. Nonuniqueness of the cardinality attached to homoge neous AW -algebras // Proc. Amer. Math. Soc. 1985. V. 93.

P. 681–684.

213. Ozawa M. Boolean valued analysis approach to the trace problem of AW -algebras // J. London Math. Soc. (2). 1986. V. 33, No. 2. P. 347–354.

214. Ozawa M. Embeddable AW -algebras and regular completions // J. London Math. Soc. 1986. V. 34, No. 3. P. 511–523.

215. Ozawa M. Boolean-valued interpretation of Banach space theory and module structures of von Neumann algebras // Nagoya Math. J.

1990. V. 117. P. 1–36.

216. Nishimura H. Boolean valued and Stone algebra valued measure theories // Math. Logic Quart. 1994. V. 40, No. 1. P. 69–75.

217. Pedersen G. K. Analysis Now. Berlin etc.: Springer-Verlag, 1995. 277 pp.

218. Pinus A. G. Boolean Constructions in Universal Algebras. Dord recht etc.: Kluwer Academic Publishers, 1993. vii+350 pp.

219. Pirce R. S. Modules over commutative regular rings // Mem.

Amer. Math. Soc. 1967. No. 70.

220. Rema P. S. Boolean metrization and topological spaces // Math.

Japon. 1964. V. 9, No. 9. P. 19–30.

221. Repicky M. Cardinal characteristics of the real line and Boolean valued models // Comment. Math. Univ. Carolin. 1992. V. 33, No. 1. P. 184.

222. Rickart Ch. General Theory of Banach Algebras. Princeton: Van Nostrand, 1960. xi+394 pp.

223. Rosser J. B. Simplied Independence Proofs. Boolean Valued Models of Set Theory. New York and London: Academic Press, 1969. xv+217 pp.

224. Rudin W. Functional Analysis. New York: McGraw-Hill, Inc., 1991. xviii+424 pp.

372 Литература 225. Sakai S. C -algebras and W -algebras. Berlin etc.: Springer-Ver lag, 1971. 256 pp.

226. Saracino D. and Weispfenning V. On algebraic curves over com mutative regular rings // Model Theory and Algebra (a Memorial Tribute to Abraham Robinson). New York etc.: Springer-Verlag, 1969. (Lecture Notes in Math., 498.) 227. Schaefer H. H. Banach Lattices and Positive Operators. Berlin etc.: Springer-Verlag, 1974. 376 pp.

228. Schrder J. Das Iterationsverfahren bei allgemeinierem Abshtands o begri // Math. Z. 1956. Bd. 66. S. 111–116.

229. Schwarz H.-V. Banach Lattices and Operators. Leipzig: Teubner, 1984. 208 pp.

230. Sikorski M. R. Some applications of Boolean-valued models to study operators on polynormed spaces // Sov. Math. 1989.

V. 33, No. 2. P. 106–110.

231. Smith K. Commutative regular rings and Boolean-valued elds // J. Symbolic Logic. 1984. V. 49, No. 1. P. 281–297.

232. Solovay R. M. A model of set-theory in which every set of reals is Lebesgue measurable // Ann. of Math. (2). 1970. V. 92, No. 2. P. 1–56.

233. Solovay R. M. Real-valued measurable cardinals // Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. 13, Part 1, Univ. Cal ifornia, Los Angeles, Calif., 1967). Providence, RI: Amer. Math.

Soc., 1971. P. 397–428.

234. Solovay R. and Tennenbaum S. Iterated Cohen extensions and Souslin’s problem // Ann. Math. 1972. V. 94, No. 2. P. 201– 245.

235. Spivak M. D. The Joy of TEX. Providence: Amer. Math. Soc., 1990. xv+309 pp.

236. Sunder V. S. An Invitation to Von Neumann Algebras. New York etc.: Springer-Verlag, 1987. 171 pp.

237. Takesaki M. Theory of Operator Algebras. Vol. 1. New York:

Springer-Verlag, 1979. vii+415 pp.

238. Takeuti G. Two Applications of Logic to Mathematics. Tokyo, Princeton: Iwanami and Princeton Univ. Press, 1978. 137 pp.

239. Takeuti G. A transfer principle in harmonic analysis // J. Symbolic Logic. 1979. V. 44, No. 3. P. 417–440.

Литература 240. Takeuti G. Boolean valued analysis // Applications of Sheaves (Proc. Res. Sympos. Appl. Sheaf Theory to Logic, Algebra and Anal., Univ. Durham, Durham, 1977). Berlin etc.: Springer Verlag, 1979. P. 714–731. (Lecture Notes in Math., 753.) 241. Takeuti G. Quantum set theory // Current Issues in Quantum Logic (Erice, 1979). New York and London: Plenum Press, 1981.

P. 303–322.

242. Takeuti G. Boolean completion and m-convergence // Categorical Aspects of Topology and Analysis (Ottawa, Ont., 1980). Berlin etc.: Springer-Verlag, 1982. P. 333–350. (Lecture Notes in Math., 915.) 243. Takeuti G. C -algebras and Boolean valued analysis // Japan. J.

Math. (N.S.). 1983. V. 9, No. 2. P. 207–246.

244. Takeuti G. Von Neumann algebras and Boolean valued analysis // J. Math. Soc. Japan. 1983. V. 35, No. 1. P. 1–21.

245. Takeuti G. and Titani S. Heyting-valued universes of intuition istic set theory // Logic Symposia, Hakone 1979, 1980 (Hakone, 1979/1980). Berlin and New York: Springer-Verlag, 1981.

P. 189–306. (Lecture Notes in Math., 891.) 246. Takeuti G. and Titani S. Globalization of intuitionistic set theory // Ann. Pure Appl. Logic. 1987. V. 33, No. 2. P. 195–211.

247. Takeuti G. and Zaring W. M. Introduction to Axiomatic Set The ory. New York etc.: Springer-Verlag, 1971. 348 pp.

248. Takeuti G. and Zaring W. M. Axiomatic Set Theory. New York:

Springer-Verlag, 1973. 238 pp.

249. Tkadlec J. Boolean orthoposets and two-valued Jauch-Piron states // Tatra Mt. Math. Publ. 1993. No. 3. P. 155–160.

250. Topping D. M. Jordan algebras of self-adjoint operators // Mem.

Amer. Math. Soc. 1965. Vol. 53.

251. Venkataraman K. Boolean valued almost periodic functions: exis tence of the mean // J. Indian Math. Soc. (N.S.). 1979. V. 43, No. 1–4. P. 275–283.

252. Venkataraman K. Boolean valued almost periodic functions on topological groups // J. Indian Math. Soc. (N.S.). 1984. V. 48, No. 1–4. P. 153–164.

253. Vopnka P. General theory of -models // Comment. Math. Univ.

e Carolin. 1967. V. 7, No. 1. P. 147–170.

374 Литература 254. Vopnka P. The limits of sheaves over extremally disconnected e compact Hausdor spaces // Bull. Acad. Polon. Sci. Ser. Sci.

Math. Astronom. Phys. 1967. V. 15, No. 1. P. 1–4.

255. Wright J. D. M. Vector lattice measures on locally compact spaces // Math. Z. 1971. V. 120, No. 3. P. 193–203.

256. Yamaguchi J. Boolean [0, 1]-valued continuous operators // Inter nat. J. Comput. Math. 1998. V. 68, No. 1–2. P. 71–79.

257. Yood B. Banach Algebras an Introduction. Ottawa: Carleton Univ., 1988. 174 pp.

258. Zaanen A. C. Riesz Spaces. Vol. 2. Amsterdam etc.: North Holland, 1983. xi+720 pp.

259. Zaanen A. C. Introduction to Operator Theory in Riesz Spaces.

Berlin etc.: Springer-Verlag, 1997. 312 pp.

260. Zhang Jin-wen. A unied treatment of fuzzy set theory and Boole an valued set theory fuzzy set structures and normal fuzzy set structures // J. Math. Anal. Appl. 1980. V. 76, No. 1. P. 297– 301.

261. Zhang Jin-wen. Between fuzzy set theory and Boolean valued set theory // Fuzzy Information and Decision Processes. Amsterdam and New York: North-Holland, 1982. P. 143–147.

Предметный указатель AW -алгебра, 306 B-циклическая инволютивная AW -модуль, 310 банахова алгебра, B-циклическое B-вложимая алгебра, 328 нормированное B-высказывание, 55 пространство, B-гомоморфизм, 301 B-язык, B-двойственное пространство, B(C)-значное нормальное 295 состояние, B-значный предикат, C -алгебра, B-значный универсум, B-изометрия, 146 d-полное пространство, B-линейный оператор, 294 d-пополнение, B-метрика, 143, 146 d-разложимая норма, B-множество, 143 d-разложимое пространство, B-однородный гомоморфизм, E-значная норма, B-полуметрика, B-полуметрика Хаусдорфа, f -алгебра, f -кольцо, B-преддвойственное F -ограничение пространства, пространство, 295, B-размерность, F -спуск, B-сепарабельный модуль, B-сопряженное пространство, K-пространство, xi, 295 K -пространство, B-формула, B-циклическая C -алгебра, n-арный символ, n-местная операция, n-местный предикат, B-циклическая банахова алгебра, 300 n-местный символ, 376 Предметный указатель o-ограниченный линейный -полная булева алгебра, оператор, 246 -правильная подалгебра, o-полное решеточно -правильная подалгебра, нормированное порожденная пространство, 270 множеством, o-полнота, 241 -транспонирование, o-пополнение, 284 0 -формула, o-предел, 240 1 -формула, o-сумма, o-суммируемое семейство, 270 2-значный универсум, o-сходимость, 240 V(B) -класс, o-фундаментальная сеть, 270 V(B) -множество, r-полное решеточно абелев проектор, нормированное абсолют компакта, пространство, абстрактная норма оператора, r-предел, r-фундаментальная сеть, абстрактное отношение, Z-измеримая вектор-функция, аксиома, 273 аксиома бесконечности, 25, -алгебра, аксиома выбора, 27, -B-гомоморфизм, аксиома выделения, 25, -B-изоморфизм, аксиома декартова BAP-гомоморфизм, 188 произведения, BAP-группа, 187 аксиома дополнения, BAP-кольцо, 188 аксиома конструктивности, K -рефлектор, 355 аксиома неупорядоченной пары, -индукция, 45 аксиома области определения, -рекурсия, 45 аксиома объединения, 24, -однородный модуль, аксиома отношения, -стабильная булева алгебра, аксиома пары, аксиома пересечения, -стабильный компакт, аксиома подстановки, 25, -стабильный элемент, аксиома свертывания, -значное скалярное произведение, 309 аксиома степени, 25, аксиома фундирования, -компонента, 27, аксиома экстенсиональности, -алгебра, 24, -дистрибутивная булева алгебра, 21 аксиомы перестановки, Предметный указатель алгебра борелевских базисная хорновская множеств по модулю формула, тощих множеств, 10 банахова алгебра, алгебра высказываний, 12 банахова решетка, алгебра измеримых множеств безатомная булева алгебра, по модулю множеств бесконечные дистрибутивные нулевой меры, 11 законы, алгебра Линденбаума бесконечные операции, Тарского, 13 бесконечный кардинал, алгебра с инволюцией, 298 бесконечный проектор, алгебра типа I, 312 бикоммутант, 12, алгебра типа II, 312 бинарное отношение, алгебра типа III, 312 бинарное отношение, алгебра фон Неймана, 12, 328 экстенсиональное по алгебраическая система, 167 второй компоненте, алгебраическая B-система, брауэрова решетка, 167 булеан, алгебраическая B-система с булев гомоморфизм, дизъюнктностью, 181 булев метод, алгебраическое дополнение, булева алгебра, 271 булева алгебра конгруэнций, алфавит, 335 аннулятор, 224 булева алгебра счетного аннуляторный идеал, 224 типа, антиизоморфизм, 5 булева метрика, антисимметричное отношение, булева степень, 342 булево кольцо, 15, антицепь, 71 булево множество, архимедова упорядоченная булево произведение, группа, булево пространство, ассоциативность, булево расстояние между атом булевой алгебры, двумя множествами, атом меры, булевозначная модель для атомарная формула, формулы, атомная булева алгебра, булевозначная реализация, атомная формула, 294, булевозначная реализация база алгебраической системы, алгебраической системы, база векторной решетки, булевозначная реализация база группы, решеточно база решеточно нормированного нормированного пространства, пространства, базис, 314 булевозначное равенство, 378 Предметный указатель булевозначный анализ, vi, viii гделевы операции, е гейтингова алгебра, булевы операции, гильбертова размерность, бэровская -алгебра, гипотеза континуума, бэровское пространство, главная компонента, бэровское топологическое главный идеал, пространство, гомоморфизм алгебраических векторная норма, 269 B-систем, векторная решетка, 236 график, векторная решетка группа без кручения, ограниченных элементов, группа с выделенными 238 проекциями, векторный порядок, 236 группа с проекциями, вероятность, 71 группа с проекциями на компоненты, верхний o-предел, верхняя граница, двойной подъем, верхняя грань, двойной спуск, вложимая алгебра, двузначная система, вложимая AW -алгебра, двухэлементная решетка, возрастающая сеть, декартово произведение, воспроизводящий конус, 208 9, вполне дистрибутивная делитель нуля, булева алгебра, 21 дизъюнктное дополнение, вполне нерастягивающее дизъюнктное перемешивание, соответствие, 146 вполне несвязное дизъюнктное пополнение, пространство, 16 дизъюнктность, 178, вполне упорядоченное дизъюнктный элемент, 4, множество, 349 дискретная векторная вполне упорядоченный решетка, класс, 33 дискретная B-метрика, вполне фундированное дискретное B-множество, бинарное отношение, 39 дискретный элемент, вполне экстенсиональное дистрибутивная решетка, соответствие, 136 длина формулы, вспомогательные символы, дополнение элемента, 336 достоверный предикат, выбирающая функция, 348 дробь, выделенная булева алгебра, дуальная категория, 187 дуальный изоморфизм, выпуклая подгруппа, вырожденная алгебра, 4 единица решетки, высказывание, 336 единичный элемент, Предметный указатель естественная эквивалентность каноническое вложение, функторов, 354 кардинал, кардинальное число закон композиции, 352 множества, знак удовлетворения, категория внутри V(B), категория множеств, идеал, категория множеств и идеал булевой алгебры, соответствий, идемпотент, квантовая логика, идемпотентный элемент, кванторы, изоморфизм, 8, класс, 23, изоморфизм B-множеств, класс внутри V(B), изоморфизм в для класс всех множеств, алгебраических B-систем, класс генерических формул, изоморфная булева алгебра, класс морфизмов, 103, изоморфная пара, класс объектов, 103, изотонный гомоморфизм, класс строго генерических инвариантная база, формул, инвариантная компонента, класс-функция, 24, классическое кольцо частных, инволютивная алгебра, индукция по рангу, кольцевой порядок, интерпретационный класс, кольцо с проекциями, интерпретация переменной, кольцо частных, 188, интерпретирующее коммутант, 12, отображение, коммутативная группа, инфимум, коммутативное упорядоченное инфинитезимальный кольцо, анализ, v коммутативность, инъективный модуль, компактификация Стоуна истинная предикативная Чеха, формула внутри V(B), комплексификация, истинная формула, комплексная векторная истинность внутри решетка, универсума, комплексное K-пространство, каноническая проекция, 46 канонический гомоморфизм, композиция, 103, 188 композиция соответствий, канонический изоморфизм, компонента, 8, 178, 250 конгруэнтное разбиение единицы, канонический порядок, конгруэнтное семейство, канонический фактор-гомоморфизм, 46 конгруэнция, 380 Предметный указатель конечно независимое мнимая единица, множество конгруэнций, множества в общем 170 положении, 136, множество, конечный класс, множество морфизмов, конечный ординал, множество переменных, конечный проектор, множество символов, конструктивная иерархия, модифицированный подъем континуум, соответствия, косопряжение, модифицированный спуск котощее множество, соответствия, Коэн П. Дж., vi модуль, 208, 236, кумулятивная иерархия, мономорфизм, 42, монотонная полнота, латеральная точность, 174 мощность, латерально точный модуль, мультипликативное 174 подмножество, левый аннулятор, 299 мультипликативный проектор, левый сопряженный функтор, наполненная алгебраическая лемма Куратовского система, Цорна, направленная группа, линейно упорядоченная направленное множество, группа, натуральное число, линейный порядок, 33, не более чем счетное мажоранта, 274 множество, мажорируемое отображение, независимое множество 325 конгруэнций, мажорируемый линейный непрерывная векторная оператор, 274 решетка, максимальное расширение, неприводимый образ, 272 неразборчивая конгруэнция, максимальное расширение группы, 200 нерастягивающее максимальное расширение отображение, 167, K-пространства, 255 нерасширяющий линейный максимальное расширение оператор, решеточно упорядоченной нестандартный анализ, v группы, 210 неупорядоченная пара, массивный подмодуль, 231 нижний o-предел, мера, 11 нижняя граница, метод форсинга, ix нильпотентный идеал, минорантное множество, 77 норма Канторовича, минорирующее множество, 77 нормальное состояние, Предметный указатель нормированная решетка, 289 отделимый модуль, нормированное открыто-замкнутое B-пространство, 291 множество, носитель элемента, 188 отношение, нуль решетки, 3 отношение дизъюнктности, область значений, отношение порядка, область определения, 339, отношение равенства, область целостности, отображение, обобщенная гипотеза отрицательная часть, 209, континуума, оценка истинности, xi, образ множества, очистка, обратная поляра, обратное отношение, 341 перемешивание, 71, 143, обратное соответствие, 341 170, ограничение, 340 плотное множество, ограничение пространства подалгебра, относительно идеала, 272 подалгебра, порожденная ограниченная формула, 343 множеством, ограниченное по норме подкатегория, множество, подкатегория ограниченный квантор, структуризованных ограниченный оператор, множеств, ограниченный спуск, подобный класс, однозначность, подъем бинарного отношения, оператор с абстрактной нормой, подъем класса, ординал, 34, подъем множества, ординальный класс, подъем произведения, ординальный ранг множества, подъем соответствия, поле частных кольца, ортогонально полная полная булева алгебра, решеточно упорядоченная полная подкатегория группа, категории, ортогональное пополнение полная решетка, кольца, полное булево множество, ортогональный элемент, полное кольцо частных, 14, полное множество, ортомодулярная решетка, полный гомоморфизм, 8, 14, полный подкласс, ортоморфизм, положительная часть, орторешетка, 209, основное множество, отделимый булевозначный положительное целое универсум, 90 число, 382 Предметный указатель положительный конус, принцип максимальности, 208, 236 принцип максимума, 77, принцип перемешивания, положительный линейный принцип переноса, 79, оператор, 246, принцип полного положительный элемент, упорядочения, 208, принцип трансфинитной полоса, 8, индукции, полупервичное кольцо, проблема континуума, поляра, проектор, 187, поляра множества проекция, относительно произведение, соответствия, пропозициональные связки, пополнение, порядковая единица, простая дизъюнктность, порядковая сходимость, простой собственный идеал, порядково ограниченный линейный оператор, пространство Банаха порядковое пополнение, Канторовича, порядковое число, пространство Канторовича, порядковый идеал, xii, порядок, 33, пространство максимальных последующий ординал, идеалов, правило вывода, пространство с конечной правильная подалгебра, мерой, правильная подалгебра, пространство со смешанной порожденная нормой, множеством, пространство характеров, правый аннулятор, процедура очистки, правый сопряженный прямая булевозначная функтор, интерпретация, предел кумулятивной псевдобулева алгебра, иерархии, псевдодополнение, 13, предельный ординал, 36, пустое множество, предикат, пустой класс, предикативная формула, предпорядок, 342 равномощное множество, преобразование Стоуна, 19 разбиение единицы, принадлежность, 337 разбиение элемента, принцип измерения разделяющее множество, мощностей, 39 разложение единицы, принцип индукции, 52 разложимая алгебраическая принцип индукции по система, 168, рангу, 351 разложимая норма, принцип исчерпывания, 77 разложимое множество, Предметный указатель разложимое решеточно самоинъективное кольцо, нормированное свойство, пространство, 269 свойство Бэра, связное пространство, растяжение вектора, сеть, расширение K-пространства, сигнатура, 166, сильная единица, расширенная алгебраическая сильный гомоморфизм, система, 168, символ присваивания, расширенная векторная символ равенства, решетка, симметрическая разность, расширенная группа, 6, расширенная решеточно симметричное отношение, упорядоченная группа, система аксиом Пеано, след, расширенное булево смещение кардинальных множество, чисел, расширенное пространство собственный идеал, Банаха Канторовича, собственный класс, собственный фильтр, рационально полное кольцо, согласованная дизъюнктность, реализационный метод, согласованная метрика, регулярное кольцо, соответствие, регулярное открытое сопряжение, множество, сопряженная пара, регулярное топологическое состояние, пространство, спектральная мера, регулярный положительный спектральная функция, оператор, спуск алгебраической регулярный элемент, 188 системы, регулятор сходимости, 240 спуск банахова пространства, рефлексивное отношение, 342 рефлективная подкатегория, спуск бинарного отношения, 355 решетка, 2 спуск категории, решетка с дополнениями, 4 спуск класса, решеточно нормированное спуск относительно пространство, 269 фундамента, решеточно упорядоченная спуск отображения, алгебра, 239 стабилизатор, решеточно упорядоченная стандартное имя множества, группа, 208 Робинсон A., v стандартный элемент, 384 Предметный указатель стоунова алгебра, 301, 307 терм, стоуновское пространство тождественная конгруэнция, булевой алгебры, 17 строгая кратность, 323 тождественно истинная строгий декомпозиционный формула, ряд, 323 тождественное отношение, строго -однородный модуль, тождественный морфизм 315 объекта, 103, строго -однородная алгебра, точная f -алгебра, 323 точная верхняя граница, субмультипликативная точная нижняя граница, норма, 300 точное f -кольцо, суперпозиция, 341 тощее множество, супремум, 2 транзитивная модель, существенный подмодуль, 231 транзитивное множество, схема Чрча, е транзитивное отношение, счетная аддитивность, 11 транзитивный класс, счетно-дистрибутивная булева трансфинитное число, алгебра, 21 тривиальная конгруэнция, счетное множество, убывающая сеть, сын, ультрастепень, тензорное произведение, 9 ультрафильтр, теорема, 335 универсальное замыкание, теорема Гльдера, е универсальный класс, теорема Гордона, 250 универсум, теорема Йеха, 203 универсум нечетких теорема Крулля, 18 множеств, теорема Лося, 70 универсум фон Неймана, теорема Люмиса 43, Сикорского, 268 упорядоченная алгебра, теорема Огасавары, 19 упорядоченная F-алгебра, теорема Сакаи, 328 упорядоченная группа, теорема Стоуна, 18 упорядоченная n-ка, теорема Фреге Рассела упорядоченная пара, Скотта, 46 упорядоченное векторное теорема Фрейденталя, 267 пространство, теорема Цермело, 348 упорядоченное кольцо, теорема о бикоммутанте, 328 упорядоченное множество, теория Бернайса Морса, 32 уровень, теория первого порядка, 337 устойчивое множество, теория фон Неймана фактор, 309, Гделя Бернайса, е фактор-алгебра, теория Цермело Френкеля, 345 фактор-класс, Предметный указатель фильтр, 17 циклическое расширение, формальная система, частичная изометрия, формула де Моргана, чисто атомическая мера, формула сигнатуры, чисто бесконечный проектор, функтор канонического вложения, член множества, функтор ограниченного членство, спуска, функтор стандартного эвристический принцип имени, 109 переноса, xii, функторный изоморфизм, 354 эквивалентная функторный морфизм, 354 вектор-функция, функция, 340 эквивалентная измеримая функция в модели V(B), 115 функция, функция внутри V(B), 115 эквивалентность, функция кратности, 315, 323 эквивалентные категории, эквивалентный проектор, характер алгебры, экстенсиональная функция, характеристика элемента, хорновская формула, экстенсиональное целозамкнутая упорядоченная отображение, группа, 208 экстенсиональное целостное кольцо, 223 соответствие, центр, 308 экстремально несвязное центр алгебры фон Неймана, топологическое 328 пространство, центр векторной решетки, 247 экстремальное топологическое центрально вложимая пространство, алгебра, 328 экстремальный компакт, центральный проектор, 299 элемент множества, цепь, 343 эрмитов элемент, циклическая оболочка, язык, циклический подкласс, язык первого порядка, циклическое подмножество, 143 язык теории множеств, Кусраев Анатолий Георгиевич Кутателадзе Семн Самсонович е Булевозначный анализ Серия Нестандартные методы анализа Ответственный редактор академик Ю. Г. Решетняк Редактор серии С. С. Кутателадзе Редактор издательства И. И. Кожанова Издание подготовлено с использованием макро-пакета AMS-TEX, разработанного Американским математическим обществом.

This publication was typeset using AMS-TEX, the American Mathematical Society’sTEX macro system.

Подписано в печать 15.12.03. Формат 60 84 1/16. Печать офсетная.

Усл. печ. л. 23,2. Уч.-изд. л. 23,3. Тираж 100 экз. Заказ № 77.

Издательство Института математики, пр. Академика Коптюга, 4, 630090 Новосибирск.

Отпечатано на полиграфическом участке ИМ СО РАН, пр. Академика Коптюга, 4, 630090 Новосибирск.



Pages:     | 1 |   ...   | 7 | 8 ||
 





 
© 2013 www.libed.ru - «Бесплатная библиотека научно-практических конференций»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.