33,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
17 °P sammeln
  • Broschiertes Buch

V dannoy knige issleduetsya deduktivnaya sila izvestnogo teoretiko-mnozhestvennogo printsipa refleksii ili otrazheniya. Pokazyvaetsya, chto vvedenie etogo printsipa v sisteme mnozhestv i klassov pozvolyaet vyvodit' ochen' sil'nye utverzhdeniya, svyazannye s bol'shimi kardinalami. Pri etom prikhoditsya vmesto aksiomy "kazhdoe mnozhestvo est' klass", vvodit' spetsial'nyy "printsip intensional'nosti". Togda, problema neprotivorechivost' rassmatrivaemykh printsipov svoditsya k neprotivorechivosti klassicheskoy teorii ZF , rasshirennoy tak nazyvaemoy "aksiomoy soglasovannogo vybora" . Eta aksioma…mehr

Produktbeschreibung
V dannoy knige issleduetsya deduktivnaya sila izvestnogo teoretiko-mnozhestvennogo printsipa refleksii ili otrazheniya. Pokazyvaetsya, chto vvedenie etogo printsipa v sisteme mnozhestv i klassov pozvolyaet vyvodit' ochen' sil'nye utverzhdeniya, svyazannye s bol'shimi kardinalami. Pri etom prikhoditsya vmesto aksiomy "kazhdoe mnozhestvo est' klass", vvodit' spetsial'nyy "printsip intensional'nosti". Togda, problema neprotivorechivost' rassmatrivaemykh printsipov svoditsya k neprotivorechivosti klassicheskoy teorii ZF , rasshirennoy tak nazyvaemoy "aksiomoy soglasovannogo vybora" . Eta aksioma dostatochno prosto formuliruyutsya privychnymi terminami v yazyke ZF . Avtor nameren priderzhivat'sya chisto sintaksicheskogo podkhoda, no v tselyakh oblegcheniya chitaemosti teksta inogda govoritsya ob universumakh, modelyakh, i upotreblyayutsya vyrazheniya vida "vypolnyaetsya", "verno", "imeet mesto" v dukhe neformal'nogo izlozheniya.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
Rodilsq w g. Barnaule Altajskogo kraq. Posle okonchaniq srednej shkoly uchilsq na matematicheskom fakul'tete NGU. S 1971 rabotal na matematicheskih kafedrah Altajskih Vuzow. V 2003 zaschitil doktorskuü dissertaciü i po nastoqschee wremq rabotaü professorom kafedry matematicheskoj logiki Altajskogo uniwersiteta.