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

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

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


Pages:     | 1 |   ...   | 13 | 14 ||

«РОССИЙСКАЯ АКАДЕМИЯ НАУК СИБИРСКОЕ ОТДЕЛЕНИЕ ВЛАДИКАВКАЗСКИЙ НАУЧНЫЙ ЦЕНТР ИНСТИТУТ МАТЕМАТИКИ ИНСТИТУТ ПРИКЛАДНОЙ ИМ. С. Л. СОБОЛЕВА МАТЕМАТИКИ И ...»

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

293. Locher J. L. (ed.) The World of M. C. Escher.—New York: Abradale Press, 1988.

294. 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.

295. Luxemburg W. A. J., de Pagter B. Maharam extension of positive operators and f -algebras // Positivity.—2002.—V. 6, № 2.—P. 147–190.

296. Luxemburg W. A. J., Schep A. A Radon–Nikodm type theorem for positive y operators and a dual // Nederl. Akad. Wet., Proc. Ser. A.—1978.—V. 40.— P. 357–375.

297. Luxemburg W. A. J., Zaanen A. C. Riesz Spaces. Vol. 1.—Amsterdam;

London:

North-Holland, 1971.—514 p.

298. Luxemburg W. A. J., Zaanen A. C. The linear modulus of an order bounded linear transformation // Proc. Konink. Nederl. Akad. Wetensch.—1971.—V. A74, No. 5.—P. 422–447.

299. McPolin P. T. N., Wickstead A. W. The order boundedness of band preserv ing operators on uniformly complete vector lattices // Math. Proc. Cambridge Philos. Soc.—1985.—V. 97, № 3.—P. 481–487.

300. Maharam D. The representation of abstract measure functions // Trans. Amer.

Math. Soc.—1949.—V. 65, No. 2.—P. 279–330.

301. Maharam D. Decompositions of measure algebras and spaces // Trans. Amer.

Math. Soc.—1950.—V. 69, No. 1.—P. 142–160.

302. Maharam D. The representation of abstract integrals // Trans. Amer. Math.

Soc.—1953.—V. 75, No. 1.—P. 154–184.

303. Maharam D. On kernel representation of linear operators // Trans. Amer. Math.

Soc.—1955.—V. 79, No. 1.—P. 229–255.

304. Maharam D. On a theorem of von Neumann // Proc. Amer. Math. Soc.—1958.— V. 9.—P. 987–994.

305. Maharam D. On positive operators // Contemp. Math.—1984.—V. 26.—P. 263– 277.

306. Matthes K. Uber die Ausdehnung -Homomorphismen Boolescher Algebren // Z. Math. Logik. Grundlag. Math.—1960.—V. 6.—P. 97–105.

307. Matthes K. Uber die Ausdehnung -Homomorphismen Boolescher Alge bren. II // Z. Math. Logik. Grundlag. Math.—1961.—V. 7.—P. 16–19.

308. MacLarty C. Uses and abuses of the history of topos theory// Brit. J. Phil.

Sci.—1990.—V. 41.—P. 351–375.

309. Melter R. Boolean valued rings and Boolean metric spaces // Arch. Math.— 1964.—No. 15.—P. 354–363.

310. Meyer M. Le stabilisateur d’un espace vectoriel rticul // C. R. Acad. Sci.

e e Ser. A.—1976.—V. 283.—P. 249–250.

311. Meyer-Nieberg P. Banach Lattices.—Berlin etc.: Springer-Verlag, 1991.— xv+395 p.

458 Литература 312. Mikkelsen C. J. Lattice Theoretic and Logical Aspects of Elementary Topoi.— Aarhus: Aarhus Universitet, 1976.—iv+122 p.—(Various Publ. Ser.;

25.) 313. Milvay C. J. Banach sheaves // J. Pure Appl. Algebra.—1980.—V. 17, No. 1.— P. 69–84.

314. Mitchell W. Boolean topoi and the theory of sets // J. Pure Appl. Algebra.— 1972.—V. 2.—P. 261–274.

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

316. Monk J. D., Bonnet R. (eds.) Handbook of Boolean Algebras. Vol. 1–3.— Amsterdam etc.: North-Holland, 1989.— xix+1367 p.

317. Monteiro A. Gnralization d’un thor`me de R. Sikorski sur les alg`bres ee ee e Bool // Bull. Sci. Math.—1965.—V. 89, No. 2.—P. 65–74.

318. Murray F. J., von Neumann J. On rings of operators. I // Ann. Math.—1936.— V. 37.—P. 116–229.

319. Murray F. J., von Neumann J. On rings of operators. II // Trans. Amer. Math.

Soc.—1937.—V. 41.—P. 208–248.

320. Murray F. J., von Neumann J. On rings of operators. IV // Ann. Math.—1943.— V. 44.—P. 716–808.

321. Nakano H. Teilweise geordnete algebra // Japan J. Math. — 1950.— V. 17. — P. 425–511.

322. Namba K. Formal systems and Boolean valued combinatorics // Southeast Asian Conference on Logic (Singapore, 1981). Stud. Logic Found. Math., 111, Ams terdam;

New York: North-Holland, 1983.—P. 115–132.

323. Nelson E. Notes on non-commutative integration // J. Funct.—1974.—No. 15.— P. 103–116.

324. von Neumann J. On rings of operators. III // Ann. Math. — 1940. — V. 41. — P. 94–161.

325. von Neumann J. Collected Works. Vol. 3: Rings of Operators.—New York, Ox ford, London, and Paris: Pergamon Press, 1961.—ix+574 p.

326. von Neumann J. Collected Works. Vol. 4: Continuous Geometry and Other Topics.—Oxford;

London;

New York;

Paris: Pergamon Press, 1962.—x+516 p.

327. 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.

328. Nishimura H. Boolean valued decomposition theory of states // Publ. Res. Inst.

Math. Sci.—1985.—V. 21, No. 5.—P. 1051–1058.

329. Nishimura H. Some applications of Boolean-valued set theory to abstract har monic analysis on locally compact groups // Publ. Res. Inst. Math. Sci.—1985.— V. 21, No. 1.—P. 181–190.

330. Nishimura H. Heyting valued set theory and bre bundles // Publ. Res. Inst.

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

331. Nishimura H. On the absoluteness of types in Boolean valued lattices // Z. Math.

Logik Grundlag. Math.—1990.—V. 36, No. 3.—P. 241–246.

Литература 332. Nishimura H. Some connections between Boolean valued analysis and topo logical reduction theory for C -algebras // Z. Math. Logik Grundlag. Math.— 1990.—V. 36, No. 5.—P. 471–479.

333. Nishimura H. Boolean valued Dedekind domains // Z. Math. Logik Grundlag.

Math.—1991.—V. 37, No. 1.—P. 65–76.

334. Nishimura H. Boolean valued Lie algebras // J. Symbolic Logic.—1991.—V. 56, No. 2.—P. 731–741.

335. Nishimura H. Foundations of Boolean-valued algebraic geometry // Z. Math.

Logik Grundlag. Math.—1991.—V. 37, No. 5.—P. 421–438.

336. Nishimura H. Some Boolean valued commutative algebra // Z. Math. Logik Grundlag. Math.—1991.—V. 37, No. 4.—P. 367–384.

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

338. 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.

339. Nishimura H. A Boolean-valued approach to Gleason’s theorem // Rep. Math.

Phys.—1994.—V. 34, No. 2.—P. 125–132.

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

341. Nbeling G. Grundlangen Der Analytischen Topologie.—Berlin: Springer o Verlag, 1954.—221 p.

342. 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.

343. Ozawa M. Boolean valued interpretation of Hilbert space theory // J. Math.

Soc. Japan.—1983.—V. 35, No. 4.—P. 609–627.

344. 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.

345. Ozawa M. A transfer principle from von Neumann algebras to AW -algebras // J. London Math. Soc.—1985.—V. 32, No. 1. —P. 141–148.

346. Ozawa M. Nonuniqueness of the cardinality attached to homogeneous AW algebras // Proc. Amer. Math. Soc.—1985.—V. 93.—P. 681–684.

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

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

349. 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.

350. Paschke W. L. Inner product spaces over B -algebras // Trans. Amer. Math.

Soc.—1973.—V. 182.—P. 443–468.

351. Pedersen G. K. Analysis Now.—Berlin etc.: Springer-Verlag, 1995.—277 p.

352. Phuong-Cc N. Generalized Kthe function spaces. I // Math. Proc. Cambridge a o Philos. Soc.—1969.—V. 65, No. 3.—P. 601–611.

353. Pierce R. S. Modules over commutative regular rings // Mem. Amer. Math.

