DBpedia 2016-04

Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Non-standard_model_of_arithmetic> ?p ?o }

Showing triples 1 to 65 of 65 with 100 triples per page.

Non-standard_model_of_arithmetic abstract "In mathematical logic, a non-standard model of arithmetic is a model of (first-order) Peano arithmetic that contains non-standard numbers. The term standard model of arithmetic refers to the standard natural numbers 0, 1, 2, …. The elements of any model of Peano arithmetic are linearly ordered and possess an initial segment isomorphic to the standard natural numbers. A non-standard model is one that has additional elements outside this initial segment. The construction of such models is due to Thoralf Skolem (1934).".
Non-standard_model_of_arithmetic wikiPageID "6251420".
Non-standard_model_of_arithmetic wikiPageLength "8024".
Non-standard_model_of_arithmetic wikiPageOutDegree "27".
Non-standard_model_of_arithmetic wikiPageRevisionID "675324673".
Non-standard_model_of_arithmetic wikiPageWikiLink Approximations_of_π.
Non-standard_model_of_arithmetic wikiPageWikiLink Category:Arithmetic.
Non-standard_model_of_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
Non-standard_model_of_arithmetic wikiPageWikiLink Category:Model_theory.
Non-standard_model_of_arithmetic wikiPageWikiLink Category:Non-standard_analysis.
Non-standard_model_of_arithmetic wikiPageWikiLink Compactness_theorem.
Non-standard_model_of_arithmetic wikiPageWikiLink Computability_theory.
Non-standard_model_of_arithmetic wikiPageWikiLink Countable_set.
Non-standard_model_of_arithmetic wikiPageWikiLink Goodsteins_theorem.
Non-standard_model_of_arithmetic wikiPageWikiLink Gxc3xb6dels_completeness_theorem.
Non-standard_model_of_arithmetic wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
Non-standard_model_of_arithmetic wikiPageWikiLink Hyperinteger.
Non-standard_model_of_arithmetic wikiPageWikiLink Löwenheim–Skolem_theorem.
Non-standard_model_of_arithmetic wikiPageWikiLink Mathematical_logic.
Non-standard_model_of_arithmetic wikiPageWikiLink Non-standard_analysis.
Non-standard_model_of_arithmetic wikiPageWikiLink Order_type.
Non-standard_model_of_arithmetic wikiPageWikiLink Peano_axioms.
Non-standard_model_of_arithmetic wikiPageWikiLink Second-order_logic.
Non-standard_model_of_arithmetic wikiPageWikiLink Semiring.
Non-standard_model_of_arithmetic wikiPageWikiLink Tennenbaums_theorem.
Non-standard_model_of_arithmetic wikiPageWikiLink Thoralf_Skolem.
Non-standard_model_of_arithmetic wikiPageWikiLink Total_order.
Non-standard_model_of_arithmetic wikiPageWikiLink Ultrafilter.
Non-standard_model_of_arithmetic wikiPageWikiLink Ultraproduct.
Non-standard_model_of_arithmetic wikiPageWikiLink Zermelo–Fraenkel_set_theory.
Non-standard_model_of_arithmetic wikiPageWikiLink Ω-consistent_theory.
Non-standard_model_of_arithmetic wikiPageWikiLinkText "Non-standard model of arithmetic".
Non-standard_model_of_arithmetic wikiPageWikiLinkText "Skolem's theorem".
Non-standard_model_of_arithmetic wikiPageWikiLinkText "countable nonstandard models".
Non-standard_model_of_arithmetic wikiPageWikiLinkText "non-standard model of arithmetic".
Non-standard_model_of_arithmetic wikiPageWikiLinkText "non-standard models of arithmetic".
Non-standard_model_of_arithmetic wikiPageWikiLinkText "non-standard models".
Non-standard_model_of_arithmetic wikiPageWikiLinkText "non-standard".
Non-standard_model_of_arithmetic wikiPageWikiLinkText "nonstandard model".
Non-standard_model_of_arithmetic wikiPageWikiLinkText "nonstandard models of arithmetic".
Non-standard_model_of_arithmetic wikiPageWikiLinkText "nonstandard models".
Non-standard_model_of_arithmetic wikiPageUsesTemplate Template:Citation_needed.
Non-standard_model_of_arithmetic wikiPageUsesTemplate Template:Refimprove.
Non-standard_model_of_arithmetic wikiPageUsesTemplate Template:Reflist.
Non-standard_model_of_arithmetic wikiPageUsesTemplate Template:Use_dmy_dates.
Non-standard_model_of_arithmetic subject Category:Arithmetic.
Non-standard_model_of_arithmetic subject Category:Formal_theories_of_arithmetic.
Non-standard_model_of_arithmetic subject Category:Model_theory.
Non-standard_model_of_arithmetic subject Category:Non-standard_analysis.
Non-standard_model_of_arithmetic hypernym Model.
Non-standard_model_of_arithmetic type Person.
Non-standard_model_of_arithmetic type Field.
Non-standard_model_of_arithmetic type Redirect.
Non-standard_model_of_arithmetic type Theory.
Non-standard_model_of_arithmetic comment "In mathematical logic, a non-standard model of arithmetic is a model of (first-order) Peano arithmetic that contains non-standard numbers. The term standard model of arithmetic refers to the standard natural numbers 0, 1, 2, …. The elements of any model of Peano arithmetic are linearly ordered and possess an initial segment isomorphic to the standard natural numbers. A non-standard model is one that has additional elements outside this initial segment.".
Non-standard_model_of_arithmetic label "Non-standard model of arithmetic".
Non-standard_model_of_arithmetic sameAs Q3318130.
Non-standard_model_of_arithmetic sameAs Aritmética_no_estándar.
Non-standard_model_of_arithmetic sameAs Modxc3xa8le_non_standard_de_larithmxc3xa9tique.
Non-standard_model_of_arithmetic sameAs 算術の超準モデル.
Non-standard_model_of_arithmetic sameAs Modelo_de_aritmética_não-padrão.
Non-standard_model_of_arithmetic sameAs m.0fyz7h.
Non-standard_model_of_arithmetic sameAs Q3318130.
Non-standard_model_of_arithmetic wasDerivedFrom Non-standard_model_of_arithmetic?oldid=675324673.
Non-standard_model_of_arithmetic isPrimaryTopicOf Non-standard_model_of_arithmetic.