dc.date.accessioned | 2020-08-11T19:13:11Z | |
dc.date.available | 2021-06-24T22:45:44Z | |
dc.date.created | 2020-03-21T05:19:35Z | |
dc.date.issued | 2020 | |
dc.identifier.citation | Kristiansen, Lars Murwanashyaka, Juvenal . On Interpretability between some weak essential undecidable theories.. Lecture Notes in Computer Science (LNCS). 2020 | |
dc.identifier.uri | http://hdl.handle.net/10852/78279 | |
dc.description.abstract | We introduce two essentially undecidable first-order theories WT and T. The intended model for the theories is a term model. We prove that WT is mutually interpretable with Robinson’s R. Moreover, we prove that Robinson’s Q is interpretable in T. | en_US |
dc.language | EN | |
dc.title | On Interpretability between some weak essential undecidable theories. | en_US |
dc.type | Journal article | en_US |
dc.creator.author | Kristiansen, Lars | |
dc.creator.author | Murwanashyaka, Juvenal | |
cristin.unitcode | 185,15,13,0 | |
cristin.unitname | Matematisk institutt | |
cristin.ispublished | false | |
cristin.fulltext | postprint | |
cristin.qualitycode | 1 | |
dc.identifier.cristin | 1802755 | |
dc.identifier.bibliographiccitation | info:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Lecture Notes in Computer Science (LNCS)&rft.volume=&rft.spage=&rft.date=2020 | |
dc.identifier.jtitle | Lecture Notes in Computer Science (LNCS) | |
dc.identifier.startpage | 63 | |
dc.identifier.endpage | 74 | |
dc.identifier.doi | https://doi.org/10.1007/978-3-030-51466-2_6 | |
dc.identifier.urn | URN:NBN:no-81378 | |
dc.type.document | Tidsskriftartikkel | en_US |
dc.type.peerreviewed | Peer reviewed | |
dc.source.issn | 0302-9743 | |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/78279/2/dcie20.pdf | |
dc.type.version | AcceptedVersion | |