Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Lindenbaums_lemma> ?p ?o }
Showing triples 1 to 40 of
40
with 100 triples per page.
- Lindenbaums_lemma abstract "In mathematical logic, Lindenbaum's lemma states that any consistent theory of predicate logic can be extended to a complete consistent theory. The lemma is a special case of the ultrafilter lemma for Boolean algebras, applied to the Lindenbaum algebra of a theory.".
- Lindenbaums_lemma wikiPageExternalLink koonsmmm.html.
- Lindenbaums_lemma wikiPageID "6625296".
- Lindenbaums_lemma wikiPageLength "1521".
- Lindenbaums_lemma wikiPageOutDegree "14".
- Lindenbaums_lemma wikiPageRevisionID "635377540".
- Lindenbaums_lemma wikiPageWikiLink Adolf_Lindenbaum.
- Lindenbaums_lemma wikiPageWikiLink Alfred_Tarski.
- Lindenbaums_lemma wikiPageWikiLink Boolean_prime_ideal_theorem.
- Lindenbaums_lemma wikiPageWikiLink Category:Lemmas.
- Lindenbaums_lemma wikiPageWikiLink Category:Mathematical_logic.
- Lindenbaums_lemma wikiPageWikiLink Complete_theory.
- Lindenbaums_lemma wikiPageWikiLink Computably_enumerable.
- Lindenbaums_lemma wikiPageWikiLink Consistency.
- Lindenbaums_lemma wikiPageWikiLink Consistent_theory.
- Lindenbaums_lemma wikiPageWikiLink Gxc3xb6dels_completeness_theorem.
- Lindenbaums_lemma wikiPageWikiLink Gxc3xb6dels_incompleteness_theorem.
- Lindenbaums_lemma wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Lindenbaums_lemma wikiPageWikiLink Lindenbaum_algebra.
- Lindenbaums_lemma wikiPageWikiLink Lindenbaum–Tarski_algebra.
- Lindenbaums_lemma wikiPageWikiLink Mathematical_logic.
- Lindenbaums_lemma wikiPageWikiLink Oxford_University_Press.
- Lindenbaums_lemma wikiPageWikiLink Predicate_logic.
- Lindenbaums_lemma wikiPageWikiLink Recursively_enumerable_set.
- Lindenbaums_lemma wikiPageWikiLink Ultrafilter_lemma.
- Lindenbaums_lemma wikiPageWikiLinkText "Lindenbaum's lemma".
- Lindenbaums_lemma hasPhotoCollection Lindenbaums_lemma.
- Lindenbaums_lemma wikiPageUsesTemplate Template:Cite_book.
- Lindenbaums_lemma wikiPageUsesTemplate Template:Logic-stub.
- Lindenbaums_lemma subject Category:Lemmas.
- Lindenbaums_lemma subject Category:Mathematical_logic.
- Lindenbaums_lemma comment "In mathematical logic, Lindenbaum's lemma states that any consistent theory of predicate logic can be extended to a complete consistent theory. The lemma is a special case of the ultrafilter lemma for Boolean algebras, applied to the Lindenbaum algebra of a theory.".
- Lindenbaums_lemma label "Lindenbaum's lemma".
- Lindenbaums_lemma sameAs Satz_von_Lindenbaum.
- Lindenbaums_lemma sameAs Lemat_Lindenbauma.
- Lindenbaums_lemma sameAs m.0gf80g.
- Lindenbaums_lemma sameAs Q2226746.
- Lindenbaums_lemma sameAs Q2226746.
- Lindenbaums_lemma wasDerivedFrom Lindenbaums_lemmaoldid=635377540.
- Lindenbaums_lemma isPrimaryTopicOf Lindenbaums_lemma.