Soc.—1967.—No. 70.—112 p.

460 Литература 354. Pinus A. G. Boolean Constructions in Universal Algebras.—Dordrecht etc.:

Kluwer Academic Publishers, 1993.—vii+350 p.

355. Piser G., Xu Q. Non-Commutative Lp -Spaces.—Paris, 2002.—57 p.

356. Rema P. S. Boolean metrization and topological spaces // Math. Japon.—1964.— V. 9, No. 9.—P. 19–30.

357. Repicky M. Cardinal characteristics of the real line and Boolean-valued mod els // Comment. Math. Univ. Carolin.—1992.—V. 33, No. 1.—P. 184.

358. Rickart Ch. General Theory of Banach Algebras.—Princeton: Van Nostrand, 1960.—xi+394 p.

359. Riean B. An extension of the Daniel integration scheme // Mat. Cas.—1975.— c V. 25, No. 3.—P. 211–219.

360. Riesz F. Sur la dcomposition des oprations fonctionnelles // Atti Congresso e e Intern. Bologna, 1928.—1930.—V. 3.—P. 143–148.

361. Rosser J. B. Simplied Independence Proofs. Boolean Valued Models of Set Theory.—New York;

London: Academic Press, 1969.—xv+217 p.

362. Rudin W. Functional Analysis.—New York: McGraw-Hill, Inc., 1991.— xviii+424 p.

363. Russel B., Whitehead A. N. Principa Mathematica. I–III.—Cambridge: Cam bridge University Press, 1910–1913.

364. Sakai S. C -Algebras and W -Algebras.—Berlin etc.: Springer-Verlag, 1971.— 256 p.

365. Samuel P. On universal mappings and free topological groups // Bull. Amer.

Math. Soc.—1948.—V. 54.—P. 591.—598.

366. Saracino D., Weispfenning V. On algebraic curves over commutative regu lar rings // Model Theory and Algebra (a Memorial Tribute to Abraham Robinson).—New York etc.: Springer-Verlag, 1969.—P. 306–383.—(Lecture Notes in Math.;

498.) 367. Schaefer H. H. Banach Lattices and Positive Operators.—Berlin etc.: Springer Verlag, 1974.—376 p.

368. Schochetman I. E. Kernels and integral operators for continuous sums of Banach spaces // Mem. Amer. Math. Soc.—1978.—V. 14, No. 202.—P. 1–120.

369. Schrder J. Das Iterationsverfahren bei allgemeinierem Abshtandsbegri // o Math. Z.—1956.—Bd. 66.—S. 111–116.

370. Schwarz H.-V. Banach Lattices and Operators.—Leipzig: Teubner, 1984.—208 p.

371. Segal I. A non-commutative extension of abstract integrat // Ann. Math.— 1953.—V. 57.—P. 401–457.

372. Semadeni Zb. Banach Spaces of Continuous Functions.—Warszawa: Polish Sci entic Publishers, 1971.—584 p.

373. Shultz F. W. On normed Jordan algebras which are Banach dual spaces // J.

Funct. Anal.—1979.—V. 31.—P. 360–376.

374. 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.

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

376. Solovay R. M. New proof of a theorem of Gaifman and Hales // Bull. Amer.

Math. Soc.—1966.—V. 72.—P. 282–284.

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

378. Solovay R. M. Real-valued measurable cardinals // Axiomatic Set Theory (Proc.

Sympos. Pure Math., Vol. 13, Part 1, Univ. California, Los Angeles, Calif., 1967).—Providence, RI: Amer. Math. Soc., 1971.—P. 397–428.

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

380. Spivak M. D. The Joy of TEX.— Providence: Amer. Math. Soc., 1990.— xv+309 p.

381. Strmer E. Jordan algebras of type I // Acta Math.—1966.—V. 115, No. 3–4.— P. 165–184.

382. Sunder V. S. An Invitation to Von Neumann Algebras.—New York etc.:

Springer-Verlag, 1987.—171 p.

383. Takesaki M. Theory of Operator Algebras. Vol. 1.—New York: Springer-Verlag, 1979.—vii+415 p.

384. Takeuti G. Two Applications of Logic to Mathematics.—Tokyo;

Princeton:

Iwanami;

Princeton Univ. Press, 1978.—137 p.

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

386. Takeuti G. Boolean valued analysis // Applications of Sheaves (Proc. Res. Sym pos. 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.) 387. Takeuti G. Quantum set theory // Current Issues in Quantum Logic (Erice, 1979).—New York;

London: Plenum Press, 1981.—P. 303–322.

388. 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.) 389. Takeuti G. C -algebras and Boolean valued analysis // Japan. J. Math. (N.S.).— 1983.—V. 9, No. 2.—P. 207–246.

390. Takeuti G. Von Neumann algebras and Boolean valued analysis // J. Math. Soc.

Japan.—1983.—V. 35, No. 1.—P. 1–21.

391. Takeuti G., Titani S. Heyting-valued universes of intuitionistic set theory // Logic Symposia, Hakone 1979, 1980 (Hakone, 1979/1980).—Berlin;

New York:

Springer-Verlag, 1981.—P. 189–306.—(Lecture Notes in Math.;

891.) 392. Takeuti G., Titani S. Globalization of intuitionistic set theory // Ann. Pure Appl. Logic.—1987.—V. 33, No. 2.—P. 195–211.

393. Takeuti G., Zaring W. M. Introduction to Axiomatic Set Theory.—New York etc.: Springer-Verlag, 1971.—348 p.

394. Takeuti G., Zaring W. M. Axiomatic Set Theory.—New York: Springer-Verlag, 1973.—238 p.

395. Tkadlec J. Boolean orthoposets and two-valued Jauch–Piron states // Tatra Mt.

Math. Publ.—1993.—No. 3.—P. 155–160.

396. Topping D. M. Jordan algebras of self-adjoint operators // Mem. Amer. Math.

Soc.—1965.—Vol. 53.

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

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

399. Vopnka P. General theory of -models // Comment. Math. Univ. Carolin.— e 1967.—V. 7, No. 1.—P. 147–170.

400. Vopnka P. The limits of sheaves over extremally disconnected compact Haus e dor spaces // Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys.—1967.— V. 15, No. 1.—P. 1–4.

401. Wickstead A. W. Representation and duality of multiplication operators on Archimedean Riesz spaces // Compositio Math.—1977.—V. 35, No. 3.—P. 225– 238.

402. Wong Y.-Ch., Ng K.-F. Partially Ordered Topological Vector Spaces.—Oxford:

Clarendon Press, 1973.—217 p.

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

404. Wright J. D. M. The solution of a problem of Sikorski and Mattes // Bull.

London Math. Soc.—1971.—V. 3.—P. 52–54.

405. Yamaguchi J. Boolean [0, 1]-valued continuous operators // Internat. J. Comput.

Math.—1998.—V. 68, No. 1–2.—P. 71–79.

406. Yedon F. J. Non-commutative Lp -spaces // Math. Proc. Cambridge Philos.

Soc.—1975.—V. 77.—P. 91–102.

407. Yood B. Banach Algebras—An Introduction.—Ottawa: Carleton Univ., 1988.— 174 p.

408. Zaanen A. C. Riesz Spaces. Vol. 2. — Amsterdam etc.: North-Holland, 1983.— xi+720 p.

409. Zaanen A. C. Introduction to Operator Theory in Riesz Spaces.—Berlin etc.:

Springer-Verlag, 1997.—312 p.

410. Zakharov V. K., Mikhalev A. V. The MacLane problem on the set-theoretic foundation for category theory: II // J. Math. Sci.—2003.—V. 114, No. 2.— P. 1067–1085.

411. Zhang Jin-wen. A unied treatment of fuzzy set theory and Boolean valued set theory fuzzy set structures and normal fuzzy set structures // J. Math. Anal.

Appl.—1980.—V. 76, No. 1.—P. 297–301.

412. Zhang Jin-wen. Between fuzzy set theory and Boolean valued set theory // Fuzzy Information and Decision Processes.—Amsterdam;

New York: North-Holland, 1982.—P. 143–147.

