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