About: True arithmetic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: True arithmetic Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatFormalTheoriesOfArithmetic, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FTrue_arithmetic&invfp=IFP_OFF&sas=SAME_AS_OFF

In mathematical logic, true arithmetic is the set of all true first-order statements about the arithmetic of natural numbers. This is the theory associated with the standard model of the Peano axioms in the language of the first-order Peano axioms.True arithmetic is occasionally called Skolem arithmetic, though this term usually refers to the different theory of natural numbers with multiplication.

Attributes	Values
rdf:type	yago:Abstraction100002137 yago:Cognition100023271 yago:Explanation105793000 yago:HigherCognitiveProcess105770664 yago:Process105701363 yago:PsychologicalFeature100023100 yago:Theory105989479 yago:Thinking105770926 yago:WikicatFormalTheoriesOfArithmetic
rdfs:label	Arithmétique vraie (fr) 真の算術 (ja) True arithmetic (en)
rdfs:comment	En logique mathématique, l'arithmétique vraie est l'ensemble de toutes les propositions vraies sur l'arithmétique des entiers naturels (Boolos, Burgess et Jeffrey 2002: 295). C'est la théorie associée au modèle standard des axiomes de Peano dans la signature des axiomes de Peano du premier ordre. L'arithmétique vraie est parfois appelée[Par qui ?] arithmétique de Skolem[réf. nécessaire], bien que ce terme se réfère habituellement à une théorie différente, la théorie des entiers naturels avec multiplication. (fr) In mathematical logic, true arithmetic is the set of all true first-order statements about the arithmetic of natural numbers. This is the theory associated with the standard model of the Peano axioms in the language of the first-order Peano axioms.True arithmetic is occasionally called Skolem arithmetic, though this term usually refers to the different theory of natural numbers with multiplication. (en) 数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術のにおける自然数の Th のことである。タルスキの定義不可能性定理はこの理論が算術的に定義不可能であることを示している。 (ja)
dcterms:subject	Formal theories of arithmetic Model theory
Wikipage page ID	22156658 (xsd:integer)
Wikipage revision ID	1053523125 (xsd:integer)
Link from a Wikipage to another Wikipage	Cardinality of the continuum Nonstandard arithmetic Annals of Mathematics Peano arithmetic Peano axioms Elementarily equivalent Analytical hierarchy Mathematical logic Formal theories of arithmetic Arithmetical hierarchy Complete theory Structure (mathematical logic) Alfred Tarski First-order logic Arithmetic Model theory Theory (mathematical logic) Domain of discourse Intended interpretation Natural number Recursively enumerable set Second-order arithmetic Sentence (mathematical logic) Signature (logic) Type (model theory) Post's theorem Stable theory Partial order Tarski's undefinability theorem Turing degree Recursively enumerable Turing degree Decidable set Gödel number
sameAs	True arithmetic True arithmetic True arithmetic True arithmetic True arithmetic True arithmetic
dbp:wikiPageUsesTemplate	dbt:Citation dbt:Harvtxt dbt:MathWorld dbt:Reflist dbt:Short_description
title	Arithmetic (en) Peano Arithmetic (en) Tarski's Theorem (en)
urlname	Arithmetic (en) PeanoArithmetic (en) TarskisTheorem (en)
has abstract	En logique mathématique, l'arithmétique vraie est l'ensemble de toutes les propositions vraies sur l'arithmétique des entiers naturels (Boolos, Burgess et Jeffrey 2002: 295). C'est la théorie associée au modèle standard des axiomes de Peano dans la signature des axiomes de Peano du premier ordre. L'arithmétique vraie est parfois appelée[Par qui ?] arithmétique de Skolem[réf. nécessaire], bien que ce terme se réfère habituellement à une théorie différente, la théorie des entiers naturels avec multiplication. (fr) In mathematical logic, true arithmetic is the set of all true first-order statements about the arithmetic of natural numbers. This is the theory associated with the standard model of the Peano axioms in the language of the first-order Peano axioms.True arithmetic is occasionally called Skolem arithmetic, though this term usually refers to the different theory of natural numbers with multiplication. (en) 数理論理学において、真の算術 (英: true arithmetic) とは一階ペアノ算術のにおける自然数の Th のことである。タルスキの定義不可能性定理はこの理論が算術的に定義不可能であることを示している。 (ja)
gold:hypernym	Set
prov:wasDerivedFrom	wikipedia-en:True_arithmetic?oldid=1053523125&ns=0
page length (characters) of wiki page	9056 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:True_arithmetic
is Link from a Wikipage to another Wikipage of	Löwenheim–Skolem theorem Gödel's incompleteness theorems Theory (mathematical logic) Second-order arithmetic Skolem arithmetic (disambiguation) Turing degree Complete arithmetic
is Wikipage redirect of	Complete arithmetic
is foaf:primaryTopic of	wikipedia-en:True_arithmetic

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software