SamEisenstat(Sam Eisenstat)

Reflec­tive or­a­cles as a solu­tion to the con­verse Law­vere problem

Iter­a­tion Fixed Point Exercises

Di­ag­o­nal­iza­tion Fixed Point Exercises

Topolog­i­cal Fixed Point Exercises

Log­i­cal in­duc­tor limits are dense un­der poin­t­wise convergence

A Coun­terex­am­ple to an In­for­mal Con­jec­ture on Proof Length and Log­i­cal Counterfactuals