Understanding the justification for Troelstra's Uniformity Principle
Posted by aidangallagher4, at math.stackexchange.com,
I'm trying to understand Troelstra's uniformity principle (UP), as laid out in McCarty's article ''Intuitionism in Mathematics'…