Re: Notes on “Analysis of Boolean Functi ons” by Ryan O'Donnell

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

ABF.  Note 2

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Re: “Analysis of Boolean Functions” by Ryan O'Donnell
At: http://www.contrib.andrew.cmu.edu/~ryanod/

Re: §3.3. Restrictions
At: http://www.contrib.andrew.cmu.edu/~ryanod/?p=560

The class of dimension-reducing operations that includes projections, restrictions, and sections has its opposite number 
in the class of dimension-increasing operations that are known collectively as ''extensions''. In particular, the 
differential extensions that we study in differential logic are just a special case of these.

I had some remarks on extensions that I thought might be useful here, but I got bogged down in the problems of 
translating between notations.  While I work on that, here's a link to a related discussion:

Differential Logic and Dynamic Systems : Tacit Extensions
http://www.mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0#Tacit_Extensions

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

facebook page: https://www.facebook.com/JonnyCache
inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol profile: http://knol.google.com/k/Jon-Awbrey#
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
polmic: www.policymic.com/profiles/1110/Jon-Awbrey