Reflection principles for synthetic theories of smooth manifolds
scientific article; zbMATH DE number 1124730
scientific article