Věta o kompaktnosti

Věta o kompaktnosti je jednou ze základních vět matematické logiky a teorie modelů. Poprvé ji dokázal rakouský logik Kurt Gödel.

Property	Value
prop-cs:wikiPageUsesTemplate	dbpedia-cs:Šablona:Portály
dbpedia-owl:abstract	Věta o kompaktnosti je jednou ze základních vět matematické logiky a teorie modelů. Poprvé ji dokázal rakouský logik Kurt Gödel.
dbpedia-owl:wikiPageID	152829 (xsd:integer)
dbpedia-owl:wikiPageLength	2611 (xsd:integer)
dbpedia-owl:wikiPageOutDegree	33 (xsd:integer)
dbpedia-owl:wikiPageRevisionID	11230755 (xsd:integer)
dbpedia-owl:wikiPageWikiLink	dbpedia-cs:Löwenheimova-Skolemova_věta dbpedia-cs:Saturovaný_model dbpedia-cs:Stoneův_prostor dbpedia-cs:Axiom dbpedia-cs:Axiom_výběru dbpedia-cs:Kurt_Gödel dbpedia-cs:Matematická_logika dbpedia-cs:Množina dbpedia-cs:Podmnožina dbpedia-cs:Přirozené_číslo dbpedia-cs:Rakousko dbpedia-cs:Teorie_modelů dbpedia-cs:Topologický_prostor dbpedia-cs:Jazyk_(logika) dbpedia-cs:Formule_(logika) dbpedia-cs:Kompaktní_prostor dbpedia-cs:Logik dbpedia-cs:Transfinitní_indukce dbpedia-cs:Tichonovova_věta dbpedia-cs:Kompaktní_množina dbpedia-cs:Výroková_logika dbpedia-cs:Teorie_(logika) dbpedia-cs:Predikátová_logika_prvního_řádu dbpedia-cs:Model_(logika) dbpedia-cs:Gödelova_věta_o_úplnosti dbpedia-cs:Kompaktní_model dbpedia-cs:Ultraprodukt category-cs:Matematická_logika category-cs:Matematické_věty_a_důkazy
dbpedia-owl:wikiPageWikiLinkText	větu o kompaktnosti věta o kompaktnosti Věta o kompaktnosti věty o kompaktnosti
dcterms:subject	category-cs:Matematická_logika category-cs:Matematické_věty_a_důkazy
rdfs:comment	Věta o kompaktnosti je jednou ze základních vět matematické logiky a teorie modelů. Poprvé ji dokázal rakouský logik Kurt Gödel.
rdfs:label	Věta o kompaktnosti
prov:wasDerivedFrom	wiki-cs:Věta_o_kompaktnosti?oldid=11230755
foaf:isPrimaryTopicOf	wiki-cs:Věta_o_kompaktnosti
is dbpedia-owl:wikiPageWikiLink of	dbpedia-cs:Teorie_modelů dbpedia-cs:Tichonovova_věta dbpedia-cs:Predikátová_logika_prvního_řádu dbpedia-cs:Gödelova_věta_o_úplnosti_predikátové_logiky
is foaf:primaryTopic of	wiki-cs:Věta_o_kompaktnosti

About: Věta o kompaktnosti