Typical ambiguity and elementary equival
β
Daniel Dzierzgowski
π
Article
π
1993
π
John Wiley and Sons
π
English
β 577 KB
## Abstract A sentence of the usual language of set theory is said to be __stratified__ if it is obtained by βerasingβ type indices in a sentence of the language of Russell's Simple Theory of Types. In this paper we give an alternative presentation of a proof the __ambiguity theorem__ stating that