dc.date.accessioned | 2022-08-02T16:33:00Z | |
dc.date.available | 2023-06-26T22:45:54Z | |
dc.date.created | 2022-07-02T16:12:25Z | |
dc.date.issued | 2022 | |
dc.identifier.citation | Murwanashyaka, Juvenal . Weak Sequential Theories of Finite Full Binary Trees. Revolutions and Revelations in Computability -18th Conference on Computability in Europe, CiE 2022 Swansea, UK, July 11–15, 2022 Proceedings. 2022, 208-219 Springer Nature | |
dc.identifier.uri | http://hdl.handle.net/10852/94700 | |
dc.description.abstract | We study a first-order theory of finite full binary trees with an axiom schema of open induction. We show that this theory is sequential by constructing a direct interpretation of Adjunctive Set Theory in a very weak finitely axiomatized subtheory. We show that weakening the latter theory by removal of an axiom which states that the subtree relation is transitive gives a theory that directly interprets Vaught’s weak set theory, a non-finitely axiomatizable fragment of Adjunctive Set Theory. | |
dc.language | EN | |
dc.relation.ispartof | Lecture Notes in Computer Science (LNCS) | |
dc.relation.ispartofseries | Lecture Notes in Computer Science (LNCS) | |
dc.title | Weak Sequential Theories of Finite Full Binary Trees | |
dc.title.alternative | ENEngelskEnglishWeak Sequential Theories of Finite Full Binary Trees | |
dc.type | Chapter | |
dc.creator.author | Murwanashyaka, Juvenal | |
cristin.unitcode | 185,15,13,65 | |
cristin.unitname | Analyse og logikk | |
cristin.ispublished | true | |
cristin.fulltext | postprint | |
cristin.qualitycode | 1 | |
dc.identifier.cristin | 2088510 | |
dc.identifier.bibliographiccitation | info:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.btitle=Revolutions and Revelations in Computability -18th Conference on Computability in Europe, CiE 2022 Swansea, UK, July 11–15, 2022 Proceedings&rft.spage=208&rft.date=2022 | |
dc.identifier.startpage | 208 | |
dc.identifier.endpage | 219 | |
dc.identifier.doi | https://doi.org/10.1007/978-3-031-08740-0_18 | |
dc.identifier.urn | URN:NBN:no-97237 | |
dc.type.document | Bokkapittel | |
dc.type.peerreviewed | Peer reviewed | |
dc.source.issn | 0302-9743 | |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/94700/1/Murwanashyaka_WeakSequentialTheories.pdf | |
dc.type.version | AcceptedVersion | |
cristin.btitle | Revolutions and Revelations in Computability -18th Conference on Computability in Europe, CiE 2022 Swansea, UK, July 11–15, 2022 Proceedings | |