About: Non-standard model of arithmetic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Model of (first-order) Peano arithmetic that contains non-standard numbers

Property	Value
dbo:description	model of (first-order) Peano arithmetic that contains non-standard numbers (en) modelo de Peano-aritmetiko alia ol la norma modelo (eo)
dbo:wikiPageExternalLink	http://matwbn.icm.edu.pl/ksiazki/fm/fm23/fm23115.pdf
dbo:wikiPageWikiLink	dbr:Approximations_of_π dbr:Peano_axioms dbr:Löwenheim–Skolem_theorem dbc:Arithmetic dbr:First-order_logic dbr:Cardinality dbr:Gödel's_incompleteness_theorems dbc:Formal_theories_of_arithmetic dbr:Gödel's_completeness_theorem dbr:Compactness_theorem dbr:Goodstein's_theorem dbr:Dense_order dbr:Zermelo–Fraenkel_set_theory dbr:Semiring dbr:Order_type dbr:Stanley_Tennenbaum dbc:Mathematical_logic dbr:Boolos,_George dbc:Model_theory dbr:Mathematical_logic dbr:Ultraproduct dbr:Fundamenta_Mathematicae dbr:Tennenbaum's_theorem dbr:Total_order dbr:Thoralf_Skolem dbr:Second-order_logic dbr:Non-standard_analysis dbr:Recursion_theory dbr:Linearly_ordered dbr:Isomorphic dbr:Hypernatural dbr:Rational_numbers dbr:Countable dbr:Initial_segment dbr:Jeffrey,_Richard dbr:Ω-consistent
dbp:wikiPageUsesTemplate	dbt:Clarify_span dbt:Reflist dbt:Cite_journal dbt:Pi dbt:Use_dmy_dates dbt:ISBN dbt:Refend dbt:Refbegin dbt:Citation_needed dbt:Mathematical_logic dbt:Refimprove dbt:Short_description
dct:subject	dbc:Arithmetic dbc:Formal_theories_of_arithmetic dbc:Mathematical_logic dbc:Model_theory
gold:hypernym	dbr:Model
rdfs:label	Non-standard model of arithmetic (en) Modèle non standard de l'arithmétique (fr) Aritmética no estándar (es) 算術の超準モデル (ja) Modelo de aritmética não padrão (pt) Нестандартна модель арифметики (uk)
owl:sameAs	freebase:Non-standard model of arithmetic yago-res:Non-standard model of arithmetic wikidata:Non-standard model of arithmetic dbpedia-fr:Non-standard model of arithmetic dbpedia-ja:Non-standard model of arithmetic dbpedia-pt:Non-standard model of arithmetic dbpedia-es:Non-standard model of arithmetic dbpedia-uk:Non-standard model of arithmetic dbpedia-global:Non-standard model of arithmetic
prov:wasDerivedFrom	wikipedia-en:Non-standard_model_of_arithmetic?oldid=1293079354&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Non-standard_model_of_arithmetic
is dbo:wikiPageRedirects of	dbr:Non-standard_arithmetic dbr:Non-standard_integers dbr:Non-standard_number dbr:Non-standard_number_theory dbr:Nonstandard_arithmetic dbr:Nonstandard_model_of_arithmetic dbr:Nonstandard_models_of_arithmetic dbr:Nonstandard_number_theory
is dbo:wikiPageWikiLink of	dbr:Nonfirstorderizability dbr:Peano_axioms dbr:Gödel's_incompleteness_theorems dbr:Robinson_arithmetic dbr:Elementary_equivalence dbr:Timeline_of_mathematical_logic dbr:Formal_system dbr:Gödel's_completeness_theorem dbr:Goodstein's_theorem dbr:Epsilon-induction dbr:Stanley_Tennenbaum dbr:Non-standard_model dbr:Mathematical_logic dbr:List_of_mathematical_logic_topics dbr:Tennenbaum's_theorem dbr:Finite_model_theory dbr:Natural_number dbr:Ω-consistent_theory dbr:Thoralf_Skolem dbr:Hyperinteger dbr:Nonstandard_integer dbr:Karen_Yeats dbr:Induction,_bounding_and_least_number_principles dbr:Non-standard_arithmetic dbr:Non-standard_integers dbr:Non-standard_number dbr:Non-standard_number_theory dbr:Nonstandard_arithmetic dbr:Nonstandard_model_of_arithmetic dbr:Nonstandard_models_of_arithmetic dbr:Nonstandard_number_theory
is foaf:primaryTopic of	wikipedia-en:Non-standard_model_of_arithmetic