This HTML5 document contains 135 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n20https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n14http://matwbn.icm.edu.pl/ksiazki/fm/fm23/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Elementary_equivalence
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Non-standard_arithmetic
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
dbo:wikiPageRedirects
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Non-standard_integers
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
dbo:wikiPageRedirects
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Non-standard_number_theory
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
dbo:wikiPageRedirects
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Nonstandard_arithmetic
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
dbo:wikiPageRedirects
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Nonstandard_models_of_arithmetic
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
dbo:wikiPageRedirects
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Nonstandard_number_theory
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
dbo:wikiPageRedirects
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Peano_axioms
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Induction,_bounding_and_least_number_principles
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:List_of_mathematical_logic_topics
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Mathematical_logic
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Timeline_of_mathematical_logic
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Thoralf_Skolem
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Epsilon-induction
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Gödel's_completeness_theorem
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Robinson_arithmetic
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Tennenbaum's_theorem
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Non-standard_model_of_arithmetic
rdf:type
yago:WikicatFormalTheoriesOfArithmetic yago:Cognition100023271 yago:Explanation105793000 yago:Thinking105770926 yago:PsychologicalFeature100023100 yago:Process105701363 dbo:Person yago:Theory105989479 yago:HigherCognitiveProcess105770664 yago:Abstraction100002137
rdfs:label
Aritmética no estándar Non-standard model of arithmetic Modelo de aritmética não padrão Нестандартна модель арифметики 算術の超準モデル Modèle non standard de l'arithmétique
rdfs: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. The construction of such models is due to Thoralf Skolem (1934). En lógica matemática, un modelo no estándar de la aritmética es un modelo para la aritmética de Peano (de primer orden) que contiene números no estándar. El modelo estándar de la aritmética es el compuesto por los números naturales {0, 1, 2, ...}, una sucesión infinita y numerable ordenada linealmente. Un modelo no estándar contiene elementos adicionales fuera de esta sucesión. La existencia de modelos no estándar para la aritmética fue demostrado por en 1934. У математичній логіці нестандартна модель арифметики - це модель арифметики Пеано (першого порядку), яка містить нестандартні числа. Термін стандартна модель арифметики має на увазі стандартні натуральні числа 0, 1, 2,... Елементи будь-якої моделі арифметики Пеано лінійно впорядковані і мають початковий сегмент ізоморфний стандартним натуральним числам. Нестандартна модель - це така, яка має додаткові елементи поза цим початковим сегментом. Побудова таких моделей пояснюється Торальфом Сколем (1934). En logique mathématique, un modèle non standard de l'arithmétique est un modèle non standard de l'arithmétique de Peano, qui contient des nombres non standards. Le modèle standard de l'arithmétique contient exactement les nombres naturels 0, 1, 2, etc. Les éléments du domaine de tout modèle de l'arithmétique de Peano sont ordonnés linéairement et possèdent un segment initial isomorphe aux nombres naturels standards. Un modèle non standard est un modèle qui contient également des éléments en dehors de ce segment initial. Thoralf Skolem (1934) fut le premier à poser les bases de l'arithmétique non standard, généralisée ensuite à l'analyse non standard par Abraham Robinson. Na lógica matemática, um modelo da aritmética não-padrão é um modelo da (primeira-ordem) aritmética de Peano que contém números não-padrões. O modelo padrão da aritmética consiste do conjunto dos números naturias {0,1,2,3,...}. Os elementos de qualquer modelo da aritmética de Peano são ordenados linearmente e possuem um segmento isomórfico inicial aos números naturais comuns. Um modelo não-padrão é um modelo que não possui elementos adicionais fora do seu segmento inicial. A construção de tais modelos se dá por conta de Thoralf Skolem (1934). 算術の超準モデル (英: non-standard model of arithmetic) とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（）を含むようなモデルのことである。それに対し、通常の自然数 は算術の標準モデルと呼ばれる。ペアノ算術の任意のモデルは線形順序で並んでおり、 と同型な切片を持つ。超準モデルは、その切片の外に元を持つようなモデルであると言える。
dcterms:subject
dbc:Model_theory dbc:Arithmetic dbc:Formal_theories_of_arithmetic dbc:Mathematical_logic
dbo:wikiPageID
6251420
dbo:wikiPageRevisionID
1090132440
dbo:wikiPageWikiLink
dbr:Dense_order dbr:Isomorphic dbr:Approximations_of_π dbr:Rational_numbers dbr:Order_type dbr:Boolos,_George dbc:Model_theory dbr:Thoralf_Skolem dbr:Goodstein's_theorem dbr:Zermelo–Fraenkel_set_theory dbc:Arithmetic dbr:Hypernatural dbr:Countable dbc:Formal_theories_of_arithmetic dbr:Gödel's_completeness_theorem dbr:First-order_logic dbr:Cardinality dbr:Fundamenta_Mathematicae dbr:Initial_segment dbr:Second-order_logic dbr:Gödel's_incompleteness_theorems dbr:Mathematical_logic dbr:Non-standard_analysis dbr:Compactness_theorem dbr:Total_order dbr:Recursion_theory dbr:Ultraproduct dbc:Mathematical_logic dbr:Jeffrey,_Richard dbr:Peano_axioms dbr:Stanley_Tennenbaum dbr:Linearly_ordered dbr:Semiring dbr:Löwenheim–Skolem_theorem dbr:Tennenbaum's_theorem dbr:Ω-consistent
dbo:wikiPageExternalLink
n14:fm23115.pdf
owl:sameAs
wikidata:Q3318130 dbpedia-es:Aritmética_no_estándar dbpedia-uk:Нестандартна_модель_арифметики dbpedia-pt:Modelo_de_aritmética_não_padrão dbpedia-fr:Modèle_non_standard_de_l'arithmétique n20:33m1D freebase:m.0fyz7h yago-res:Non-standard_model_of_arithmetic dbpedia-ja:算術の超準モデル
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Refimprove dbt:ISBN dbt:Refend dbt:Refbegin dbt:Pi dbt:Use_dmy_dates dbt:Citation_needed dbt:Mathematical_logic dbt:Cite_journal dbt:Short_description
dbo:abstract
У математичній логіці нестандартна модель арифметики - це модель арифметики Пеано (першого порядку), яка містить нестандартні числа. Термін стандартна модель арифметики має на увазі стандартні натуральні числа 0, 1, 2,... Елементи будь-якої моделі арифметики Пеано лінійно впорядковані і мають початковий сегмент ізоморфний стандартним натуральним числам. Нестандартна модель - це така, яка має додаткові елементи поза цим початковим сегментом. Побудова таких моделей пояснюється Торальфом Сколем (1934). 算術の超準モデル (英: non-standard model of arithmetic) とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（）を含むようなモデルのことである。それに対し、通常の自然数 は算術の標準モデルと呼ばれる。ペアノ算術の任意のモデルは線形順序で並んでおり、 と同型な切片を持つ。超準モデルは、その切片の外に元を持つようなモデルであると言える。 En lógica matemática, un modelo no estándar de la aritmética es un modelo para la aritmética de Peano (de primer orden) que contiene números no estándar. El modelo estándar de la aritmética es el compuesto por los números naturales {0, 1, 2, ...}, una sucesión infinita y numerable ordenada linealmente. Un modelo no estándar contiene elementos adicionales fuera de esta sucesión. La existencia de modelos no estándar para la aritmética fue demostrado por en 1934. 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). En logique mathématique, un modèle non standard de l'arithmétique est un modèle non standard de l'arithmétique de Peano, qui contient des nombres non standards. Le modèle standard de l'arithmétique contient exactement les nombres naturels 0, 1, 2, etc. Les éléments du domaine de tout modèle de l'arithmétique de Peano sont ordonnés linéairement et possèdent un segment initial isomorphe aux nombres naturels standards. Un modèle non standard est un modèle qui contient également des éléments en dehors de ce segment initial. Thoralf Skolem (1934) fut le premier à poser les bases de l'arithmétique non standard, généralisée ensuite à l'analyse non standard par Abraham Robinson. Na lógica matemática, um modelo da aritmética não-padrão é um modelo da (primeira-ordem) aritmética de Peano que contém números não-padrões. O modelo padrão da aritmética consiste do conjunto dos números naturias {0,1,2,3,...}. Os elementos de qualquer modelo da aritmética de Peano são ordenados linearmente e possuem um segmento isomórfico inicial aos números naturais comuns. Um modelo não-padrão é um modelo que não possui elementos adicionais fora do seu segmento inicial. A construção de tais modelos se dá por conta de Thoralf Skolem (1934).
gold:hypernym
dbr:Model
prov:wasDerivedFrom
wikipedia-en:Non-standard_model_of_arithmetic?oldid=1090132440&ns=0
dbo:wikiPageLength
9018
foaf:isPrimaryTopicOf
wikipedia-en:Non-standard_model_of_arithmetic
Subject Item
dbr:Non-standard_number
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
dbo:wikiPageRedirects
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Formal_system
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Goodstein's_theorem
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Karen_Yeats
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Gödel's_incompleteness_theorems
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Hyperinteger
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Natural_number
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Nonstandard_integer
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Nonstandard_model_of_arithmetic
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
dbo:wikiPageRedirects
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Finite_model_theory
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Nonfirstorderizability
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Ω-consistent_theory
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Non-standard_model
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
dbr:Stanley_Tennenbaum
dbo:wikiPageWikiLink
dbr:Non-standard_model_of_arithmetic
Subject Item
wikipedia-en:Non-standard_model_of_arithmetic
foaf:primaryTopic
dbr:Non-standard_model_of_arithmetic