On logical parameterizations and functional representability in local set theories

Abstract: Local set theories might lack sufficient terms to represent all syntactic functions. A procedure is presented to remedy that. Its approach makes explicit the extent to which syntactic bijections serve as logical parameterizations in this setting. Furthermore, a category-theoretical framework is provided for these parameterizations in the presence of a Nullstellensatz.

This page was built for publication: On logical parameterizations and functional representability in local set theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6504453)