Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Non-standard_model_of_arithmetic> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items 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 wikiPageRevisionID "601873916".
- Non-standard_model_of_arithmetic hasPhotoCollection Non-standard_model_of_arithmetic.
- 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 type Abstraction100002137.
- Non-standard_model_of_arithmetic type Cognition100023271.
- Non-standard_model_of_arithmetic type Explanation105793000.
- Non-standard_model_of_arithmetic type FormalTheoriesOfArithmetic.
- Non-standard_model_of_arithmetic type HigherCognitiveProcess105770664.
- Non-standard_model_of_arithmetic type Process105701363.
- Non-standard_model_of_arithmetic type PsychologicalFeature100023100.
- Non-standard_model_of_arithmetic type Theory105989479.
- Non-standard_model_of_arithmetic type Thinking105770926.
- 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 "Aritmética no estándar".
- Non-standard_model_of_arithmetic label "Modelo de aritmética não-padrão".
- Non-standard_model_of_arithmetic label "Modèle non standard de l'arithmétique".
- Non-standard_model_of_arithmetic label "Non-standard model of arithmetic".
- Non-standard_model_of_arithmetic sameAs Aritmética_no_estándar.
- Non-standard_model_of_arithmetic sameAs Modèle_non_standard_de_l'arithmétique.
- 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 sameAs Q3318130.
- Non-standard_model_of_arithmetic sameAs Non-standard_model_of_arithmetic.
- Non-standard_model_of_arithmetic wasDerivedFrom Non-standard_model_of_arithmetic?oldid=601873916.
- Non-standard_model_of_arithmetic isPrimaryTopicOf Non-standard_model_of_arithmetic.