Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Tennenbaum's_theorem> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Tennenbaum's_theorem abstract "Tennenbaum's theorem, named for Stanley Tennenbaum who presented the theorem in 1959, is a result in mathematical logic that states that no countable nonstandard model of Peano arithmetic (PA) can be recursive.".
- Tennenbaum's_theorem wikiPageExternalLink tennenbaum.pdf.
- Tennenbaum's_theorem wikiPageID "13392068".
- Tennenbaum's_theorem wikiPageRevisionID "593137661".
- Tennenbaum's_theorem hasPhotoCollection Tennenbaum's_theorem.
- Tennenbaum's_theorem subject Category:Model_theory.
- Tennenbaum's_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Tennenbaum's_theorem type Abstraction100002137.
- Tennenbaum's_theorem type Communication100033020.
- Tennenbaum's_theorem type Message106598915.
- Tennenbaum's_theorem type Proposition106750804.
- Tennenbaum's_theorem type Statement106722453.
- Tennenbaum's_theorem type Theorem106752293.
- Tennenbaum's_theorem type TheoremsInTheFoundationsOfMathematics.
- Tennenbaum's_theorem comment "Tennenbaum's theorem, named for Stanley Tennenbaum who presented the theorem in 1959, is a result in mathematical logic that states that no countable nonstandard model of Peano arithmetic (PA) can be recursive.".
- Tennenbaum's_theorem label "Satz von Tennenbaum".
- Tennenbaum's_theorem label "Tennenbaum's theorem".
- Tennenbaum's_theorem sameAs Satz_von_Tennenbaum.
- Tennenbaum's_theorem sameAs m.03c3ts8.
- Tennenbaum's_theorem sameAs Q2226803.
- Tennenbaum's_theorem sameAs Q2226803.
- Tennenbaum's_theorem sameAs Tennenbaum's_theorem.
- Tennenbaum's_theorem wasDerivedFrom Tennenbaum's_theorem?oldid=593137661.
- Tennenbaum's_theorem isPrimaryTopicOf Tennenbaum's_theorem.