A Normalizing Intuitionistic Set Theory with Inaccessible Sets

Published Version: http://arxiv.org/PS_cache/arxiv/pdf/0707/0707.1981v3.pdf

Previous Version: Cornell Digital Repository: http://ecommons.library.cornell.edu/handle/1813/5723

unofficial copies [PDF],

by Wojciech Moczydlowski

Cornell University Technical Report 2006-2051.

Abstract