Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Löwenheim–Skolem_theorem> ?p ?o }
Showing triples 1 to 96 of
96
with 100 triples per page.
- Löwenheim–Skolem_theorem abstract "In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first-order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The result implies that first-order theories are unable to control the cardinality of their infinite models, and that no first-order theory with an infinite model can have a unique model up to isomorphism.The (downward) Löwenheim–Skolem theorem is one of the two key properties, along with the compactness theorem, that are used in Lindström's theorem to characterize first-order logic. In general, the Löwenheim–Skolem theorem does not hold in stronger logics such as second-order logic.".
- Löwenheim–Skolem_theorem wikiPageExternalLink master.pdf.
- Löwenheim–Skolem_theorem wikiPageExternalLink notes2.pdf.
- Löwenheim–Skolem_theorem wikiPageExternalLink downward.pdf.
- Löwenheim–Skolem_theorem wikiPageID "341482".
- Löwenheim–Skolem_theorem wikiPageLength "18377".
- Löwenheim–Skolem_theorem wikiPageOutDegree "53".
- Löwenheim–Skolem_theorem wikiPageRevisionID "662490561".
- Löwenheim–Skolem_theorem wikiPageWikiLink Absoluteness.
- Löwenheim–Skolem_theorem wikiPageWikiLink Absoluteness_(mathematical_logic).
- Löwenheim–Skolem_theorem wikiPageWikiLink Alex_Sakharov.
- Löwenheim–Skolem_theorem wikiPageWikiLink Alfred_Tarski.
- Löwenheim–Skolem_theorem wikiPageWikiLink Anatoly_Maltsev.
- Löwenheim–Skolem_theorem wikiPageWikiLink Arity.
- Löwenheim–Skolem_theorem wikiPageWikiLink Axiom_of_choice.
- Löwenheim–Skolem_theorem wikiPageWikiLink Calculus_of_relatives.
- Löwenheim–Skolem_theorem wikiPageWikiLink Cardinal_number.
- Löwenheim–Skolem_theorem wikiPageWikiLink Category:Metatheorems.
- Löwenheim–Skolem_theorem wikiPageWikiLink Category:Model_theory.
- Löwenheim–Skolem_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Löwenheim–Skolem_theorem wikiPageWikiLink Closure_operator.
- Löwenheim–Skolem_theorem wikiPageWikiLink Compactness_theorem.
- Löwenheim–Skolem_theorem wikiPageWikiLink Elementary_equivalence.
- Löwenheim–Skolem_theorem wikiPageWikiLink Elementary_substructure.
- Löwenheim–Skolem_theorem wikiPageWikiLink Eric_W._Weisstein.
- Löwenheim–Skolem_theorem wikiPageWikiLink Ernst_Schröder.
- Löwenheim–Skolem_theorem wikiPageWikiLink First-order_logic.
- Löwenheim–Skolem_theorem wikiPageWikiLink Gxc3xb6dels_completeness_theorem.
- Löwenheim–Skolem_theorem wikiPageWikiLink Gxc3xb6dels_incompleteness_theorem.
- Löwenheim–Skolem_theorem wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Löwenheim–Skolem_theorem wikiPageWikiLink Historical_revisionism.
- Löwenheim–Skolem_theorem wikiPageWikiLink Interpretation_(logic).
- Löwenheim–Skolem_theorem wikiPageWikiLink Kxc3xb6nigs_lemma.
- Löwenheim–Skolem_theorem wikiPageWikiLink Leopold_Löwenheim.
- Löwenheim–Skolem_theorem wikiPageWikiLink Lindstrxc3xb6ms_theorem.
- Löwenheim–Skolem_theorem wikiPageWikiLink Mathematical_logic.
- Löwenheim–Skolem_theorem wikiPageWikiLink Model_theory.
- Löwenheim–Skolem_theorem wikiPageWikiLink Oxford_University_Press.
- Löwenheim–Skolem_theorem wikiPageWikiLink Partial_function.
- Löwenheim–Skolem_theorem wikiPageWikiLink Peano_axioms.
- Löwenheim–Skolem_theorem wikiPageWikiLink Power_set.
- Löwenheim–Skolem_theorem wikiPageWikiLink Preclosure_operator.
- Löwenheim–Skolem_theorem wikiPageWikiLink Real_closed_field.
- Löwenheim–Skolem_theorem wikiPageWikiLink Relation_algebra.
- Löwenheim–Skolem_theorem wikiPageWikiLink Second-order_logic.
- Löwenheim–Skolem_theorem wikiPageWikiLink Signature_(logic).
- Löwenheim–Skolem_theorem wikiPageWikiLink Skolem_function.
- Löwenheim–Skolem_theorem wikiPageWikiLink Skolem_normal_form.
- Löwenheim–Skolem_theorem wikiPageWikiLink Skolems_paradox.
- Löwenheim–Skolem_theorem wikiPageWikiLink Structure_(mathematical_logic).
- Löwenheim–Skolem_theorem wikiPageWikiLink Tarski–Vaught_test.
- Löwenheim–Skolem_theorem wikiPageWikiLink Theory_(mathematical_logic).
- Löwenheim–Skolem_theorem wikiPageWikiLink Thoralf_Skolem.
- Löwenheim–Skolem_theorem wikiPageWikiLink True_arithmetic.
- Löwenheim–Skolem_theorem wikiPageWikiLink Up_to.
- Löwenheim–Skolem_theorem wikiPageWikiLink Up_to_isomorphism.
- Löwenheim–Skolem_theorem wikiPageWikiLink Σ-sentence.
- Löwenheim–Skolem_theorem wikiPageWikiLinkText "(downward) Löwenheim–Skolem property".
- Löwenheim–Skolem_theorem wikiPageWikiLinkText "Löwenheim–Skolem theorem".
- Löwenheim–Skolem_theorem wikiPageWikiLinkText "Löwenheim–Skolem".
- Löwenheim–Skolem_theorem author "Sakharov, Alex and Weisstein, Eric W.".
- Löwenheim–Skolem_theorem hasPhotoCollection Löwenheim–Skolem_theorem.
- Löwenheim–Skolem_theorem id "Loewenheim-SkolemTheorem".
- Löwenheim–Skolem_theorem title "Löwenheim-Skolem Theorem".
- Löwenheim–Skolem_theorem wikiPageUsesTemplate Template:Citation.
- Löwenheim–Skolem_theorem wikiPageUsesTemplate Template:Google_books.
- Löwenheim–Skolem_theorem wikiPageUsesTemplate Template:Harv.
- Löwenheim–Skolem_theorem wikiPageUsesTemplate Template:Harvtxt.
- Löwenheim–Skolem_theorem wikiPageUsesTemplate Template:Mathworld.
- Löwenheim–Skolem_theorem wikiPageUsesTemplate Template:Metalogic.
- Löwenheim–Skolem_theorem subject Category:Metatheorems.
- Löwenheim–Skolem_theorem subject Category:Model_theory.
- Löwenheim–Skolem_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Löwenheim–Skolem_theorem comment "In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first-order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ.".
- Löwenheim–Skolem_theorem label "Löwenheim–Skolem theorem".
- Löwenheim–Skolem_theorem sameAs Löwenheimova-Skolemova_věta.
- Löwenheim–Skolem_theorem sameAs Satz_von_Löwenheim-Skolem.
- Löwenheim–Skolem_theorem sameAs Teorema_de_Löwenheim-Skolem.
- Löwenheim–Skolem_theorem sameAs Théorème_de_Löwenheim-Skolem.
- Löwenheim–Skolem_theorem sameAs משפט_לוונהיים-סקולם.
- Löwenheim–Skolem_theorem sameAs Teorema_di_Löwenheim-Skolem_(debole).
- Löwenheim–Skolem_theorem sameAs レーヴェンハイム-スコーレムの定理.
- Löwenheim–Skolem_theorem sameAs 뢰벤하임-스콜렘_정리.
- Löwenheim–Skolem_theorem sameAs Theorema_Löwenheim–Skolem.
- Löwenheim–Skolem_theorem sameAs Stelling_van_Löwenheim-Skolem.
- Löwenheim–Skolem_theorem sameAs Twierdzenie_Löwenheima-Skolema.
- Löwenheim–Skolem_theorem sameAs Teorema_ëd_Löwenheim-Skolem-Tarski.
- Löwenheim–Skolem_theorem sameAs Teorema_de_Löwenheim–Skolem.
- Löwenheim–Skolem_theorem sameAs m.01y472.
- Löwenheim–Skolem_theorem sameAs Теорема_Лёвенгейма_—_Скулема.
- Löwenheim–Skolem_theorem sameAs Теорема_Льовенгейма_—_Сколема.
- Löwenheim–Skolem_theorem sameAs Q1068283.
- Löwenheim–Skolem_theorem sameAs Q1068283.
- Löwenheim–Skolem_theorem sameAs 勒文海姆–斯科伦定理.
- Löwenheim–Skolem_theorem wasDerivedFrom Löwenheim–Skolem_theorem?oldid=662490561.
- Löwenheim–Skolem_theorem isPrimaryTopicOf Löwenheim–Skolem_theorem.