A note on undecidable extensions of monadic second order successor arithmetic.
Thomas, Wolfgang
Archiv für mathematische Logik und Grundlagenforschung, Tome 17 (1975), p. 43-44 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1975-01-01
EUDML-ID : urn:eudml:doc:137902 
@article{GDZPPN00204451X,
     title = {A note on undecidable extensions of monadic second order successor arithmetic.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {17},
     year = {1975},
     pages = {43-44},
     zbl = {0325.02032},
     url = {http://dml.mathdoc.fr/item/GDZPPN00204451X}
}

Thomas, Wolfgang. A note on undecidable extensions of monadic second order successor arithmetic.. Archiv für mathematische Logik und Grundlagenforschung, Tome 17 (1975) pp. 43-44. http://gdmltest.u-ga.fr/item/GDZPPN00204451X/