dc.date.accessioned | 2020-05-17T18:10:33Z | |
dc.date.available | 2020-05-17T18:10:33Z | |
dc.date.created | 2020-01-04T11:08:21Z | |
dc.date.issued | 2019 | |
dc.identifier.citation | Normann, Dag Sanders, Sam . Computability theory, nonstandard analysis, and their connections. Journal of Symbolic Logic (JSL). 2019, 84(4), 1422-1465 | |
dc.identifier.uri | http://hdl.handle.net/10852/75844 | |
dc.language | EN | |
dc.title | Computability theory, nonstandard analysis, and their connections | |
dc.type | Journal article | |
dc.creator.author | Normann, Dag | |
dc.creator.author | Sanders, Sam | |
cristin.unitcode | 185,15,13,65 | |
cristin.unitname | Flere komplekse variable, logikk og operatoralgebraer | |
cristin.ispublished | true | |
cristin.qualitycode | 2 | |
dc.identifier.cristin | 1766214 | |
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=Journal of Symbolic Logic (JSL)&rft.volume=84&rft.spage=1422&rft.date=2019 | |
dc.identifier.jtitle | Journal of Symbolic Logic (JSL) | |
dc.identifier.volume | 84 | |
dc.identifier.issue | 4 | |
dc.identifier.startpage | 1422 | |
dc.identifier.endpage | 1465 | |
dc.identifier.doi | https://doi.org/10.1017/jsl.2019.69 | |
dc.identifier.urn | URN:NBN:no-78942 | |
dc.type.document | Tidsskriftartikkel | |
dc.type.peerreviewed | Peer reviewed | |
dc.source.issn | 0022-4812 | |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/75844/2/S0022481219000690_rev3.pdf | |
dc.type.version | AcceptedVersion | |