Continuity in intuitionistic set theories. Beeson, M. In M.~Boffa, van Dalen, D., D.~Lascar, & J.~Smiley, editors, Logic Colloquium '78, Amsterdam, 1979. North-Holland. bibtex @inproceedings{beeson1979b,
address = {Amsterdam},
author = {Michael Beeson},
booktitle = {Logic Colloquium '78},
date-added = {2014-11-14 17:14:38 +0000},
date-modified = {2014-11-14 18:10:55 +0000},
editor = {M.~Boffa and Dirk van Dalen and D.~Lascar and J.~Smiley},
keywords = {Logic, Constructive mathematics},
publisher = {North-Holland},
title = {Continuity in intuitionistic set theories},
year = {1979}}
Downloads: 0
{"_id":"BGwW3cardNWB9amZr","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-continuityinintuitionisticsettheories-1979","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Amsterdam","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Logic Colloquium '78","date-added":"2014-11-14 17:14:38 +0000","date-modified":"2014-11-14 18:10:55 +0000","editor":[{"firstnames":[],"propositions":[],"lastnames":["M.~Boffa"],"suffixes":[]},{"firstnames":["Dirk"],"propositions":["van"],"lastnames":["Dalen"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["D.~Lascar"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["J.~Smiley"],"suffixes":[]}],"keywords":"Logic, Constructive mathematics","publisher":"North-Holland","title":"Continuity in intuitionistic set theories","year":"1979","bibtex":"@inproceedings{beeson1979b,\n\taddress = {Amsterdam},\n\tauthor = {Michael Beeson},\n\tbooktitle = {Logic Colloquium '78},\n\tdate-added = {2014-11-14 17:14:38 +0000},\n\tdate-modified = {2014-11-14 18:10:55 +0000},\n\teditor = {M.~Boffa and Dirk van Dalen and D.~Lascar and J.~Smiley},\n\tkeywords = {Logic, Constructive mathematics},\n\tpublisher = {North-Holland},\n\ttitle = {Continuity in intuitionistic set theories},\n\tyear = {1979}}\n\n","author_short":["Beeson, M."],"editor_short":["M.~Boffa","van Dalen, D.","D.~Lascar","J.~Smiley"],"key":"beeson1979b","id":"beeson1979b","bibbaseid":"beeson-continuityinintuitionisticsettheories-1979","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:49.916Z","downloads":0,"keywords":["logic","constructive mathematics"],"search_terms":["continuity","intuitionistic","set","theories","beeson"],"title":"Continuity in intuitionistic set theories","year":1979,"dataSources":["v9esbf6gQ8h64d3NA"]}