Some theories conservative over intuitionistic arithmetic. Beeson, M. In *Logic and Computation*, volume 106, of *Contemporary Mathematics*. American Mathematical Society, Providence, R. I., 1987. bibtex @incollection{beeson1987,
address = {Providence, R.~I.},
author = {Michael Beeson},
booktitle = {Logic and Computation},
date-added = {2014-11-14 21:43:00 +0000},
date-modified = {2014-11-14 21:44:29 +0000},
keywords = {Logic, Constructive mathematics},
publisher = {American Mathematical Society},
series = {Contemporary Mathematics},
title = {Some theories conservative over intuitionistic arithmetic},
volume = {106},
year = {1987}}

Downloads: 0

{"_id":"42ShRM2w3HQ5Rec2p","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-sometheoriesconservativeoverintuitionisticarithmetic-1987","bibdata":{"bibtype":"incollection","type":"incollection","address":"Providence, R. I.","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Logic and Computation","date-added":"2014-11-14 21:43:00 +0000","date-modified":"2014-11-14 21:44:29 +0000","keywords":"Logic, Constructive mathematics","publisher":"American Mathematical Society","series":"Contemporary Mathematics","title":"Some theories conservative over intuitionistic arithmetic","volume":"106","year":"1987","bibtex":"@incollection{beeson1987,\n\taddress = {Providence, R.~I.},\n\tauthor = {Michael Beeson},\n\tbooktitle = {Logic and Computation},\n\tdate-added = {2014-11-14 21:43:00 +0000},\n\tdate-modified = {2014-11-14 21:44:29 +0000},\n\tkeywords = {Logic, Constructive mathematics},\n\tpublisher = {American Mathematical Society},\n\tseries = {Contemporary Mathematics},\n\ttitle = {Some theories conservative over intuitionistic arithmetic},\n\tvolume = {106},\n\tyear = {1987}}\n\n","author_short":["Beeson, M."],"key":"beeson1987","id":"beeson1987","bibbaseid":"beeson-sometheoriesconservativeoverintuitionisticarithmetic-1987","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{"beeson, m":"https://www.michaelbeeson.com/research/papers/pubs.php"}},"downloads":0,"html":""},"bibtype":"incollection","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T22:07:22.821Z","downloads":0,"keywords":["logic","constructive mathematics"],"search_terms":["theories","conservative","over","intuitionistic","arithmetic","beeson"],"title":"Some theories conservative over intuitionistic arithmetic","year":1987,"dataSources":["v9esbf6gQ8h64d3NA"]}