Logo

Mathematical Sciences Research Institute

Home » DDC2 Reading Group Seminar: The Composition Lemma

Seminar

DDC2 Reading Group Seminar: The Composition Lemma August 08, 2022 (11:00 AM PDT - 12:00 PM PDT)
Parent Program:
Location: MSRI: Baker Board Room
Speaker(s) Wesley Calvert (Southern Illinois University)
Description No Description
Video
No Video Uploaded
Abstract/Media

In this talk we will prove that composing a dependent formula with binary functions results in a 2-dependent formula. This proof relies on a characterization of 2-dependence by a type-counting criterion.

No Notes/Supplements Uploaded No Video Files Uploaded