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

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

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


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

«HECTAHOAPTHbIE METONbI AHAfl IA3A A.f. KYCPAEB C.C. KYTAT EJIAA3 E 6YJI EBO3 HATI H bI 14 AHAJI 143 РОССИЙСКАЯ АКАДЕМИЯ НАУК ...»

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

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.

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.

372 Литература 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.

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.

374 Литература 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.

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.

376 Предметный указатель AW -алгебра, 306 d-разложимое пространство, AW -модуль, E-значная норма, B-вложимая алгебра, B-высказывание, 55 f -алгебра, B-гомоморфизм, 301 f -кольцо, B-двойственное пространство, F -ограничение пространства, 295 B-значный предикат, 167 F -спуск, B-значный универсум, 47 K-пространство, ix, B-изометрия, 146 K -пространство, B-линейный оператор, 295 K-рефлектор, B-метрика, 143, n-арный символ, B-множество, n-местная операция, B-однородный гомоморфизм, n-местный предикат, n-местный символ, B-полуметрика, B-полуметрика Хаусдорфа, o-ограниченный линейный 145 оператор, o-полное решеточно B-преддвойственное пространство, 295, 329 нормированное B-размерность, 316 пространство, B-сепарабельный модуль, 321 o-полнота, B-сопряженное пространство, o-пополнение, 295 o-предел, B-формула, 55 o-сумма, B-циклическая C -алгебра, o-суммируемое семейство, 301 o-сходимость, o-фундаментальная сеть, B-циклическая банахова алгебра, 300 r-полное решеточно B-циклическая инволютивная нормированное банахова алгебра, 300 пространство, B-циклическое r-предел, нормированное r-фундаментальная сеть, пространство, Z-измеримая вектор-функция, B-язык, BAP-гомоморфизм, BAP-группа, 187 -алгебра, BAP-кольцо, 187 -B-гомоморфизм, B(C)-значное нормальное -B-изоморфизм, состояние, 331 2-значный универсум, C -алгебра, 300 V(B) -класс, V(B) -множество, d-полное пространство, d-пополнение, 284 -индукция, d-разложимая норма, 271 -рекурсия, Предметный указатель аксиома фундирования, -однородный модуль, 27, -стабильная булева алгебра, 317 аксиома экстенсиональности, 25, -стабильный компакт, аксиомы перестановки, -стабильный элемент, -значное скалярное алгебра борелевских произведение, 309 множеств по модулю тощих множеств, -компонента, 178 алгебра высказываний, алгебра измеримых множеств -алгебра, по модулю множеств -дистрибутивная булева нулевой меры, алгебра, алгебра Линденбаума -полная булева алгебра, Тарского, -правильная подалгебра, алгебра с инволюцией, -правильная подалгебра, алгебра типа I, порожденная алгебра типа II, множеством, алгебра типа III, -транспонирование, алгебра фон Неймана, 12, 0 -формула, алгебраическая B-система, 1 -формула, абелев проектор, 312 алгебраическая B-система с абсолют компакта, 21 дизъюнктностью, абстрактная норма оператора, алгебраическая система, 275 алгебраическое дополнение, абстрактное отношение, 339 аксиома, 335 алфавит, аксиома бесконечности, аннулятор, 25, 347 аннуляторный идеал, аксиома выбора, 27, 348 антиизоморфизм, аксиома выделения, 26, 347 антисимметричное отношение, аксиома декартова произведения, 27 антицепь, аксиома дополнения, 26 архимедова упорядоченная аксиома конструктивности, 48 группа, аксиома неупорядоченной ассоциативность, пары, 347 атом булевой алгебры, аксиома области определения, атом меры, 27 атомарная формула, аксиома объединения, 25, 346 атомная булева алгебра, аксиома отношения, 26 атомная формула, аксиома пары, база алгебраической системы, аксиома пересечения, аксиома подстановки, 26, база векторной решетки, аксиома свертывания, база группы, аксиома степени, 25, 378 Предметный указатель база решеточно нормированного нормированного пространства, пространства, 270 булевозначное равенство, базис, 314 булевозначный анализ, v, vi базисная хорновская булевы операции, формула, 202 бэровская -алгебра, банахова алгебра, 300 бэровское пространство, банахова решетка, 289 11, безатомная булева алгебра, векторная норма, бесконечные дистрибутивные векторная решетка, законы, векторная решетка бесконечные операции, ограниченных элементов, бесконечный кардинал, бесконечный проектор, векторный порядок, бикоммутант, 12, вероятность, бинарное отношение, верхний o-предел, бинарное отношение, верхняя граница, экстенсиональное по верхняя грань, второй компоненте, вложимая AW -алгебра, брауэрова решетка, вложимая алгебра, булеан, возрастающая сеть, булев гомоморфизм, воспроизводящий конус, булев метод, вполне дистрибутивная булева алгебра, булева алгебра, булева алгебра конгруэнций, вполне нерастягивающее соответствие, булева алгебра счетного вполне несвязное типа, пространство, булева метрика, вполне упорядоченное булева степень, множество, булево кольцо, 15, вполне упорядоченный булево множество, класс, булево произведение, вполне фундированное булево пространство, бинарное отношение, булево расстояние между вполне экстенсиональное двумя множествами, соответствие, булевозначная модель для вспомогательные символы, формулы, булевозначная реализация, выбирающая функция, 295, выделенная булева алгебра, булевозначная реализация алгебраической системы, выпуклая подгруппа, вырожденная алгебра, булевозначная реализация высказывание, решеточно Предметный указатель гделевы операции, е закон композиции, знак удовлетворения, гейтингова алгебра, гильбертова размерность, идеал, гипотеза континуума, идеал булевой алгебры, главная компонента, 237 идемпотент, главный идеал, 7 идемпотентный элемент, гомоморфизм алгебраических изоморфизм, 8, B-систем, 176 изоморфизм B-множеств, график, 340 изоморфизм в для группа без кручения, 188 алгебраических B-систем, группа с выделенными проекциями, 187 изоморфная булева алгебра, группа с проекциями, 187 изоморфная пара, группа с проекциями на изотонный гомоморфизм, компоненты, 209 инвариантная база, инвариантная компонента, двойной подъем, двойной спуск, 123 инволютивная алгебра, двузначная система, 167 индукция по рангу, двухэлементная решетка, 4 интерпретационный класс, декартово произведение, интерпретация переменной, 9, 339 интерпретирующее делитель нуля, 188 отображение, дизъюнктное дополнение, 178 инфимум, дизъюнктное перемешивание, инфинитезимальный 71 анализ, v дизъюнктное пополнение, 284 инъективный модуль, дизъюнктность, 178, 236 истинная предикативная дизъюнктный элемент, 3, 270 формула внутри V(B), дискретная B-метрика, 147 истинная формула, дискретная векторная истинность внутри решетка, 238 универсума, дискретное B-множество, каноническая проекция, дискретный элемент, канонический гомоморфизм, дистрибутивная решетка, длина формулы, канонический изоморфизм, дополнение элемента, достоверный предикат, канонический порядок, дробь, канонический дуальная категория, фактор-гомоморфизм, дуальный изоморфизм, каноническое вложение, кардинал, единица решетки, кардинальное число единичный элемент, множества, естественная эквивалентность категория внутри V(B), функторов, 380 Предметный указатель континуум, категория множеств, категория множеств и косопряжение, соответствий, 356 котощее множество, квантовая логика, 15 кумулятивная иерархия, кванторы, 336 42, класс, 23, латеральная точность, класс внутри V(B), латерально точный модуль, класс всех множеств, класс генерических формул, левый аннулятор, левый сопряженный функтор, класс морфизмов, 103, класс объектов, 103, лемма Куратовского класс строго генерических Цорна, формул, линейно упорядоченная класс-функция, 24, группа, классическое кольцо частных, линейный порядок, 33, кольцевой порядок, мажоранта, кольцо с проекциями, мажорируемое отображение, кольцо частных, 188, коммутант, 12, мажорируемый линейный коммутативная группа, оператор, коммутативное упорядоченное максимальное расширение, кольцо, коммутативность, максимальное расширение компактификация Стоуна группы, Чеха, максимальное расширение комплексификация, K-пространства, комплексная векторная максимальное расширение решетка, решеточно упорядоченной комплексное K-пространство, группы, массивный подмодуль, композиция, 103, мера, композиция соответствий, метод форсинга, vii компонента, 8, 178, минорантное множество, конгруэнтное разбиение минорирующее множество, единицы, мнимая единица, конгруэнтное семейство, множества в общем конгруэнция, положении, 136, конечно независимое множество, множество конгруэнций, множество морфизмов, множество переменных, конечный класс, множество символов, конечный ординал, конечный проектор, 312 модифицированный подъем соответствия, конструктивная иерархия, Предметный указатель область целостности, модифицированный спуск соответствия, 159 обобщенная гипотеза континуума, модуль, 208, модуль элемента, 236 обобщенная проблема континуума, мономорфизм, монотонная полнота, 331 образ множества, мощность, 40 обратная поляра, мультипликативное обратное отношение, подмножество, 188 обратное соответствие, мультипликативный проектор, ограничение, 300 ограничение пространства относительно идеала, наполненная алгебраическая ограниченная формула, система, 171 ограниченное по норме направленная группа, 208 множество, направленное множество, 240 ограниченный квантор, натуральное число, 37 ограниченный оператор, не более чем счетное ограниченный спуск, множество, однозначность, независимое множество оператор с абстрактной конгруэнций, нормой, непрерывная векторная ординал, 34, решетка, ординальный класс, неприводимый образ, ординальный ранг множества, неразборчивая конгруэнция, ортогонально полная нерастягивающее решеточно упорядоченная отображение, группа, нерастягивающее ортогональное пополнение соответствие, кольца, нерасширяющий линейный ортогональный элемент, оператор, 15, нестандартный анализ, v ортомодулярная решетка, неупорядоченная пара, 15, нижний o-предел, ортоморфизм, нижняя граница, орторешетка, нильпотентный идеал, основное множество, норма Канторовича, отделимый булевозначный нормальное состояние, универсум, нормированная решетка, отделимый модуль, нормированное открыто-замкнутое B-пространство, множество, носитель элемента, отношение, нуль решетки, отношение дизъюнктности, область значений, отношение порядка, область определения, 339, 382 Предметный указатель порядковая единица, отношение равенства, отображение, 340 порядковая сходимость, отрицательная часть, 208, 236 порядково ограниченный оценка истинности, ix, 55 линейный оператор, очистка, 169 порядковое пополнение, порядковое число, перемешивание, 72, 143, порядковый идеал, 170, 292 порядок, 33, плотное множество, 226 последующий ординал, подалгебра, 7 правило вывода, подалгебра, порожденная правильная подалгебра, множеством, правильная подалгебра, подкатегория, порожденная подкатегория множеством, структуризованных правый аннулятор, множеств, правый сопряженный подобный класс, функтор, подъем бинарного отношения, предел кумулятивной иерархии, подъем класса, предельный ординал, 37, подъем множества, предикат, подъем произведения, предикативная формула, подъем соответствия, предпорядок, поле частных кольца, преобразование Стоуна, полная булева алгебра, принадлежность, полная подкатегория принцип измерения категории, мощностей, полная решетка, принцип индукции, полное булево множество, принцип индукции по полное кольцо частных, рангу, полное множество, принцип исчерпывания, полный гомоморфизм, 8, принцип максимальности, полный подкласс, принцип максимума, 77, положительная часть, принцип перемешивания, 208, принцип переноса, 79, положительное целое принцип полного число, упорядочения, положительный конус, принцип трансфинитной 208, индукции, положительный линейный проблема континуума, оператор, 246, проектор, 187, положительный элемент, проекция, 207, произведение, полоса, 8, пропозициональные связки, полупервичное кольцо, поляра, 177, пополнение, 9 простая дизъюнктность, Предметный указатель простой собственный идеал, расширенное пространство 23 Банаха Канторовича, пространство Банаха рационально полное кольцо, Канторовича, пространство Канторовича, реализационный метод, x, регулярное кольцо, пространство максимальных регулярное открытое идеалов, множество, пространство с конечной регулярное топологическое мерой, пространство, пространство со смешанной регулярный положительный нормой, оператор, пространство характеров, регулярный элемент, процедура очистки, регулятор сходимости, прямая булевозначная рефлексивное отношение, интерпретация, рефлективная подкатегория, псевдобулева алгебра, псевдодополнение, 13, решетка, пустое множество, решетка с дополнениями, пустой класс, решеточно нормированное пространство, равномощное множество, решеточно упорядоченная разбиение единицы, алгебра, разбиение элемента, решеточно упорядоченная разделяющее множество, группа, разложение единицы, разложимая алгебраическая самоинъективное кольцо, система, 168, 171 свойство, разложимая норма, 270 свойство Бэра, разложимое множество, 144 связное пространство, разложимое решеточно сеть, нормированное сигнатура, 166, пространство, 270 сильная единица, растяжение вектора, 235 сильный гомоморфизм, расширение K-пространства, символ присваивания, 255 символ равенства, расширенная алгебраическая симметрическая разность, система, 168, 171 6, расширенная векторная симметричное отношение, решетка, 237 система аксиом Пеано, расширенная группа, 187 след, расширенная решеточно смещение кардинальных упорядоченная группа, чисел, 209 собственный идеал, собственный класс, расширенное булево собственный фильтр, множество, 384 Предметный указатель тензорное произведение, согласованная дизъюнктность, 179 теорема, теорема Гльдера, е согласованная метрика, теорема Гордона, соответствие, сопряжение, 355 теорема Йеха, теорема Крулля, сопряженная пара, теорема Лося, состояние, теорема Люмиса спектральная мера, Сикорского, спектральная функция, теорема Огасавары, спуск алгебраической теорема Сакаи, системы, теорема Стоуна, спуск банахова пространства, теорема Фреге Рассела Скотта, спуск бинарного отношения, теорема Фрейденталя, теорема Цермело, спуск категории, теорема о бикоммутанте, спуск класса, теория Бернайса Морса, спуск относительно теория первого порядка, фундамента, 291 теория Цермело Френкеля, спуск отображения, 124 стабилизатор, 247 теория фон Неймана стандартное имя множества, Гделя Бернайса, е 66 терм, стандартный элемент, 66 тождественная конгруэнция, стоунова алгебра, 301, 307 стоуновское пространство тождественно истинная булевой алгебры, 17 формула, строгая кратность, 323 тождественное отношение, строгий декомпозиционный тождественный морфизм ряд, 323 объекта, 103, точная f -алгебра, строго -однородный модуль, точная верхняя граница, точная нижняя граница, строго -однородная алгебра, точное f -кольцо, тощее множество, субмультипликативная транзитивная модель, норма, транзитивное множество, суперпозиция, транзитивное отношение, супремум, транзитивный класс, существенный подмодуль, трансфинитное число, схема Чрча, е тривиальная конгруэнция, счетная аддитивность, счетно-дистрибутивная булева убывающая сеть, алгебра, 22 ультрастепень, счетное множество, 40 ультрафильтр, универсальное замыкание, сын, Предметный указатель универсальный класс, 26 центр, универсум, 346 центр алгебры фон Неймана, универсум нечетких множеств, 48 центр векторной решетки, универсум фон Неймана, центрально вложимая 43, 348 алгебра, упорядоченная алгебра, 239 центральный проектор, упорядоченная группа, 207 цепь, упорядоченная пара, 339 циклическая оболочка, упорядоченная F-алгебра, 239 циклический подкласс, упорядоченная n-ка, 339 циклическое подмножество, упорядоченное векторное пространство, 236 циклическое расширение, упорядоченное кольцо, частичная изометрия, упорядоченное множество, чисто атомическая мера, уровень, чисто бесконечный проектор, устойчивое множество, фактор, 309, 328 член множества, фактор-алгебра, 8 членство, фактор-класс, эвристический принцип фильтр, переноса, x, формальная система, эквивалентная формула де Моргана, вектор-функция, формула сигнатуры, эквивалентная измеримая функтор канонического функция, вложения, эквивалентность, функтор ограниченного эквивалентные категории, спуска, эквивалентный проектор, функтор стандартного экстенсиональная функция, имени, функторный изоморфизм, экстенсиональное функторный морфизм, отображение, функция, экстенсиональное функция внутри V(B), соответствие, функция в модели V(B), 115 экстремально несвязное функция кратности, 315, 323 топологическое пространство, характер алгебры, экстремальный компакт, характеристика элемента, элемент множества, хорновская формула, эрмитов элемент, целозамкнутая упорядоченная язык первого порядка, группа, язык теории множеств, целостное кольцо, Кусраев Анатолий Георгиевич Кутателадзе Семн Самсонович е Булевозначный анализ Серия Нестандартные методы анализа Ответственный редактор академик Ю. Г. Решетняк Редактор серии С. С. Кутателадзе Редактор издательства И. И. Кожанова Издание подготовлено с использованием макро-пакета AMS-TEX, разработанного Американским математическим обществом.

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

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

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

Лицензия ЛР № 065614 от 8 января 1998 г.

Издательство Института математики.

630090 Новосибирск, пр. Академика Коптюга, 4.

Лицензия ПЛД № 57–43 от 22 апреля 1998 г.

Отпечатано на полиграфическом участке ИМ СО РАН.

630090 Новосибирск, пр. Академика Коптюга, 4.



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





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

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