Understanding uniformity in Feferman's explicit mathematics
The aim of the paper is to make clear the role of uniformity in explicit mathematics, with particular regard to Feferman's axiom systems. The properties of some systems for explicit mathematics without uniformity are analyzed. In particular it is shown that the join axiom collapses in the absence of uniformity.
scientific article; zbMATH DE number 802550
scientific article