Constructivity, computability, and the continuum. Beeson, M. In Essays on the Foundations of Mathematics and Logic, volume 2. Polimetrica, Milan, 2005.
Pdf bibtex @incollection{beeson2005,
address = {Milan},
author = {Michael Beeson},
booktitle = {Essays on the Foundations of Mathematics and Logic},
date-added = {2014-11-13 23:09:07 +0000},
date-modified = {2014-11-14 18:16:21 +0000},
keywords = {Logic, Constructive mathematics},
publisher = {Polimetrica},
title = {Constructivity, computability, and the continuum},
url_pdf = {ccc.pdf},
volume = {2},
year = {2005}}
Downloads: 0
{"_id":"Hz9MmeAPyf4SZuxWK","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-constructivitycomputabilityandthecontinuum-2005","bibdata":{"bibtype":"incollection","type":"incollection","address":"Milan","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Essays on the Foundations of Mathematics and Logic","date-added":"2014-11-13 23:09:07 +0000","date-modified":"2014-11-14 18:16:21 +0000","keywords":"Logic, Constructive mathematics","publisher":"Polimetrica","title":"Constructivity, computability, and the continuum","url_pdf":"ccc.pdf","volume":"2","year":"2005","bibtex":"@incollection{beeson2005,\n\taddress = {Milan},\n\tauthor = {Michael Beeson},\n\tbooktitle = {Essays on the Foundations of Mathematics and Logic},\n\tdate-added = {2014-11-13 23:09:07 +0000},\n\tdate-modified = {2014-11-14 18:16:21 +0000},\n\tkeywords = {Logic, Constructive mathematics},\n\tpublisher = {Polimetrica},\n\ttitle = {Constructivity, computability, and the continuum},\n\turl_pdf = {ccc.pdf},\n\tvolume = {2},\n\tyear = {2005}}\n\n","author_short":["Beeson, M."],"key":"beeson2005","id":"beeson2005","bibbaseid":"beeson-constructivitycomputabilityandthecontinuum-2005","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/ccc.pdf"},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"incollection","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:50.042Z","downloads":4,"keywords":["logic","constructive mathematics"],"search_terms":["constructivity","computability","continuum","beeson"],"title":"Constructivity, computability, and the continuum","year":2005,"dataSources":["v9esbf6gQ8h64d3NA"]}