Finn Lawler HomePage (Rev #4, changes)

Showing changes from revision #3 to #4: Added | Removed | Changed

This is the personal web of Finn Lawler within the nLab.

Please feel free to leave a comment on anything you find here. Here is how to do it. You can also add a comment onthis nForum thread.

Here is a list of stuff I’m planning to work on here:

My Thesis:

  • realizability?

  • logical predicate?

  • reducibility candidate?

Other Stuff (possibly for use in thesis, possibly not):

Just so I don’t forget, here’s a couple of papers that I want to understand:

  • Applegate–Tierney, Categories with models, LNM 80

  • Kennison–Gildenhuys, Equational completion, model-induced triples and pro-objects, JPAA 1(4)

including their relationship with shape theory and some stuff on pro- and ind-objects in chapter six of Stone Spaces.

Revision on January 20, 2011 at 20:13:50 by Finn Lawler?. See the history of this page for a list of all contributions to it.