Metamathematics of set theories
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F05%3A00048361" target="_blank" >RIV/67985840:_____/05:00048361 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Metamatematika teorií množin
Original language 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ánya 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.
Czech name
Metamatematika teorií množin
Czech 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ánya 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.
Classification
Type
B - Specialist book
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/IAA1019401" target="_blank" >IAA1019401: Theories, proofs and computational complexity</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
ISBN
80-246-1160-0
Number of pages
203
Publisher name
Karolinum
Place of publication
Praha
UT code for WoS book
—