This HTML5 document contains 217 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbpedia-pmshttp://pms.dbpedia.org/resource/
n24http://www.iep.utm.edu/compactness-theorem/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n15https://global.dbpedia.org/id/
dbpedia-eohttp://eo.dbpedia.org/resource/
dbpedia-hehttp://he.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-srhttp://sr.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
n9https://archive.org/details/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Quine–Putnam_indispensability_argument
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Saul_Kripke
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Elementary_class
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:List_of_first-order_theories
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Model_theory
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Dependence_logic
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Peano_axioms
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Ultrafilter_(set_theory)
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:De_Bruijn–Erdős_theorem_(graph_theory)
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Index_of_philosophy_articles_(A–C)
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:List_of_mathematical_logic_topics
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:List_of_mathematical_proofs
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Compact_space
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Compactness_(logic)
dbo:wikiPageWikiLink
dbr:Compactness_theorem
dbo:wikiPageRedirects
dbr:Compactness_theorem
Subject Item
dbr:Craig_interpolation
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Mathematical_logic
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Rado_graph
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Timeline_of_mathematical_logic
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Gleason's_theorem
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Theorem
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Anne_C._Morel
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Lindström_quantifier
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Logic_of_graphs
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Löwenheim–Skolem_theorem
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Compactness_theorem
rdf:type
yago:Proposition106750804 yago:Abstraction100002137 yago:WikicatMathematicalTheorems yago:Statement106722453 yago:Message106598915 yago:Theorem106752293 yago:Communication100033020 yago:WikicatTheoremsInTheFoundationsOfMathematics yago:WikicatTheorems
rdfs:label
Twierdzenie o zwartości Teorema di compattezza (logica matematica) Věta o kompaktnosti Compacidad (lógica) Teorema da compacidade Compactness theorem コンパクト性定理 콤팩트성 정리 Kompaktheitssatz (Logik) Теорема Гёделя о компактности 紧致性定理 Теорема про компактність Théorème de compacité Kompakteca teoremo
rdfs:comment
コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである。 У математичній логіці теорема компактності стверджує, що набір пропозицій першого порядку має модель тоді і тільки тоді, коли кожна кінцева підмножина має модель. Ця теорема є важливим інструментом в теорії моделей, оскільки вона являє собою корисний метод побудови моделей будь-якого набору пропозицій, який є кінцево несуперечливі. Теорема компактності для обчислення виразів є наслідком теореми Тихонова (яка стверджує, що твір компактних просторів компактно), застосоване до компактних , і, отже, назви теореми. Так само воно аналогічно характеристиці властивості скінченного перетину компактності в топологічних просторах: набір замкнутих множин в компактному просторі має непорожній перетин, якщо у кожного кінцевого підкомплексу є непорожній перетин. Теорема компактності є однією з двох ключ Der Kompaktheitssatz, auch Endlichkeitssatz genannt, ist einer der wichtigsten Sätze der Aussagenlogik und der Prädikatenlogik erster Stufe. Er besagt: Eine (möglicherweise unendliche) Formelmenge ist genau dann erfüllbar (d. h. hat ein Modell), wenn jede endliche Teilmenge von erfüllbar ist. Für die Logik der 2. Stufe gilt dieser Satz nicht. La kompakteca teoremo estas baza fakto en simbola logiko kaj modelteorio kaj asertas, ke aro (eble malfinia) de propozicioj estas kontentigebla (tio estas, havas modelon), se kaj nur se ĉiu finia subaro de ĝi estas kontentigebla. La kompakteca teoremo por la estas rezulto de la (kiu diras ke la produto de kompaktaj spacoj estas mem kompakta) aplikita al ; pro tio aperis la nomo "kompakteca" de la teoremo. En lógica matemática, el teorema de compacidad establece que un conjunto (posiblemente infinito) de fórmulas bien formadas de la lógica de primer orden tiene un modelo si todos sus subconjuntos finitos tienen un modelo. Es decir, para todo conjunto de fórmulas de un lenguaje L, si todo subconjunto finito de es satisfacible, entonces es satisfacible. 수리논리학에서 콤팩트성 정리(compact性定理, 영어: compactness theorem)는 만약 어떤 1차 논리 이론의 모든 유한 집합이 만족 가능하다면, 이론 전체가 만족 가능하다는 정리다. 1차 논리의 특징이며, 고차 논리나 무한 논리에서는 일반적으로 성립하지 않는다. In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful (but generally not effective) method for constructing models of any set of sentences that is finitely consistent. O Teorema da Compacidade assegura que um conjunto qualquer formado por fórmulas bem formadas de um cálculo de predicados de primeira ordem é satisfazível se, e somente se, todo subconjunto finito de também é satisfazível. Ou seja, se , então, qualquer que seja , com , tem-se que ; reciprocamente, se, qualquer que seja , tem-se que , então . Este teorema denota uma importante propriedade para a lógica de predicados, pois garante que toda e qualquer fórmula é derivável (ou logicamente implicada, no caso semântico) a partir de um conjunto finito de premissas. Nella logica matematica il teorema di compattezza è un risultato relativo alla coerenza o all'esistenza di modelli per insiemi di enunciati nell'ambito della logica proposizionale o di un linguaggio del primo ordine. 紧致性定理是符号逻辑和模型论中的基本事实，它断言一阶句子的（可能无限的）集合是可满足的（就是说有一个模型），当且仅当它的所有有限子集是可满足的。 命题演算的紧致性定理是吉洪诺夫定理（它声称紧致空间的积是紧致的）应用于紧致Stone空间的结果。 En logique mathématique, un théorème de compacité énonce que si toute partie finie d'une théorie est satisfaisable alors la théorie elle-même est satisfaisable. Il existe des logiques où il y a un théorème de compacité comme le calcul propositionnel ou la logique du premier ordre (on parle de logiques compactes). Il existe aussi des logiques sans théorème de compacité. Commençons l'article par un exemple informel où il n'y a pas de théorème de compacité en considérant la théorie suivante : 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. Twierdzenie o zwartości – twierdzenie mówiące, że nieskończony zbiór zdań rachunku predykatów pierwszego rzędu jest spełnialny, jeśli tylko każdy jego podzbiór skończony jest spełnialny. Równoważnie, jeśli taki zbiór jest sprzeczny, to istnieje jego skończony podzbiór, który jest sprzeczny. Теорема Гёделя о компактности утверждает, что набор из предложений в логике первого порядка имеет модель, тогда и только тогда, когда каждое конечное подмножество предложений имеет модель. Эта теорема является важным инструментом в теории моделей, так как она обеспечивает удобный метод для построения моделей для бесконечного набора предложений. Теорема является следствием теоремы Тихонова о том, что произведение компактных пространств компактно.Кроме того, она является аналогом характеризации компактных пространств через свойство конечных пересечений.
dct:subject
dbc:Metatheorems dbc:Model_theory dbc:Mathematical_logic dbc:Theorems_in_the_foundations_of_mathematics
dbo:wikiPageID
152207
dbo:wikiPageRevisionID
1115766926
dbo:wikiPageWikiLink
dbr:Intersection_(set_theory) dbr:Robinson's_principle dbr:Surjective_map dbr:Tychonoff's_theorem dbr:Propositional_calculus dbr:Product_topology dbr:Cardinality dbr:Compact_space dbr:Peano_arithmetic dbr:Cardinal_number dbr:Algebraically_closed dbr:Topological_space dbr:Axiom_of_choice dbr:Ax–Grothendieck_theorem dbr:1949 dbr:Satisfiability dbr:Ring_(mathematics) dbr:Sentence_(mathematical_logic) dbr:Graduate_Texts_in_Mathematics dbr:Ultrafilter_(set_theory) dbr:Filter_(set_theory) dbr:Internet_Encyclopedia_of_Philosophy dbr:Set_(mathematics) dbr:Closed_set dbr:Gödel's_completeness_theorem dbr:Injective_map dbr:Kurt_Gödel dbc:Metatheorems dbr:Characteristic_(algebra) dbr:First-order_predicate_calculus dbr:Mathematical_logic dbr:Non-standard_analysis dbr:Subset dbr:Field_(mathematics) dbr:Complex_number dbr:Model_theory dbr:Polynomial dbr:Anatoly_Maltsev dbr:Boolean_prime_ideal_theorem dbr:Consistency dbc:Model_theory dbr:Transfer_principle dbr:Lindström's_theorem dbr:Stone_space dbr:Lefschetz_principle dbr:Upward_Löwenheim–Skolem_theorem dbc:Mathematical_logic dbr:Empty_set dbr:Ultraproduct dbr:Abraham_Robinson dbr:Finite_intersection_property dbr:Model_(model_theory) dbr:Finite_set dbc:Theorems_in_the_foundations_of_mathematics dbr:Löwenheim–Skolem_theorem
dbo:wikiPageExternalLink
n9:modeltheory0000hodg%7Curl-access=registration%7Cyear=1993%7Cisbn=0-521-30442-3 n24:
owl:sameAs
dbpedia-eo:Kompakteca_teoremo dbpedia-it:Teorema_di_compattezza_(logica_matematica) dbpedia-cs:Věta_o_kompaktnosti n15:CbeH dbpedia-pms:Teorema_ëd_compatëssa dbpedia-pt:Teorema_da_compacidade dbpedia-pl:Twierdzenie_o_zwartości dbpedia-ja:コンパクト性定理 freebase:m.013tmj dbpedia-es:Compacidad_(lógica) wikidata:Q1149458 dbpedia-sr:Теорема_компактности dbpedia-uk:Теорема_про_компактність yago-res:Compactness_theorem dbpedia-zh:紧致性定理 dbpedia-fr:Théorème_de_compacité dbpedia-de:Kompaktheitssatz_(Logik) dbpedia-he:משפט_הקומפקטיות dbpedia-ko:콤팩트성_정리 dbpedia-ru:Теорема_Гёделя_о_компактности
dbp:wikiPageUsesTemplate
dbt:Mvar dbt:Short_description dbt:Sfn dbt:Em dbt:Annotated_link dbt:Cite_journal dbt:Cite_book dbt:Reflist dbt:Mathematical_logic
dbo:abstract
紧致性定理是符号逻辑和模型论中的基本事实，它断言一阶句子的（可能无限的）集合是可满足的（就是说有一个模型），当且仅当它的所有有限子集是可满足的。 命题演算的紧致性定理是吉洪诺夫定理（它声称紧致空间的积是紧致的）应用于紧致Stone空间的结果。 コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりある理論の充足可能性を示すにはその有限部分についてのみ調べれば良いという非常に有用性の高い定理であり、モデル理論における最も基本的かつ重要な成果のひとつである。 Der Kompaktheitssatz, auch Endlichkeitssatz genannt, ist einer der wichtigsten Sätze der Aussagenlogik und der Prädikatenlogik erster Stufe. Er besagt: Eine (möglicherweise unendliche) Formelmenge ist genau dann erfüllbar (d. h. hat ein Modell), wenn jede endliche Teilmenge von erfüllbar ist. Für die Logik der 2. Stufe gilt dieser Satz nicht. Eine wichtige Folgerung aus dem Kompaktheitssatz ist, dass jede (möglicherweise unendliche) Formelmenge , die beliebig große endliche Modelle hat, auch ein unendliches Modell hat. Mit dieser Folgerung ist häufig die Axiomatisierbarkeit von Klassen endlicher Strukturen widerlegbar. 수리논리학에서 콤팩트성 정리(compact性定理, 영어: compactness theorem)는 만약 어떤 1차 논리 이론의 모든 유한 집합이 만족 가능하다면, 이론 전체가 만족 가능하다는 정리다. 1차 논리의 특징이며, 고차 논리나 무한 논리에서는 일반적으로 성립하지 않는다. 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. La kompakteca teoremo estas baza fakto en simbola logiko kaj modelteorio kaj asertas, ke aro (eble malfinia) de propozicioj estas kontentigebla (tio estas, havas modelon), se kaj nur se ĉiu finia subaro de ĝi estas kontentigebla. La kompakteca teoremo por la estas rezulto de la (kiu diras ke la produto de kompaktaj spacoj estas mem kompakta) aplikita al ; pro tio aperis la nomo "kompakteca" de la teoremo. O Teorema da Compacidade assegura que um conjunto qualquer formado por fórmulas bem formadas de um cálculo de predicados de primeira ordem é satisfazível se, e somente se, todo subconjunto finito de também é satisfazível. Ou seja, se , então, qualquer que seja , com , tem-se que ; reciprocamente, se, qualquer que seja , tem-se que , então . Este teorema denota uma importante propriedade para a lógica de predicados, pois garante que toda e qualquer fórmula é derivável (ou logicamente implicada, no caso semântico) a partir de um conjunto finito de premissas. No caso proposicional, a propriedade da compacidade é consequência do Teorema de Tychonoff (que assegura que o produto de espaços compactos também é compacto) aplicado a , e daí segue o nome do teorema. У математичній логіці теорема компактності стверджує, що набір пропозицій першого порядку має модель тоді і тільки тоді, коли кожна кінцева підмножина має модель. Ця теорема є важливим інструментом в теорії моделей, оскільки вона являє собою корисний метод побудови моделей будь-якого набору пропозицій, який є кінцево несуперечливі. Теорема компактності для обчислення виразів є наслідком теореми Тихонова (яка стверджує, що твір компактних просторів компактно), застосоване до компактних , і, отже, назви теореми. Так само воно аналогічно характеристиці властивості скінченного перетину компактності в топологічних просторах: набір замкнутих множин в компактному просторі має непорожній перетин, якщо у кожного кінцевого підкомплексу є непорожній перетин. Теорема компактності є однією з двох ключових властивостей, як і теорема зниження Льовенгейма-Сколема, що використовується в для характеристики логіки першого порядку. Хоча є деякі узагальнення теореми компактності в логіках не першого порядку, сама теорема компактності в них не виконується. Теорема Гёделя о компактности утверждает, что набор из предложений в логике первого порядка имеет модель, тогда и только тогда, когда каждое конечное подмножество предложений имеет модель. Эта теорема является важным инструментом в теории моделей, так как она обеспечивает удобный метод для построения моделей для бесконечного набора предложений. Теорема является следствием теоремы Тихонова о том, что произведение компактных пространств компактно.Кроме того, она является аналогом характеризации компактных пространств через свойство конечных пересечений. En lógica matemática, el teorema de compacidad establece que un conjunto (posiblemente infinito) de fórmulas bien formadas de la lógica de primer orden tiene un modelo si todos sus subconjuntos finitos tienen un modelo. Es decir, para todo conjunto de fórmulas de un lenguaje L, si todo subconjunto finito de es satisfacible, entonces es satisfacible. La lógica proposicional como la lógica de primer orden satisfacen el teorema de compacidad. Es decir, si de un conjunto de proposiciones se sigue una consecuencia entonces existe un subconjunto finito de proposiciones de las cuales se sigue la misma conclusión. Análogamente si cada conjunto finito de proposiciones de un conjunto admite un modelo, entonces el conjunto completo admite un modelo. Si bien la lógica de primer orden tiene compacidad en el sentido previamente explicado otras lógicas "más potentes" como la lógica de segundo orden no tienen la propiedad de compacidad. Nella logica matematica il teorema di compattezza è un risultato relativo alla coerenza o all'esistenza di modelli per insiemi di enunciati nell'ambito della logica proposizionale o di un linguaggio del primo ordine. En logique mathématique, un théorème de compacité énonce que si toute partie finie d'une théorie est satisfaisable alors la théorie elle-même est satisfaisable. Il existe des logiques où il y a un théorème de compacité comme le calcul propositionnel ou la logique du premier ordre (on parle de logiques compactes). Il existe aussi des logiques sans théorème de compacité. Commençons l'article par un exemple informel où il n'y a pas de théorème de compacité en considérant la théorie suivante : un jour, il ne pleuvra pas ; il pleut ; demain il pleut ; après-demain il pleut ; dans 3 jours il pleut ; dans 4 jours il pleut ;… La théorie n'est pas satisfaisable (toutes les phrases ne peuvent être vraies en même temps). Pourtant, toute partie finie est satisfaisable. En d'autres termes, la logique temporelle linéaire n'est pas compacte. In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful (but generally not effective) method for constructing models of any set of sentences that is finitely consistent. The compactness theorem for the propositional calculus is a consequence of Tychonoff's theorem (which says that the product of compact spaces is compact) applied to compact Stone spaces, hence the theorem's name. Likewise, it is analogous to the finite intersection property characterization of compactness in topological spaces: a collection of closed sets in a compact space has a non-empty intersection if every finite subcollection has a non-empty intersection. The compactness theorem is one of the two key properties, along with the downward Löwenheim–Skolem theorem, that is used in Lindström's theorem to characterize first-order logic. Although, there are some generalizations of the compactness theorem to non-first-order logics, the compactness theorem itself does not hold in them, except for a very limited number of examples. Twierdzenie o zwartości – twierdzenie mówiące, że nieskończony zbiór zdań rachunku predykatów pierwszego rzędu jest spełnialny, jeśli tylko każdy jego podzbiór skończony jest spełnialny. Równoważnie, jeśli taki zbiór jest sprzeczny, to istnieje jego skończony podzbiór, który jest sprzeczny.
prov:wasDerivedFrom
wikipedia-en:Compactness_theorem?oldid=1115766926&ns=0
dbo:wikiPageLength
13885
foaf:isPrimaryTopicOf
wikipedia-en:Compactness_theorem
Subject Item
dbr:Joseph_Sgro
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Kripke_semantics
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Leon_Henkin
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Gödel's_completeness_theorem
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Lindström's_theorem
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Linear_extension
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:List_of_Boolean_algebra_topics
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Non-standard_model_of_arithmetic
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:First-order_logic
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Forcing_(mathematics)
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Barwise_compactness_theorem
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Four_color_theorem
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Hahn–Banach_theorem
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Herbrand's_theorem
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Abstract_elementary_class
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Johann_Makowsky
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Ehrenfeucht–Fraïssé_game
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Theory_(mathematical_logic)
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Torsion_group
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Weakly_compact_cardinal
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Zeroth-order_logic
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Axiom_of_choice
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Ax–Grothendieck_theorem
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Implicational_propositional_calculus
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Independence-friendly_logic
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Infinitesimal
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Kurt_Gödel
dbo:wikiPageWikiLink
dbr:Compactness_theorem
dbp:knownFor
dbr:Compactness_theorem
dbo:knownFor
dbr:Compactness_theorem
Subject Item
dbr:Ramsey's_theorem
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Second-order_logic
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Type_(model_theory)
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Extensions_of_First_Order_Logic
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Compactness_(disambiguation)
dbo:wikiPageWikiLink
dbr:Compactness_theorem
dbo:wikiPageDisambiguates
dbr:Compactness_theorem
Subject Item
dbr:List_of_theorems
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Finite_model_theory
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Nonfirstorderizability
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Ultraproduct
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Square_principle
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Strongly_compact_cardinal
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Truth-value_semantics
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Skolem's_paradox
dbo:wikiPageWikiLink
dbr:Compactness_theorem
Subject Item
dbr:Syntactic_compactness_theorem_for_first_order_logic
dbo:wikiPageWikiLink
dbr:Compactness_theorem
dbo:wikiPageRedirects
dbr:Compactness_theorem
Subject Item
wikipedia-en:Compactness_theorem
foaf:primaryTopic
dbr:Compactness_theorem