Именной указатель Абдуллаев Р. З. (Abdullaev R. Z.), 445 Браттели У. (Bratteli O.), 76, 441– Абрамович Ю. А. (Abramovich Yu. A.), Брауэр Л. Э. Я. (Brouwer L. E. J.), 364, 360 Бриджес Д. (Bridges D.), Адамар Ж. (Hadamard J.), 40 Букур И. (Bucur I.), 82, 97, 125, Акилов Г. П. (Akilov G. P.), 76, 68, 247, Буль Дж. (Boole G.), 261, 360, 400, 401, 403, 404 Бурбаки Н. (Bourbaki N.), 40, 41, 76, Алипрантис К. (Aliprantis C. D.), 325, 126, 327, 328, 360, 361, 401, 404 Бухвалов А. В. (Bukhvalov A. V.), 360, Алфсен Э. (Alfsen E.), 444 361, Андерсон М. (Anderson M.), Арвесон В. (Arveson W.), 404 Вайспфеннинг Ф. (Weispfenning V.), Арвесон В. (Arveson W.), 441 Аренс Р. Ф. (Arens R. F.), 261 Ван Хао (Wang Hao), 40, Арзикулов Ф. Н. (Arzikulov F. N.), 444, Векслер А. И. (Veksler A. I.), 360, 362, 445 364, 400, 402, Архангельский А. В. Вердье Ж. (Verdier J. L.), (Arkhangel ski A. V.), 66, Вигнер Ю. (Wigner E.), Аюпов Ш. А. (Ayupov Sh. A.), 291, 432, Викстед Э. В. (Wickstead A. W.), 361, 444, Владимиров Д. А. (Vladimirov D. A.), Бркиншо О. (Burkinshaw O.), 325, 327, е 44, 75, 76, 125, 314, 328, 360, 361, 401, Вольфенштейн С. (Wolfenstein S.), 75, Баде В. (Bad W. G.), e 291, Бак Р. (Buck R. C.), 361 Вонг Й.-Ч. (Wong Y.-Ch.), Бар-Хиллел И. (Bar-Hillel Y.), 40, 41 Вопенка П. (Vopnka P.), 40, e Бейдар К. И. (Be dar K. I.), 261 Вудин У. (Woodin W.), 317, Белл Дж. (Bell J. L.), 127, 166, 167, 213, Вулих Б. З. (Vulikh B. Z.), 330, 325, 327, 313–315, 317 360–363, 397, 400, Бербериан С. К. (Berberian S. K.), 291, 441, 443, Гальперин И. (Halperin I.), Бердикулов М. А. (Berdikulov M. A.), Гдель К. (Gdel K.), 38, 41, 42, 309, е o Гейлер В. А. (Ge V. A.), 360, ler Бернайс П. (Bernays P. I.), 40, Гейтинг А. (Heyting A.), Бигард А. (Bigard A.), 75, 291, Гейфман Х. (Gaifman H.), Биркгоф Г. (Birkho G.), 75, 80, 287, Гельфанд И. М. (Gelfand I. M.), 235, 288, 361, Гильберт Д. (Hilbert D.), 38, 40, Бишоп А. (Bishop E.), Гильман Л. (Gillman L.), 78, Блюменталь Л. М. (Blumenthal L. M.), Гирц Г. (Gierz G.), Боннэ Р. (Bonnet R.), 44 Годеман Р. (Godement R.), 127, 464 Именной указатель Голдблатт Р. (Goldblatt R.), 40, 80, 93, де Йонг Е. (de Jonge E.), 103–105, 108, 113, 114, 126–128, 216, Йордан П. (Jordan P.), 261 Йохум Б. (Iochum B.), Гордон Е. И. (Gordon E. I.), 263, 290, 360, 361, 362, 402, Кан Д. (Kan D. M.), Гофман К. (Hofmann K. H.), Кантор Г. (Cantor G.), 40– Грейсон Р. (Grayson R. J.), 166, Канторович Л. В. (Kantorovich L. V.), Гретцер Г. (Grtzer G.), 75, a 68, 76, 359, 360, 362, 363, 400, 401, Гротендик А. (Grothendieck A.), 81, 404, Гудерл К. Р. (), 291, Капланский И. (Kaplansky I.), 235, 261, Гурвиц А. (Hurwitz A.), 40 291, 441–443, Гуревич Б. Л. (Gurevich B. L.), 76 Каратеодори К. (Carathodory C.), e Гутман А. Е. (Gutman A. E.), 235, 236, Каш Ф. (Kasch F.), 364, Кеймел К. (Keimel K.), 75, 235, 291, Кейслер Г. (Keisler G.), 77, Данфорд Н. (Dunford N.), 76, 401, Келли Дж. (Kelley J. L.), Дедекинд Р. (Dedekind R.), 38, Клини С. (Kleene S.), 13, Дейлз Х. (Dales H.), 317, Кок А. (Kock A.), Деляну А. (Deleanu A.), 82, 97, 125, Кокорин А. И. (Kokorin A. I.), Джеймсон Г. (Jameson G. J. O.), Колдунов А. В. (Koldunov A. V.), Джекобсон Н. (Jacobson N.), Колдуэлл С. (Caldwell S.), Джерисон М. (Jerison M.), 78, Колесников Е. В. (Kolesnikov E. V.), Джонстон П. Т. (Johnstone P. T.), 126– 400, 401, Коллатц Л. (Kollatz L.), Диаконеску Р. (Diaconescu R.), Конн А. (Connes A.), Дием Дж. (Diem J. E.), Конрад П. (Conrad P. F.), Диксмье Ж. (Dixmier J.), 396, 397, 404, Копытов В. М. (Kopytov V. M.), 76, 441, Король А. М. (Korol A. M.), Динкуляну Н. (Dinculeanu N.), 66, 76, 79, 401 Коротков В. Б. (Korotkov V. B.), 361, Дистель Дж. (Diestel J.), 401, Коэн П. Дж. (Cohen P. J.), 28, 40–43, 82, Ершов Ю. Л. (Ershov Yu. L.), 13, 40, 77, 127, 165, 309, 167, 242, 243, 310 Красносельский М. А.

