{"_id":"mw99LrcwXBMwtFS3R","bibbaseid":"beeson-theunprovabilityinintuitionisticformalsystemsofthecontinuityofeffectiveoperationsonthereals-1976","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-14 17:08:25 +0000","date-modified":"2014-11-14 18:09:41 +0000","journal":"Journal of Symbolic Logic","keywords":"Logic, Constructive mathematics","pages":"28-24","title":"The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals","volume":"41","year":"1976","bibtex":"@article{beeson1976b,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-14 17:08:25 +0000},\n\tdate-modified = {2014-11-14 18:09:41 +0000},\n\tjournal = {Journal of Symbolic Logic},\n\tkeywords = {Logic, Constructive mathematics},\n\tpages = {28-24},\n\ttitle = {The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals},\n\tvolume = {41},\n\tyear = {1976}}\n\n","author_short":["Beeson, M."],"key":"beeson1976b","id":"beeson1976b","bibbaseid":"beeson-theunprovabilityinintuitionisticformalsystemsofthecontinuityofeffectiveoperationsonthereals-1976","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","constructive mathematics"],"search_terms":["unprovability","intuitionistic","formal","systems","continuity","effective","operations","reals","beeson"],"title":"The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals","year":1976}