Toggle navigation
English
Norsk
Norsk
English
Norsk
Administrasjon
Toggle navigation
Vis innførsel
Hjem
Øvrige samlinger
Høstingsarkiver
CRIStin høstingsarkiv
Vis innførsel
Hjem
Øvrige samlinger
Høstingsarkiver
CRIStin høstingsarkiv
Vis innførsel
JavaScript is disabled for your browser. Some features of this site may not work without it.
There are no minimal essentially undecidable theories
Murwanashyaka, Juvenal
;
Pakhomov, Fedor
;
Visser, Albert
Journal article
; PublishedVersion
; Peer reviewed
Åpne
There+are+no+mi ... +undecidable+theories+.pdf (333.9Kb)
År
2023
CRIStin
2135911
Metadata
Vis metadata
Finnes i følgende samling
Matematisk institutt
[3781]
CRIStin høstingsarkiv
[31446]
Originalversjon
Journal of Logic and Computation. 2023,
DOI: https://doi.org/10.1093/logcom/exad005
Sammendrag
Abstract We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.
Dette verket har følgende lisens: Attribution 4.0 International
Søk i hele DUO
Kun denne samlingen
For studenter / ansatte
Levere masteroppgave
Tilgang til lukket materiale
Bla i:
Alle enheter
Enheter og samlinger
Dato
Forfatter
Tittel
Denne samlingen
Dato
Forfatter
Tittel
For bibliotekansatte
Logg inn
RSS