(Krasnosel ski M. A.), Заде Л. (Zade L.), Крейн М. Г. (Kre M. G.), n Заринг У. М. (Zaring W. M.), 40, 213, Крипке С. (Kripke S.), Кристеску Р. (Cristescu R.), Захаров В. К. (Zakharov V. K.), Кронекер Л. (Kronecker L.), Зэнь Жи-вень (Zhang Jin-wen), Куратовский К. (Kuratowski K.), 55, 76, Ионеску Тулча А. (Ionescu Tulcea A.), Курепа Г. (Kurepa G.), 66, 76, 79, Курош А. Г. (Kurosh A. G.), Ионеску Тулча К. (Ionescu Tulcea C.), Кусраев А. Г. (Kusraev A. G.), 75, 125, 66, 76, 79, 168, 216, 235, 236, 261, 262, 291, 325, Иоффе А. Д. (Ioe A. D.), 327, 328, 360–364, 369, 370, 400–404, Йедон Ф. Дж. (Yedon F. J.), 442 441– Кутателадзе, 125, 215, 236, 247, 360–363, Йех Т. (Jech T.), 21, 38, 40–43, 127, 372, 396, 397, 400, 401, 404, 441, 167, 213, 214, 263, 310, 313–315, 317, 361–363 Кэйдисон Р. (Kadison R. V.), 76, Именной указатель Лавров И. А., 310 Мисоноу М. (Misonou M.), Ламбек И. (Lambek J.), 273, 274, 276, Митчел У. (Mitchell W.), 289, 290 Михалев А. В. (Mikhalev A. V.), 125, Лансе Э. (Lance E. C.), 405 Монк Дж. Д. (Monk J. D.), Леви А. (Levy A.), 40, 41, 315 Монтейро А. (Monteiro A.), Леви Б. (Levy B.), 41 Монтэг Р. (Montaigne R.), Леви Ф. В. (Levi F. W.), 289 Мостовский А. (Mostowski A.), 38, 42, Левин В. Л. (Levin V. L.), 66, 76, 79, 401, 43, 261, 402 Мюррей Ф. Дж (Murray F. J.), Лейбниц Г. В. (Leibniz G. W.), Ленг С. (Lang S.), 291 Наймарк М. А. (Na mark M. A.), 235, Линденштраусс Й. (Lindenstrauss J.), 404, 360, 404 Накано Х. (Nakano H.), 359, Лифшиц Е. А. (Lifshits E. A.), 360 Нг К.-Ф. (Ng K.-F.), Ловен Р. (Lowen R.), 43 фон Нейман Дж. (von Neumann J.), 41, Ловер Ф. У. (Lawvere F. W.), 81, 125, 43, 79, 235, 440, 441, 126, 127, 128 Нбелинг Г. (Nbeling G.), е o Лозановский Г. Я. (Lozanovski G. Ya.), Нельсон Э. (Nelson E.), 360 Нишимура Х. (Nishimura H.), 442, Лосенков Г. А. (Losenkov G. A.), 235 Новак И. (Novak I. N.), Лохер Дж. Л. (Locher J. L.), Лэси Э. (Lacey E.), Огасавара Т. (Ogasawara T.), 361, 362, Любецкий В. А. (Lyubetski V. A., 402, 404, 405, 442– Люксембург В. (Luxemburg W. A. J.), Палютин Е. А. (Palyutin E. A.), 13, 40, 328, 360, 361, 403, 77, 167, 242, 243, Партасарати К. (Parthasarathy K.), Магарам Д. (Maharam D.), 79, Пашке В. (Paschke W. L.), Мак-Кинси Дж. (McKinsey J. C. C.), де Пахте Б. (de Pagter B.), Мак-Нотон Р. (McNaughton R.), 40, Пеано Дж. (Peano G.), Макаров Б. М. (Makarov B. M.), 361, Пизье Ж. (Pisier G.), Маклейн С. (MacLane S.), 97, 128, 125, Пинскер А. Г. (Pinsker A. G.), 360–363, 400, Макполин П. Т. Н. (McPolin P. T. N.), Пинус А. Г. (Pinus A. G.), 261, Пирс Р. (Pierce R. S.), Максимова Л. Л., Пономарев В. И. (Ponomarev V. I.), 66, Малвей К. (Mulvey C. J.), 215, Мальцев А. И. (Mal tsev A. I.), 242–244, Пуанкаре А. (Poincar H.), e Малюгин С. А. (Malyugin S. A.), 363, Райс Г. (Reyes G.), 401, 400, Райт М. (Wright J. D. M.), 75, Манин Ю. И. (Manin Yu. I.), Расва Е. (Rasiowa H.), 39, 41, 72, 74, 77, е Маттес К. (Matthes K.), 75, 79, 80, 261, Мейер-Ниберг П. (Meyer-Nieberg P.), Рассел Б. (Russel B.), 38, Рахимов А. А. (Rakhimov A. A.), 291, Мейер М. (Meyer M.), 444, Мрфи Г. (Murphy G.), е Рема П. С. (Rema P. S.), Мендельсон Э. (Mendelson E.), 13, 33, Рингроуз Дж. (Ringrose J. R.), 40, 43, 77, Миккелсен С. (Mikkelsen C. J.), 127 Рисс Ф. (Riesz F.), 359, 466 Именной указатель Робинсон Д. (Robinson D. W.), 76, 441– Томита М. (Tomita M.), 443 Топпинг Д. М. (Topping D. M.), Рокафеллар Р. Т. (Rockafellar R. T.), Троицкий Е. В. (Troitski E. V.), 441, 125 Тьерне М. (Tierney M.), 126, 127, Рубинов А. М. (Rubinov A. M.), ван Руж А. (van Rooij A. C. M.), 360 Уайтхед А. Н. (Whitehead A. N.), Рябко Д. Б. (Ryabko D. B.), 236 Уль Дж. (Uhl J. J.), 401, Усманов Ш. М. (Usmanov Sh. M.), 291, Сакаи С. (Sakai C.), 76, 441, 442 444, Самородницкий А. А.

(Samorodnitski A. A.), Фейл Т. (Feil T.), Сандер В. (Sunder V. S.), Фейс К. (Faith C.), 273, 274, 276, Сарацино Д. (Saracino D.), Фостер А. Л. (Foster A. L.), Сарымсаков Т. А. (Sarymsakov T. A.), Фреге Г. (Frege G.), 38, 291, 432, 444, Фрейд П. (Freyd P.), 93, 103, Семадени З. (Semadeni Zb.), 76, 78, 126, Фрейденталь Г. (Freudenthal H.), 359, Сигал И. (Segal I.), 441, Фремлин Д. (Fremlin D. H.), 360, Сигноли А. (Cignoli A.), Френкель А. (Fraenkel A. A.), 40, Сикорский Р., 39, 41, 44, 52–54, 72, 74– Фрэнк М. (Frank M.), 80, 125, 214, 261, 313– Фукамия М. (Fukamija M.), Сколем Т. (Skolem T.), Фукс Л. (Fuchs L.), 75, 287, 288, 289, Скотт Д. С. (Scott D. S.), 127, 165–168, Фуонг-Как Н. (Phuong-Cc N.), a 215, 216, 235, 261, 313, Фурман М. П. (Fourman M. P.), 127, 166, Сломсон А. (Slomson A. B.), 168, 215, 235, Смит К. (Smith K.), Смит Э. мл. (Smith E. C. jr.), Хаар А. (Haar A.), Соболев А. В. (Sobolev A. V.), Хаджиев Дж. (Khadziev J.), 291, 432, Соболев В. И. (Sobolev V. I.), 362, 444, Соловей Р. (Solovay R. M.), 165, 167, 168, Халмош П. (Halmos P.), 44, 76, 216, 235, 262, 263, 315, 317, Ханш-Олсен Х. (Hanche-Olsen H.), 291, Соловьев Ю. П. (Solov v Yu. P.), 405, e 432, 444, Хейлс А. (Hales A. W.), Столл Р. Р. (Stoll R. R.), Хофштедтер Д. Р. (Hofstedter D. R.), Стоун М. (Stone M.), Стрижевский В. З. (Strizhevski V. Z.), Хэллет М. (Hallet M.), 40, 401, Цаанен А. (Zaanen A. C.), 328, 360, 361, Сэмюэль П. (Samuel P.), Цаленко М. Ш. (Tsalenko M. Sh.), 82, 97, Такеда З. (Takeda Z.), 98, 125, Такесаки М. (Takesaki M.), 76, Цафрири Л. (Tsafriri L.), 360, Такеути Г. (Takeuti G.), 40, 43, 166, 168, Цермело (Zermelo E.), 40, 213, 216, 313, 361, 404, 441, 442, Цизельский K. (Ciesielski K.), Тарский А. (Tarski A.), 79, 313, Тенненбаум С. (Tennenbaum S.), 168, Чен Ч. (Chang Ch.), 77, 216, 235, 262, Чрч А. (Church A.), 40, е Титани С. (Titani S.), 166, 168, Тихомиров В. М. (Tikhomirov V. M.), Чилин В. И. (Chilin V. I.), 291, 432, 442, 444, Тихонов А. Н. (Tikhonov A. N.), 78 Чупин Н. А. (Chupin N. A.), Именной указатель Шварц Г.-У. (Schwarz H.-U.), 325, 360, 362, 397, 401, Шварц Дж. (Schwartz J. T.), 76, 401, Шенфильд Дж. (Shoeneld J. R.), 13, 41, 42, 77, Шефер Х. (Schaefer H. H.), 325, 360, 397, 401, Шилов Г. Е. (Shilov G. E.), Шрдер Й. (Schrder J.), е o Штрмер Э. (Strmer E.), 291, 432, 444, е Шу К. (Xu Q.), Шульгейфер Е. Г. (Shul ge E. G.), 82, fer 97, 98, 125, Шульц Ф. (Shultz F. W.), 437, Шэп А. (Schep A.), Эда К. (Eda K.), Эдвардс Р. (Edwards R.), 76, Эйленберг С. (Eilenberg S.), 125, Эллис Д. (Ellis D.), Эллис Х. В. (Ellis H. W.), Энгелькинг Р. (Engelking R.), 64–66, 78, 314, 315, Эшер М. К. (Escher M. C.), Юдин А. И. (Yudin A. I.), Яглом И. М. (Yaglom I. M.), Предметный указатель Абсолют топологического простран- — булева, ства, 66, 78 — — атомная, Автоморфизм внутренний, 441 — — безатомная, Аддитивность счетная, 56 — — вполне дистрибутивная, Аксиома, 9 — — выделенная, — бесконечности, 20, 23 — — вырожденная, — — -дистрибутивная, — выбора, 21, — выделения, 20, 23 — — (, )-дистрибутивная, — декартова произведения, 24 — — -индуктивная, — дополнения, 24 — — конгруэнций, — конструктивности, 43 — — мультинормированная, — неупорядоченной пары, 20 — — нормированная, — области определения, 24 — — полная, — объединения, 19, 23 — — -полная, — отношения, 24 — — проекторов в группе, — пары, 23 — — проекторов, — пересечения, 24 — — -стабильная, — подстановки, 20, 23 — — счетного типа, — разложимости, 366 — — топологическая, — свертывания, 20 — вложимая, — степени, 19, 23 — B-вложимая, — фундирования, 21, 24 — гейтингова, — экстенсиональности, 19, 22 — — полная, Аксиомы кванторные, 12 — измеримых множеств по модулю мно жеств меры нуль, — логические, — инволютивная, — нелогические, — йорданова, — перестановки, — — исключительная, — пропозициональные, — — специальная, — равенства, — Линденбаума — Тарского, 58, — специальные, — Линденбаума — Тарского для IL, Алгебра, — псевдобулева, — ассоциированная, — решеточно упорядоченная, — банахова, — Стоуна, — — B-циклическая, — стоунова, — — инволютивная, — стоунова, — — — B-циклическая, — строго -однородная, — борелевских множеств по модулю то щих множеств, 55 — упорядоченная, — брауэрова, 69 — фон Неймана, 57, 427, Предметный указатель — фон Неймана стандартная, 443 — решеточный, — сильный, — центрально вложимая, Граница верхняя, Алгебры булевы изоморфные, Алфавит, 9, 10 — — точная, — нижняя, Амальгама, — — точная, Анализ булевозначный, График, Аннулятор, Группа без кручения, — левый, — коммутативная, — правый, — линейно упорядоченная, Антиизоморфизм, — направленная, Антиморфизм булев, — расширенная, Антицепь, — решеточно упорядоченная, Ассоциативность, — — — ортогонально полная, Атом булевой алгебры, — — — расширенная, База алгебраической системы, 245 — с выделенными проекциями, — с проекциями, — векторной решетки, — с проекциями на компоненты, — инвариантная, — упорядоченная, — решеточно упорядоченной группы, 279 — — архимедова, Базис модуля Капланского — Гильбер- — — целозамкнутая, та, Делитель нуля, Бикоммутант, 57, Булеан, 54 Диаграмма, Булево расстояние между множества- — конечная, ми, 195 Дизъюнктность, — простая, Вектор-функция (X, Z)-измеримая, — согласованная, 373 Дилататор, — Z-измеримая, 373 Дисконтинуум канторов, Вероятность, 143 Дифференцирование, Вложение каноническое, 141, 374 — внутреннее, Вхождение символа, 9 Длина формулы, Выводимость в формальной системе, 8 Доминанта оператора, Выражение, 9 Дополнение дизъюнктное, 247, Высказывание, 11 — подобъекта, — элемента, Гипотеза континуума, 33 Дробь, — — обобщенная, Единица алгебры, Гомоморфизм алгебраических B систем, 243 — мнимая, — булев, 50 — порядковая сильная, — — полный, 51 — — слабая, — — порядково непрерывный, 51 — решетки, — гейтинговых алгебр, Закон композиции, — канонический, — нормальный, 436 Законы дистрибутивные бесконечные, — B-однородный, 270 — -полный, 307 Замыкание сечения, 470 Предметный указатель — универсальное, 12 — порядково ограниченных операторов, Знак удовлетворения, — порядковое, Значение спектральное, — предикатов, Значения истинностные, — — интуиционистское, — пропозициональное, Идеал, — аннуляторный, Каноническое вложение, — булевой алгебры, Кардинал, — главный, — бесконечный, — нильпотентный, — регулярный, — нулевой, — стандартный, — порядково плотный, Категории относительные, — порядковый, 279, 320 — эквивалентные, — собственный, 49 Категория банаховых пространств, — — простой, 79 — биполная, —, порожденный множеством, 49 — булевых алгебр, Идемпотент, 272 — векторных пространств, Иерархия конструктивная, 38 — — решеток, — кумулятивная, 34 — внутри (B), 165, Изометрия частичная, 414 — двойственная, Изоморфизм, 50, 72, 87 — декартово замкнутая, — булевозначных систем, 218 — запятой, — B-множеств, 196 — компактов, — «в» для алгебраических B-систем, — конечно биполная, 243 — — кополная, — дуальный, 47 — — полная, — канонический, 332 — кополная, — категорий, 94 — малая, — порядковый, 327 — множеств и отображений, — решеточный, 327 — — и соответствий, — функторный, 96 — морфизмов, 84, Имя множества стандартное, 141 — полная, Инволюция, 395 — предпорядка, Индукция по рангу, 36 — пучков, Интеграл спектральный, 349 — скелетная, Интегрирование неассоциативное, 444 — топологических пространств, — некоммутативное, 442 Квадрат декартов, Интервал порядковый, 320 Квантор ограниченный, Интерпретация булевозначная прямая, Кванторы, 238 Класс, 19, — внутри (B), — переменной, Инфимум, 45 — вполне упорядоченный, Инъекции, 89 — всех множеств, Инъекция, 90 — генерических формул, Истинность в модели, 9 — интерпретационный, — внутри универсума, 134 — конечный, Исчисление высказываний, 9 — морфизмов, 82, 165, — первого порядка, 13 — объектов, 82, 165, Предметный указатель — ординальный, 29 — неразборчивая, — тождественная, — подобный, — тривиальная, — пустой, Конец морфизма, — собственный, Константа, — строго генерических формул, Конструкция универсальная, — транзитивный, Континуум-гипотеза, — универсальный, Конус воспроизводящий, Класс-топология, — для диаграммы, Класс-функция, — положительный, 278, Классификатор подобъектов, Координаты n-ки, Коконус для диаграммы, Копредел диаграммы, Кольцо булево, 59, — функтора, — полупервичное, Копроизведение, — рационально полное, — морфизмов, — регулярное, — семейства морфизмов, — с проекциями, Корефлектор, — самоинъективное, Косопряжение, — упорядоченное, Коуравнитель, — — коммутативное, Кратность строгая, — целостное, Критерий Бэра, — частных, 266, — — классическое, Лемма Капланского — Фукамия, — — полное, — Куратовского — Цорна, Коммутант, 57, — о двойном разбиении, Коммутативность, — о квадратах, Компакт, 60, Лифтинг фактор-алгебры, — гиперстоунов, Логика интуиционистская, — -стабильный, — квантовая, — экстремальный, — классическая, Компактификация александровская, Логицизм, — одноточечная, — cтоун-чеховская, 65 Мажоранта, — Стоуна — Чеха, 65 — наименьшая, Комплексификация, 322 — оператора, Композиция, 16, 165, 203 — точная, — соответствий, 17 Максимальное расширение группы, Компонента, 247 — — решеточно упорядоченной группы, — булевой алгебры, 49 — векторной решетки, 320 Математика конструктивная, — главная, 320 Математическое ожидание условное, — инвариантная, 280 — однородная, 76 Мера, 56, — конечная, — решеточно нормированного про странства, 366 — нормальная, — существенной положительности, 330 — положительная, —, порожденная множеством, 49 — спектральная, Конгруэнтность, 83 — строго положительная, Конгруэнция, 244 Метаязык, 472 Предметный указатель Метод булев, 58 — упорядоченное, — — измельченное, — реализационный, — устойчивое, — стоуновой реализации, — частично упорядоченное, — форсинга, —, вполне порождающее, Метрика булева, —, ограниченное по норме, — согласованная, Модель для формулы булевозначная, Множества в общем положении, 190, — транзитивная, — равномощные, Модули Капланского — Гильберта уни Множество, тарно эквивалентные, — булево, Модуль, 278, — — полное, — B-сепарабельный, — — расширенное, — Капланского — Гильберта, — дизъюнктное, — Капланского — Гильберта — замкнутое регулярное, однородный, — коинициальное, — Капланского — Гильберта однород — конгруэнций конечно независимое, ный, — Капланского — Гильберта строго — — независимое, однородный, — конфинальное, — Капланского — Гильберта строго од — котощее, нородный, — мажорантное, — инъективный, — мажорирующее, — латерально точный, — минорантное, — отделимый, — минорирующее, Мономорфизм, 50, — mix-полное, — решеточный, — морфизмов, 165, 203 Морфизм, — не более чем счетное, 33 — значения, — ортонормальное, 416 — истинностный, — основное, 239 — коопределяющий, — открыто-замкнутое, 54 — обратный, — открытое регулярное, 54 — объекта тождественный, 82, 165, — первой категории, 55 — определяющий, — переменных, 10 — универсальный, — плотное, 272 — функторный, — полное, 244 — характеристический, — порождающее, 51 Морфизмы дизъюнктные, — предупорядоченное, 45 Морфизмы, экспоненциально присо — пустое, 14 единенные, — разделяющее, 429 Мощность, — разложимое, — символов, 10 Начало морфизма, — — операций, 10 Независимость, — — предикатов, 10 Непрерывное функциональное исчисле ние в C -алгебре, — счетное, — типа F, 62 Неравенство Коши — Буняковского, — — G, 62 — тощее, 55 Норма аддитивная, Предметный указатель — векторная, 365 — Магарам, — — разложимая, 366 — мажорируемый, 325, — дизъюнктно разложимая, 366 — нерасширяющий, — d-разложимая, 366 — ограниченный, — E-значная, 365 — порядково непрерывный, — Канторовича, 366 — — -непрерывный, — монотонная, 382 — с абстрактной нормой, — — полная, 382 — существенно положительный, 330, — оператора абстрактная, 370 — порядково непрерывная, 382 — умножения, — — полунепрерывная, 382 —, сохраняющий дизъюнктность, — смешанная, 389 —, — компоненту, — субмультипликативная, 396 Операции бесконечные, Носитель оператора, 330 — булевы, — сечения, 226 — гделевы, е — элемента, 265 Операция замыкания, Нуль решетки, 46 — n-местная, Ординал, Область действия квантора, — конечный, — значений, — предельный, — определения, 15, — стандартный, — целостности, Ортоморфизм, Оболочка инъективная, — расширенный, — циклическая, Орторешетка, Образ гомоморфный, Отношение, — множества, — абстрактное, — обратный, — антисимметричное, Образующие алгебры полные, — бинарное, Объединение подобъектов, — — вполне фундированное, Объект конечный, — —, экстенсиональное по второй коор — начальный, динате, — ненулевой, — дизъюнктности, — непустой, — обратное, — нулевой, 89, — порядка, — относительно функтора свободный, — равенства, — рефлексивное, Объект-степень, — симметричное, Объекты изоморфные, — тождественное, Ограничение, — транзитивное, — относительно идеала, Отображение, Однозначность, — арности, Означивание списка переменных, — возрастающее, Октавы, — гомоморфизма индуцирующее, Оператор B-линейный, — замкнутое, — доминируемый, — изотонное, — линейный o-ограниченный, — интерпретирующее, — — положительный, 325, — местности, — — порядково ограниченный, — — регулярный, 325 — нерастягивающее, 474 Предметный указатель — открытое, 222 Подпространство нормирующее, — совершенное, 78 Подъем, — экстенсиональное, 182 — бинарного отношения, Оценка булевозначная, 58 — вдоль морфизма, — истинности, 5, 133 — двойной, — — булевозначная, 218 — класса, — — B-значная, 218 — множества, 185, Очистка, 240 — — сечений, — произведения, Пара изоморфная, 53 — семейства, — неупорядоченная, 14 — соответствия, — сопряженная, 97 — соответствия модифицированный, — упорядоченная, 14 Парадокс, 38 Покрытие булевой алгебры, Переменная свободная, 11 — вписанное, — связанная, 11 Поле вещественных чисел, Переменные пропозициональные, 9 — частных кольца, Перемешивание, 143, 193, 244 Поливерсум непрерывный, — дизъюнктное, 143 Полнота монотонная, — семейства, 219, 391 Полоса булевой алгебры, — — в решеточно нормированном про- — векторной решетки, странстве, —, порожденная множеством, Пересечение подобъектов, Поляра, Плотность топологического простран — множества относительно соответ ства, ствия, Погружение каноническое, — обратная, Подалгебра, 49, Пополнение, — минорантная, — булево, — плотная, — дизъюнктное, — правильная, — кольца ортогональное, — —, порожденная множеством, — порядковое, —, порожденная множеством, Порядок, 17, — -правильная, — векторный, — —, порожденная множеством, — групповой, Подгруппа выпуклая, — канонический, Подкатегория, — кольцевой, — категории полная, — линейный, 17, — корефлективная, — обратный, — рефлективная, — противоположный, — структурированных множеств, Правила вывода кванторные, Подкласс полный, Правило вывода, — циклический, — отделения, Подмножество булевой алгебры плот Предел диаграммы, ное, — кумулятивной иерархии, — мультипликативное, — порядковый, — циклическое, — функтора, Подмодуль массивный, — — индуктивный, — существенный, Подобъект, 100 — — проективный, Предметный указатель Предикат, 239 — декартово, 15, 53, — морфизмов, 89, 90, — достоверный, — тензорное, — B-значный, Прообраз неприводимый, — n-местный, Пространство B-нормированное, Предпорядок, — B-предсопряженное, 394, Представление стоуново, 62, — B-сопряженное, Преобразование Гельфанда, 60, — bo-полное, — функтора естественное, — br-полное, Принадлежность, — d-полное, Принцип двойственности, — Банаха — Канторовича, — измерения мощностей, — Банаха — Канторовича расширенное, — индукции, — исчерпывания, — банахово со смешанной нормой, — Канторовича, 6, 360, — — циклическое, — максимальности, — булево, — максимума, 147, 164, — булевой алгебры стоуново, — перемешивания, 144, — бэровское, — переноса, 147, 156, — векторное упорядоченное, — — эвристический, — вполне несвязное, — подъема, — дизъюнктно полное, — полного упорядочения, — Канторовича, 6, — трансфинитной индукции, — максимальных идеалов, — — рекурсии, — нормированное B-циклическое, — экстенсиональности для топосов, — решеточно нормированное, 365, Проблема И. Капланского, — — — с проекциями, — континуума, — с мерой, — — обобщенная, — связное, Продолжение оператора минимальное, — со смешанной нормой, — стоуново, Проектор, 264, — топологическое квазиэкстремальное, — абелев, — бесконечный, — — квазиэкстремально несвязное, — в -алгебре, — — компактное, — конечный, — — экстремально несвязное, — мультипликативный, 265, 408 — — экстремальное, — начальный, 414 — характеров, — порядковый, 320, 366 Пространство-класс топологическое, — центральный, 395 — чисто бесконечный, 414 Процедура очистки, Проекторы ортогональные, 395 Прямая сумма семейства компактов, — эквивалентные, 414 53, Проекция, 89, 90 — — топологических пространств, — каноническая, 37 Псевдодополнение, — множества, 223 — относительное, — элемента, 223 Псевдоразность, Произведение, 83, 89 Пучок, — булево, Равенство булевозначное, — внутреннее -значное, 476 Предметный указатель Свойство, Равномощность множеств, Разбиение единицы, 53 — абсолютное, — — конгруэнтное, 423 — Бэра, — элемента, 53 — Магарам, Разложение в цепную дробь, 358 — Рисса декомпозиционное, — единицы, 345 — прямой суммы, Размерность гильбертова, 416 Связки логические, 9, Разность симметрическая, 48, 239 Семантика, Ранг множества ординальный, 34 Семейства компактов конгруэнтные, Распаковка сечения, 225 Расслоение, 223 Семейство bo-суммируемое, — непрерывное, 223 — o-суммируемое, Растяжение вектора, 319 — порядково суммируемое, Расширение K-пространства, 337 Сеть bo-фундаментальная, — — максимальное, 337 — br-фундаментальная, — BAP-группы максимальное, 265 — o-сходящаяся, — максимальное, 369 — возрастающая, — положительного оператора Магара- — убывающая, мово, 403 Сечение глобальное, — теории, 309 — непрерывное, — циклическое, 176 — непрерывное, Реализация булевозначная, 394 — расслоения, — — алгебраической системы, Сигнатура, 10, — — модуля, Символ константы, — — решеточно нормированного про — присваивания, странства, — равенства, Регулятор сходимости, Символы вспомогательные, Решетка, — логические, — Банаха — Канторовича, Синтаксис, — векторная, Система аксиом Пеано, — — дискретная, — аксиоматическая, — — комплексная, — алгебраическая, — — непрерывная, — — наполненная, — — ограниченных элементов, — — разложимая, 240, — — полная относительно сходимости с — — расширенная, 240, регулятором, — булевозначная, — — r-полная, — — отделимая, — — расширенная, — двузначная, — — слабо -дистрибутивная, — формальная, — двухэлементная, Системы B-изоморфные, — дистрибутивная, — булевозначные изоморфные, — нормирующая, Скелет категории, — ортомодулярная, 77, След, — полная, Слои пучка, — решеточно нормированная, Слой расслоения, — с дополнениями, Соединение семейства компонент, Решетки изоморфные, Соответствие, Росток, Ряд строгий декомпозиционный, 423 — вполне нерастягивающее, Предметный указатель — — экстенсиональное, 190 — Капланского о плотности, — нерастягивающее, 195 — Коэна, — обратное, 16 — Крипке, — экстенсиональное, 190 — Крулля, Сопряжение, 97 — Кэйдисона, Состояние, 429 — Леви, — B( )-значное нормальное, 429 — Лося, — JB-алгебры, 437 — Люксембурга — Шэпа, — нормальное, 429 — Люмиса — Сикорского, Спектр элемента алгебры, 395 — о бикоммутанте, Спуск, 361 — о полноте для интуиционистских ис числений высказываний, — алгебраической системы, — о полноте для классического исчис — банахова пространства, лений высказываний, — бинарного отношения, — о полноте для классического исчис — двойной, ления высказываний, — категории, — о поточечной истинности, — класса, — о сохранении соотношений, — ограниченный, — о сэндвиче, — относительно фундамента, — Огасавары, — отображения, — Пиккерта — Хиона, — сечения, — Расвой — Сикорского, е — соответствия модифицированный, — Рисса — Канторовича, — Сакаи, — элемента, — Сикорского, Стабилизатор, — — о продолжении, 78, Степень булева, — Соловея, Структура модульная согласованная, — спектральная для C -алгебр, Субморфизм, 305 — Стоуна, Суперморфизм, 305 — теории топосов основная, Суперпозиция, 16 — Фреге — Рассела — Скотта, Супремум, 45 — Фрейденталя спектральная, Схема Чрча, е — Хана о разложении, Сходимость порядковая, 322 — Хана — Банаха для булевых гомомор Сходимость с регулятором, 322, 368 физмов, — Хьюитта — Марчевского — Пондице Тавтология, 58 ри, — предикатная интуиционистская, 80 — Цермело, Текст, 9 Теория Бернайса — Морса, Теорема, 9 — доказательств, — Биркгофа — Улама, 64 — моделей, — Гделя о неполноте, е — непротиворечивая, — — о непротиворечивости, 309 — первого порядка, 12, — Гльдера, е — Томиты — Такесаки, — Гейфмана — Хейлза, 308 — фон Неймана — Гделя — Бернайса, е — Гельфанда — Наймарка, — формальная, — Гордона, — Цермело — Френкеля, — Ивасавы, — Йеха, 260 — элементарная, 478 Предметный указатель Терм, 11 — предикативная, 26, — — внутри (B) истинная, — свободный, Топология, 73 — сигнатуры, — двойного отрицания, 128 — тождественно истинная, 77, — на топосе, 127 — хорновская, — экстремально несвязная, 223 — — базисная, Топос булев, 121 Фундамент, — вырожденный, 107 Функтор диагональный, — двузначный, 108 — забывающий, — классический, 108 — канонического вложения, — пространственный, 103 — ковариантный, — точечный, 107 — контравариантный, — элементарный, 102 — погружения, Точность BAP-группы латеральная, — подъема, 265 — полный, — латеральная, 241 — сопряженный левый, — — правый, Ультрастепень, 167 — спуска, Ультрафильтр, 60 — стандартного имени, — -полный, — Стоуна, Универсум, — унивалентный, — B-значный, 37, Функция, — 2-значный, — аддитивная, — булевозначный, — в модели (B), — — отделимый, — внутри (B), — нечетких множеств, — вполне аддитивная, — фон Неймана, 21, — выбирающая, Упаковка множества, — кратности, Уравнитель, — — модуля, Уровень, — локально конечная, — определимая абсолютно, Фактор, — спектральная, Фактор-алгебра, — существенно положительная, Фактор-гомоморфизм канонический, — счетно аддитивная, Фактор-категория, — экстенсиональная, Фактор-класс, —, интегрируемая относительно спек Фильтр, тральной меры, — собственный, — — простой, Характер алгебры, Формула, — мономорфизма, — E -общезначимая, 110, Характеристика элемента, — атомарная, — атомная, Центр, — замкнутая, — алгебры фон Неймана, — интуиционистски общезначимая, — AW -алгебры, — истинная, 219, — JB-алгебры, — логически общезначимая, — идеальный, — Моргана, — ограниченная, 18 Цепь, Предметный указатель Часть отрицательная, 278 -изоморфизм инволютивных алгебр, — положительная, -изоморфизм, Числа Кэли, -представление изометрическое, Число множества кардинальное, -представление, — натуральное, AJW -алгебра, — порядковое, AM -пространство с единицей, — трансфинитное, AM -пространство, — целое положительное, AW -алгебра вложимая, Эквивалентность, AW -фактор, — функторов естественная, AW -фактор, Экспоненциал, AW -алгебра -однородная, Экспоненцирование, AW -алгебра конечная, AW -алгебра типа III, Элемент дискретный, AW -алгебра типа II, — единичный, AW -алгебра типа I, — идемпотентный, AW -алгебра чисто невложимая, — локально постоянный, AW -алгебра, — множества, AW -алгебра, — наибольший, AW -модуль, — наименьший, -JB-алгебра, — нормальный, -JBW -алгебра, — объекта, — однородный, 76 -JBW -фактор, — ортогональный, 77, 265 -гомоморфизм, — открытый, 74 -изоморфизм, — положительный, 278, 395 -оценка, — регулярный, 71, 265 B-высказывание, — стандартный, 141 B-гомоморфизм, — унитарный, 441 B-значная система, — центральный, 408 B-изометрия, — эрмитов, 395 B-изоморфизм, —, вписанный в покрытие, 297 B-метрика дискретная, — -стабильный, 419 B-метрика, Элементы дизъюнктные, 49, 366 B-метрика, Элементы образующие, 51 B-множество дискретное, Эндоморфизм, сохраняющий поляры, B-множество, 361 B-полуметрика Хаусдорфа, Эпи-моно-разложение, 105 B-полуметрика, Эпиморфизм, 87 B-размерность, B-система алгебраическая с дизъюнкт Ядро, 51 ностью, Язык, 9 B-система алгебраическая, — категорный, 83 B-формула, — первого порядка, 10 B-язык, C -алгебра B-циклическая, — теории множеств, C -алгебра, C -модуль гильбертов, (, )-алгебра смещения, C -модуль, -изоморфизм изометрический, 480 Предметный указатель -алгебра упорядоченная, 322 BAP-группа, F -ограничение пространства, 390 BAP-кольцо, F -спуск, 390 hom-функтор ковариантный, F -множество, 62 hom-функтор контравариантный, G -множество, 62 -алгебра, JC-алгебра, 438 -идеал, порожденный множеством, JB-алгебра, 431 -идеал, JBW -алгебра, 437 -транспонирование, JW -алгебра, 438 -плотный мономорфизм, -семейство покрытий, K-пространство комплексное, -цепное условие, K-пространство локально одномерное, 356 bo-идеал, K-пространство расширенное, 323 bo-пополнение, K-пространство, 321 bo-сумма семейства, K-пространство, 6 bo-сходимость, K -пространство, 321 bo-фундамент, M -пространство абстрактное, 388 br-сходимость, -оценка, 74 d-пополнение, E -оценка, 110 f -алгебра точная, K -рефлектор категории, 99 f -алгебра, -модуль гильбертов, 405 f -кольцо точное, -сопряжение, 443 f -кольцо, -фактор, 444 n-арный символ, -компонента, 247 n-ка упорядоченная, 0 -формула, 18 n-местный символ, 1 -формула, 18 o-предел, -B-гомоморфизм, 409 o-сумма, -B-изоморфизм, 409 r-предел, -алгебра бэровская, 407 (B) -класс, -алгебра, 395 (B) -множество, -индукция, 36 -плотный подобъект, -рекурсия, -покрытие, BAP-гомоморфизм, Указатель символов — множество натуральных чисел, — множество целых чисел, — поле рациональных чисел, — поле действительных чисел, — поле комплексных чисел.


P (x), F,, PL, {¬}, 9 {y, z}, {}, 9 (x, y), {}, 9 (x1,..., xn ), {}, 9 x, y, {x}, CL, Y Z, CL,, 10 Rel (X),, 10 dom(X),, 10 im(X), ¬, 10 X‘y,, 10 Y “y,, 10 Un(X), FV(), 11 Fnc (X), (t/x), 12 Func (X), F : X Y, CL, IL, 13 dom(),, 13 im, Y X, (! x)(x), X 1, x y, x y, 14 (A), 1 (A), x y, u = x, 14 ZF, u = x, 14 AC, y \ x, 14 ZFC,, y x, 14 482 Указатель символов ZF1, 19 x, A ZF2, 19 n xk, ZF3, k= ZF, 20 n xk, ZF5, 20 k= x y, ZF6, x y, AC, x y, NGB, x y, NGB1, B/, NGB2, B/J, NGB3, A B, NGB4, B, NGB5, A B, NGB6, o(B), NGB7, P(X), NGB8, 2X, NGB9, Clop(X), NGB10, B(X), NGB11, RC (X), NGB12, RO (X), NGB13, Bor(X), NGB14, (, B, ), NGB15, B(), Tr, B(, B, ), Ord (X), X(B), On, U (B),, St(B),, M (B), + 1, Clop (Q), Ord, X,,, X, A X, CH, a(X), GCH, x y, rank, x,, R(), (B), A B, x y, y x, x y, Ob K, x, Mor K, A Указатель символов Com, 82 Sub(d), D, 82 : 1, R, 82 f, HK (a, b), 82 Shv(Q), K (a, b), 82 Shv(Q), K /R, 83 N eg :=, K, 83 ¬ :,, mK, K a, 85 :, Ka, 85, :, Vect( ), VLat( ), 86,, Bool, :, Top, f g, Comp, f g, Ban1, f g, Ban, E, f :a b, P(a), f :a b, 0, 88 a, 1, 88 a : a, a : a, 0a, |a, 88 [[]]m : am, prm : am a, dD d, 89 l dD d, 89 sh (E ), a b, 89 (2), pra : a b a, 89 (B), prb : a b b, 89 [[ · · ]], [[ · = · ]], f, g,, a + b, a : a a + b, 90 x x, b : b a + b, 90 mix (b x ), {x}B, [f, g], {x, y}B, Cat, f g, 95 (x, y)B, (·) a, 95 (x0,..., xn1 )B, HK (a, ·), 95 x, X, HK (·, a), ( · ), Comp, Pn (X), CAb, (·)a, 98 X, 484 Указатель символов Cyc(X), 175 u, U, cyc(M ), ||A (a0,..., an1 ), X, B-AS(), X, Cong(A), X, [u], X, A,, A,, A, K, SetB, 203 Qcl (K), SetB, 203 QB (K),, (B) V, V (B), 203 B(G), V, 204 Cn, (B) Pn ( ), 204 Card(),, (B) Pcn ( ), Pn ((B) ), 204 C(x, y), Pcn ((B) ), 204 B(x, y), C (x, y), Set (B), B (x, y), CSet (B), Hom(A, B), Set(B), U(A ), CSet(B), Consis(T ), F, E +, F, F, 205 [K], F, 205 P(E), [a, b], mix, C(1) := C(E), B0 (X), x, U |=, [u], u, ex, asc, ex, U, 218 o-lim, V q, (o) x x, pr(x), x x, C(D, V Q ), x x, C(D, X), r-lim, x, (r) x x, X, u, 224 M (,, ),, 225 L0 (,, ), ), supp u, 225 Bor(Q, Указатель символов LSC(Q), 320 br-lim, Pn (), Lr (E, F ), L (E, F ), 321 bo-, L+ (E, F ), 321 mE, L(E, F ), 321 mX, L (E, F ), 322 M (X, Y ), n L (E, F ), 322 LA (X, E), n Hom(E, F ), 323 Lb (X, Y ), Orth(D, D ), 324 Cb (Q, Y ), Orth(D, E), 324 C (Q, X), Orth (E), 324 C (Q, X), Orth(E), 324 E(X), Z (E), 324 E(X), N (T ), 325 C# (Q, X), NT, 325 C (Q, X|Z), CT, 325 Ew (X, Z), R, 327 Ew (X ), R, 327 L0 (, X),, 327 L0 (,,, X),, 327 E(X), L0 (, X|Z),, {f }, 338 L0 (,,, X), Z {f }, 338 Ew (X, Z), C(Q), 339 Ew (X ), X Y, C (Q), BA (X Y, E), C(Q), B(X Y ), K(B), I (f ), 345 rU, x, 348 oU, x, 348 dU, ), Bor(n, L B (X, Y ), f, 348 FT, Dm (T ), EndN (G), End (R), 350 L (X, R), End (), 350 |||x|||, F (X ), ·, x y, 362 X, M, 362 LB (X, Y ), B(X), 362 X #, P(X), 364 Y#, bo-lim, 364 P(A), 486 Указатель символов Pc (A), Sp(x), Rx, x, |x| := x x,, S (B), · | ·, L (X, Y ), M, M, Z (A), p q,,,, |M |, SC (Q, L (H)), SC# (Q, L (H)), L (C# (Q, H)),, Mn (), Mn ()sa, M3, Z (A), Pc (A), Оглавление Введение ЧАСТЬ I. ОСНОВЫ Глава 1. Элементы теории множеств 1.1. Формальные системы................................... 1.2. Язык теории множеств.................................. 1.3. Аксиоматика Цермело — Френкеля........................ 1.4. Теория фон Неймана — Гделя — Бернайса е.................. 1.5. Ординалы........................................... 1.6. Иерархии множеств.................................... 1.7. Комментарии......................................... Глава 2. Элементы теории булевых алгебр 2.1. Основные понятия..................................... 2.2. Операции на булевых алгебрах............................ 2.3. Примеры булевых алгебр................................ 2.4. Реализация булевых алгебр.............................. 2.5. Cвойства стоунова представления......................... 2.6. Гейтинговы алгебры.................................... 2.7. Комментарии......................................... Глава 3. Элементы теории категорий 3.1. Категории........................................... 3.2. Универсальные конструкции............................. 3.3. Функторы........................................... 3.4.

Топосы............................................. 3.5. Логика топоса........................................ 3.6. Булевы топосы........................................ 3.7. Комментарии......................................... Глава 4. Булевозначный универсум 4.1. Универсум над булевой алгеброй.......................... 4.2. Преобразования булевозначных универсумов................. 4.3. Перемешивание и принцип максимума...................... 4.4. Принцип переноса..................................... 4.5. Отделимый булевозначный универсум...................... 4.6. Классы в булевозначном универсуме....................... 4.7. Комментарии......................................... 488 Оглавление Глава 5. Аппарат булевозначного анализа 5.1. Каноническое вложение................................. 5.2. Спуск множеств....................................... 5.3. Спуск соответствий.................................... 5.4. Подъем множеств..................................... 5.5. Подъем соответствий................................... 5.6. Булевы множества..................................... 5.7. Погружение булевых множеств........................... 5.8. Основные категории и функторы.......................... 5.9. Взаимосвязи основных функторов......................... 5.10. Комментарии........................................ Глава 6. Функциональное представление булевозначного универсу ма 6.1. Аксиоматика булевозначного универсума.................... 6.2. Понятие непрерывного расслоения......................... 6.3. Непрерывный поливерсум............................... 6.4. Поливерсум и универсум................................ 6.5. Комментарии......................................... ЧАСТЬ II. ПРИМЕНЕНИЯ Глава 7. Анализ алгебраических систем 7.1. Булевозначные интерпретации............................ 7.2. Булевы алгебры конгруэнций............................. 7.3. Спуски алгебраических систем............................ 7.4. Погружение алгебраических B-систем...................... 7.5. Теорема Йеха......................................... 7.6. Комментарии......................................... Глава 8. Анализ групп, колец и полей 8.1. Группы и кольца с проекциями........................... 8.2. Коммутативные полупервичные кольца..................... 8.3. Спуски полей......................................... 8.4. Упорядоченные группы и кольца.......................... 8.5. Спуски упорядоченных групп и колец...................... 8.6. Комментарии......................................... Глава 9. Анализ кардиналов 9.1. Булевозначные кардиналы............................... 9.2. Дистрибутивные законы и кардиналы...................... 9.3. Смещение кардинальных чисел........................... 9.4. Приложение к булевым алгебрам.......................... 9.5. Независимость гипотезы континуума....................... 9.6. Комментарии......................................... Оглавление Глава 10. Анализ векторных решеток 10.1. Векторные решетки................................... 10.2. Порядково ограниченные операторы....................... 10.3. Теорема Гордона..................................... 10.4. Булевозначная реализация векторных решеток............... 10.5. Функциональные представления векторных решеток.......... 10.6. Измеримое функциональное исчисление.................... 10.7. Нерасширяющие операторы............................. 10.8. Комментарии........................................ Глава 11. Анализ решеточно нормированных пространств 11.1. Основные определения................................. 11.2. Примеры........................................... 11.3. Спуски банаховых пространств........................... 11.4. Операторы Магарам................................... 11.5. Пространства со смешанной нормой....................... 11.6. Модули Капланского — Гильберта........................ 11.7. Комментарии........................................ Глава 12. Анализ банаховых алгебр 12.1. Спуски банаховых алгебр............................... 12.2. AW -алгебры........................................ 12.3. Булева размерность модуля Капланского — Гильберта......... 12.4. Функциональное представление модулей Капланского — Гильберта 12.5. Функциональное представление AW -алгебр типа I........... 12.6. Вложимые C -алгебры................................. 12.7. JB-алгебры......................................... 12.8. Предсопряженные JB-алгебры........................... 12.9. Комментарии........................................ Литература Именной указатель Предметный указатель Указатель символов

Pages:     | 1 |   ...   | 13 | 14 ||
 





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

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