Attributes | Values |
---|
rdf:type
| |
Description
| - Kniha je věnována jedné ze základních disciplín matematiky - teorii množin. Výklad se týká výstavby, vlastností a vztahů nejdůležitějších axiomatických systémů teorie množin, které byly formulovány v první polovině 20. století a jsou intenzivně zkoumány a používány dodnes. Publikace seznamuje čtenáře s prostředky používanými pro prokazování bezespornosti nebo nedokazovatelnosti důležitých množinově teoretických sentencí. Tím prostředkem jsou syntaktické modely včetně Cohenovy metody generických rozšíření. V českém jazyce je poprvé v knize podán výklad permutačních modelů a ukázány relativní bezespornosti tvrzení, které jsou neslučitelné s axiomem výběru. Kniha je určena studentům matematiky a logiky na vysokých školách, doktorandům a odborníkům zajímajícím se o základy a logickou výstavbu matematiky.
- Kniha je věnována jedné ze základních disciplín matematiky - teorii množin. Výklad se týká výstavby, vlastností a vztahů nejdůležitějších axiomatických systémů teorie množin, které byly formulovány v první polovině 20. století a jsou intenzivně zkoumány a používány dodnes. Publikace seznamuje čtenáře s prostředky používanými pro prokazování bezespornosti nebo nedokazovatelnosti důležitých množinově teoretických sentencí. Tím prostředkem jsou syntaktické modely včetně Cohenovy metody generických rozšíření. V českém jazyce je poprvé v knize podán výklad permutačních modelů a ukázány relativní bezespornosti tvrzení, které jsou neslučitelné s axiomem výběru. Kniha je určena studentům matematiky a logiky na vysokých školách, doktorandům a odborníkům zajímajícím se o základy a logickou výstavbu matematiky. (cs)
- This book covers one of the fundamental area of mathematics - set theory. It is devoted to development, properties, and mutual relations of the most common axiomatic systems formulated at the beginning of 20th century. The book covers methods for proving consistency of set theories, including syntatictic models, Cohen´s generic extensions, and permutation models. This textbook is intended for university students, graduate students, and researcher interested in fundamental mathematical and logical principles. (en)
|
Title
| - Metamatematika teorií množin
- Metamatematika teorií množin (cs)
- Metamathematics of set theories (en)
|
skos:prefLabel
| - Metamatematika teorií množin
- Metamatematika teorií množin (cs)
- Metamathematics of set theories (en)
|
skos:notation
| - RIV/67985840:_____/05:00048361!RIV07-AV0-67985840
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(IAA1019401), Z(AV0Z10190503)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/67985840:_____/05:00048361
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - set theory; logic; consistency (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Metamatematika teorií množin
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...v/pocetStranKnihy
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| - Univerzita Karlova v Praze. Nakladatelství Karolinum
|
https://schema.org/isbn
| |