Show simple item record

dc.contributor.advisorThis is a pre-copyedited, author-produced version of an article accepted for publication in The Journal of Symbolic Logic following peer review.
dc.contributor.authorOliva, Pen_US
dc.contributor.authorSteila, Sen_US
dc.date.accessioned2017-04-06T13:47:17Z
dc.date.available2017-03-29en_US
dc.date.issued2018-03en_US
dc.date.submitted2017-03-31T20:48:50.615Z
dc.identifier.issn0022-4812en_US
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/22422
dc.format.extent70 - 83en_US
dc.relation.ispartofJOURNAL OF SYMBOLIC LOGICen_US
dc.subjectSpector's bar recursionen_US
dc.subjectSchwichtenberg's closure theoremen_US
dc.subjectlogical relationsen_US
dc.subjectgeneral bar recursionen_US
dc.subjectSystem Ten_US
dc.titleA DIRECT PROOF OF SCHWICHTENBERG'S BAR RECURSION CLOSURE THEOREMen_US
dc.typeArticle
dc.rights.holder© Association for Symbolic Logic
dc.identifier.doi10.1017/jsl.2017.33en_US
pubs.author-urlhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000431290300006&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6aen_US
pubs.issue1en_US
pubs.notesNot knownen_US
pubs.publication-statusPublisheden_US
pubs.volume83en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record