Recursive models for constructive set theories. Beeson, M. *Annals of Mathematical Logic*, 23:127-178, 1982. bibtex @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}}

Downloads: 0

{"_id":"DMc4gcRf2EMRMwWTJ","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-recursivemodelsforconstructivesettheories-1982","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":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:49.962Z","downloads":0,"keywords":["logic","constructive mathematics","proof theory"],"search_terms":["recursive","models","constructive","set","theories","beeson"],"title":"Recursive models for constructive set theories","year":1982,"dataSources":["v9esbf6gQ8h64d3NA"]}