[L4] _________________________ AMAST Links 02 07

Update to (and correction of) Complexity Doctrines

Update of information in [AL0206L8] .

The full version of this information is available.

James Otto has made available an update and correction of his thesis Complexity Doctrines via a note .

The note

1. points out an (annoying) error (of ours) in background material on Gödel's system T, and thus poses a question,
2. improves the definition of tier 0,
3. improves the definition (and name) of sketches theories,
4. reduces presheaves to (Makkai) sketches, and
5. proposes a definition of resolutions.