| Property |
Value |
| dbo: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 Peano de 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 à différente théorie des entiers naturels avec multiplication[pas clair]. (fr)
- 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 Peano de 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 à différente théorie des entiers naturels avec multiplication[pas clair]. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7395 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1977 (xsd:integer)
- 1999 (xsd:integer)
- 2001 (xsd:integer)
- 2002 (xsd:integer)
|
| prop-fr:art
|
- True arithmetic (fr)
- True arithmetic (fr)
|
| prop-fr:doi
| |
| prop-fr:id
| |
| prop-fr:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:issn
| |
| prop-fr:issue
| |
| prop-fr:journal
| |
| prop-fr:jstor
| |
| prop-fr:lang
| |
| prop-fr:mr
| |
| prop-fr:nom
|
- Burgess (fr)
- Jeffrey (fr)
- Simpson (fr)
- Boolos (fr)
- Bovykin (fr)
- Kaye (fr)
- Shore (fr)
- Burgess (fr)
- Jeffrey (fr)
- Simpson (fr)
- Boolos (fr)
- Bovykin (fr)
- Kaye (fr)
- Shore (fr)
|
| prop-fr:numéroD'édition
| |
| prop-fr:pages
|
- 121 (xsd:integer)
- 169 (xsd:integer)
- 275 (xsd:integer)
|
| prop-fr:pagesTotales
| |
| prop-fr:prénom
|
- George (fr)
- Richard (fr)
- John P. (fr)
- Richard C. (fr)
- Andrey (fr)
- Stephen G. (fr)
- George (fr)
- Richard (fr)
- John P. (fr)
- Richard C. (fr)
- Andrey (fr)
- Stephen G. (fr)
|
| prop-fr:series
|
- Contemporary Mathematics (fr)
- Studies in Logic and the Foundations of Mathematics (fr)
- Contemporary Mathematics (fr)
- Studies in Logic and the Foundations of Mathematics (fr)
|
| prop-fr:titre
|
- Computability and logic (fr)
- Handbook of Computability Theory (fr)
- Logic and algebra (fr)
- First-order theory of the degrees of recursive unsolvability (fr)
- Computability and logic (fr)
- Handbook of Computability Theory (fr)
- Logic and algebra (fr)
- First-order theory of the degrees of recursive unsolvability (fr)
|
| prop-fr:titreChapitre
|
- On order-types of models of arithmetic (fr)
- The recursively enumerable degrees (fr)
- On order-types of models of arithmetic (fr)
- The recursively enumerable degrees (fr)
|
| prop-fr:volume
|
- 105 (xsd:integer)
- 140 (xsd:integer)
- 302 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- American Mathematical Society (fr)
- Cambridge University Press (fr)
- Annals of Mathematics (fr)
- North-Holland (fr)
- American Mathematical Society (fr)
- Cambridge University Press (fr)
- Annals of Mathematics (fr)
- North-Holland (fr)
|
| dct:subject
| |
| 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 Peano de 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 à différente théorie des entiers naturels avec multiplication[pas clair]. (fr)
- 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 Peano de 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 à différente théorie des entiers naturels avec multiplication[pas clair]. (fr)
|
| rdfs:label
|
- Arithmétique vraie (fr)
- 真の算術 (ja)
- Arithmétique vraie (fr)
- 真の算術 (ja)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |