Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Lindenbaum's_lemma> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- Lindenbaum's_lemma abstract "In mathematical logic, Lindenbaum's lemma states that any consistent theory of predicate logic can be extended to a complete consistent theory. It is used in the proof of Gödel's completeness theorem, among other places. The lemma is a special case of the ultrafilter lemma for Boolean algebras, applied to the Lindenbaum algebra of a theory.The effective version of the lemma's statement, "every consistent computably enumerable theory can be extended to a complete consistent computably enumerable theory," fails (provided Peano Arithmetic is consistent) by Gödel's incompleteness theorem.The lemma was not published by Adolf Lindenbaum; it is originally attributed to him by Alfred Tarski.".
- Lindenbaum's_lemma wikiPageExternalLink koonsmmm.html.
- Lindenbaum's_lemma wikiPageID "6625296".
- Lindenbaum's_lemma wikiPageRevisionID "544512103".
- Lindenbaum's_lemma hasPhotoCollection Lindenbaum's_lemma.
- Lindenbaum's_lemma subject Category:Lemmas.
- Lindenbaum's_lemma subject Category:Mathematical_logic.
- Lindenbaum's_lemma type Abstraction100002137.
- Lindenbaum's_lemma type Communication100033020.
- Lindenbaum's_lemma type Lemma106751833.
- Lindenbaum's_lemma type Lemmas.
- Lindenbaum's_lemma type Message106598915.
- Lindenbaum's_lemma type Proposition106750804.
- Lindenbaum's_lemma type Statement106722453.
- Lindenbaum's_lemma comment "In mathematical logic, Lindenbaum's lemma states that any consistent theory of predicate logic can be extended to a complete consistent theory. It is used in the proof of Gödel's completeness theorem, among other places.".
- Lindenbaum's_lemma label "Lemat Lindenbauma".
- Lindenbaum's_lemma label "Lindenbaum's lemma".
- Lindenbaum's_lemma label "Satz von Lindenbaum".
- Lindenbaum's_lemma sameAs Satz_von_Lindenbaum.
- Lindenbaum's_lemma sameAs Lemat_Lindenbauma.
- Lindenbaum's_lemma sameAs m.0gf80g.
- Lindenbaum's_lemma sameAs Q2226746.
- Lindenbaum's_lemma sameAs Q2226746.
- Lindenbaum's_lemma sameAs Lindenbaum's_lemma.
- Lindenbaum's_lemma wasDerivedFrom Lindenbaum's_lemma?oldid=544512103.
- Lindenbaum's_lemma isPrimaryTopicOf Lindenbaum's_lemma.