Metamatematika teorií množin

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Metamatematika teorií množin

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Metamathematics of set theories

Popis výsledku anglicky

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

Druh

B - Odborná kniha

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/IAA1019401" target="_blank" >IAA1019401: Teorie, důkazy a výpočetní složitost</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2005

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

80-246-1160-0

Počet stran knihy

203

Název nakladatele

Karolinum

Místo vydání

Praha

Kód UT WoS knihy

—