Church's thesis, continuity, and set theory. Beeson, M. & Scedrov, A. Journal of Symbolic Logic, 49:273-308, 1984. bibtex @article{beeson1984-scedrov,
author = {Michael Beeson and Andre Scedrov},
date-added = {2014-11-14 16:53:41 +0000},
date-modified = {2014-11-14 18:11:38 +0000},
journal = {Journal of Symbolic Logic},
keywords = {Logic, Constructive mathematics},
pages = {273-308},
title = {Church's thesis, continuity, and set theory},
volume = {49},
year = {1984}}
Downloads: 0
{"_id":"8YQ2keD6cDACEe7SA","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M.","Scedrov, A."],"bibbaseid":"beeson-scedrov-churchsthesiscontinuityandsettheory-1984","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]},{"firstnames":["Andre"],"propositions":[],"lastnames":["Scedrov"],"suffixes":[]}],"date-added":"2014-11-14 16:53:41 +0000","date-modified":"2014-11-14 18:11:38 +0000","journal":"Journal of Symbolic Logic","keywords":"Logic, Constructive mathematics","pages":"273-308","title":"Church's thesis, continuity, and set theory","volume":"49","year":"1984","bibtex":"@article{beeson1984-scedrov,\n\tauthor = {Michael Beeson and Andre Scedrov},\n\tdate-added = {2014-11-14 16:53:41 +0000},\n\tdate-modified = {2014-11-14 18:11:38 +0000},\n\tjournal = {Journal of Symbolic Logic},\n\tkeywords = {Logic, Constructive mathematics},\n\tpages = {273-308},\n\ttitle = {Church's thesis, continuity, and set theory},\n\tvolume = {49},\n\tyear = {1984}}\n\n","author_short":["Beeson, M.","Scedrov, A."],"key":"beeson1984-scedrov","id":"beeson1984-scedrov","bibbaseid":"beeson-scedrov-churchsthesiscontinuityandsettheory-1984","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:49.964Z","downloads":0,"keywords":["logic","constructive mathematics"],"search_terms":["church","thesis","continuity","set","theory","beeson","scedrov"],"title":"Church's thesis, continuity, and set theory","year":1984,"dataSources":["v9esbf6gQ8h64d3NA"]}