Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
scientific article; zbMATH DE number 7921877
scientific article