@article{beeson1982a,
	author = {Michael Beeson},
	date-added = {2014-11-14 16:55:21 +0000},
	date-modified = {2014-11-14 18:11:32 +0000},
	journal = {Annals of Mathematical Logic},
	keywords = {Logic, Constructive mathematics, Proof theory},
	pages = {127-178},
	title = {Recursive models for constructive set theories},
	volume = {23},
	year = {1982}}

{"_id":"4ggAeT3ymw2u5Bcna","bibbaseid":"beeson-recursivemodelsforconstructivesettheories-1982","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-14 16:55:21 +0000","date-modified":"2014-11-14 18:11:32 +0000","journal":"Annals of Mathematical Logic","keywords":"Logic, Constructive mathematics, Proof theory","pages":"127-178","title":"Recursive models for constructive set theories","volume":"23","year":"1982","bibtex":"@article{beeson1982a,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-14 16:55:21 +0000},\n\tdate-modified = {2014-11-14 18:11:32 +0000},\n\tjournal = {Annals of Mathematical Logic},\n\tkeywords = {Logic, Constructive mathematics, Proof theory},\n\tpages = {127-178},\n\ttitle = {Recursive models for constructive set theories},\n\tvolume = {23},\n\tyear = {1982}}\n\n","author_short":["Beeson, M."],"key":"beeson1982a","id":"beeson1982a","bibbaseid":"beeson-recursivemodelsforconstructivesettheories-1982","role":"author","urls":{},"keyword":["Logic","Constructive mathematics","Proof theory"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","constructive mathematics","proof theory"],"search_terms":["recursive","models","constructive","set","theories","beeson"],"title":"Recursive models for constructive set theories","year":1982}