Nested Data, Interpolation, and Synthesis

This talk will be about nested sets — basically, finite levels of the cumulative hierarchy in set theory. The first part of the presentation will review some languages proposed for defining transformations on nested sets from a few decades ago. The next part will go into some connections of these languages with interpretations, interpolation, and intuitionistic logic, based on joint work with Pierre Pradic.

Authors

• Michael Benedikt

Keywords

No keywords are indexed for this paper.