# Some diophantine forms of Gödel's theorem.

Archiv für mathematische Logik und Grundlagenforschung (1982)

- Volume: 22, page 51-60
- ISSN: 0003-9268

## Access Full Article

top## How to cite

topDyson, V.H., and Jones, J.P.. "Some diophantine forms of Gödel's theorem.." Archiv für mathematische Logik und Grundlagenforschung 22 (1982): 51-60. <http://eudml.org/doc/137991>.

@article{Dyson1982,

author = {Dyson, V.H., Jones, J.P.},

journal = {Archiv für mathematische Logik und Grundlagenforschung},

keywords = {omega-consistency; Goedel's incompleteness theorem; Matijasevich's diophantine representation of recursively enumerable sets; undecidable diophantine sentences; Robinson's system Q; formally decidable diophantine sentences; almost-diophantine sentences},

pages = {51-60},

title = {Some diophantine forms of Gödel's theorem.},

url = {http://eudml.org/doc/137991},

volume = {22},

year = {1982},

}

TY - JOUR

AU - Dyson, V.H.

AU - Jones, J.P.

TI - Some diophantine forms of Gödel's theorem.

JO - Archiv für mathematische Logik und Grundlagenforschung

PY - 1982

VL - 22

SP - 51

EP - 60

KW - omega-consistency; Goedel's incompleteness theorem; Matijasevich's diophantine representation of recursively enumerable sets; undecidable diophantine sentences; Robinson's system Q; formally decidable diophantine sentences; almost-diophantine sentences

UR - http://eudml.org/doc/137991

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.