About

Welcome to unwanted capture!

This is a group blog by some students affiliated with this department. The term “unwanted capture” is sometimes used to refer to the improper combination of bound variables in unfortunate syntactical constructions such as . Our choice of name for the blog is not meant to suggest a recklessly cavalier attitude, but it is meant to indicate that this is a sandbox for potentially rough and unpolished ideas. We hope you will join us with that in mind.

Everyone is welcome to register on the site as a subscriber. You don’t need to register in order to make a comment, but registering makes the CAPTCHA images go away. A note on using in the comments: it’s like normal, except you use double dollar signs to wrap your source, as in $$ 0\ne 1 $$ in order to render . And to make offset equations, use an exclamation mark like so: $$! PA\not\vdash\mathrm{Con}_{PA} $$ to get

Please send any inquiries about the blog to Edward Dean.