Seminar
| Parent Program: | |
|---|---|
| Location: | SLMath: Baker Board Room |
Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification
No Primary AMS MSC
Secondary Mathematics Subject Classification
No Secondary AMS MSC
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