{"id":296,"date":"2015-05-18T16:21:05","date_gmt":"2015-05-18T14:21:05","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/tacl\/?p=296"},"modified":"2015-10-23T14:11:13","modified_gmt":"2015-10-23T12:11:13","slug":"tacl-school-course-by-brian-davey","status":"publish","type":"post","link":"http:\/\/logica.dipmat.unisa.it\/tacl\/tacl-school-course-by-brian-davey\/","title":{"rendered":"TACL school: course by Brian Davey"},"content":{"rendered":"

\"Warwick<\/a><\/p>\n

Title of the course<\/strong>:\u00a0\u201cAn invitation to natural dualities in general and Priestley duality in particular\u201d<\/p>\n

Course description<\/strong>:\u00a0“I will assume that participants have a basic knowledge of universal algebra and lattice theory. The course will commence with a discussion of Birkhoff’s Representation for Finite Distributive Lattices (as the lattice of down-sets of a finite ordered set) and work from there to Priestley duality for bounded distributive lattices. Priestley duality will be the stepping off point for an introduction to the theory of Natural Dualities. Applications to Heyting algebras and Ockham algebras will be used to illustrate the theory.<\/p>\n

Course material:<\/strong><\/p>\n

A reference for the course<\/a>.<\/div>\n
<\/div>\n
Lecture 1 beamer.<\/a><\/div>\n
Lecture 1 handout for printing.<\/a><\/div>\n
Lecture 1 video
\nhttp:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/video\/Davey-lecture-1.mp4<\/a><\/video><\/div><\/p>\n<\/div>\n
\n
<\/div>\n
Lecture 2 beamer.<\/a><\/div>\n
Lecture 2 handout for printing.<\/a><\/div>\n
Lecture 2 video<\/div>\n
\n
http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/video\/Davey-lecture-2.mp4<\/a><\/video><\/div>\n<\/div>\n
<\/div>\n
Lecture 3 beamer.<\/a><\/div>\n
Lecture 3 handout for printing.<\/a><\/div>\n
Lecture 3 video<\/div>\n
\n
http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/video\/Davey-lecture-3.mp4<\/a><\/video><\/div>\n<\/div>\n
<\/div>\n
\n
Lecture 4\u00a0beamer.<\/a><\/div>\n
Lecture 4\u00a0handout for printing.<\/a><\/div>\n
\n
Lecture 4\u00a0full paper<\/a>.<\/div>\n
Lecture 4 video<\/div>\n
\n
http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/video\/Davey-lecture-4.mp4<\/a><\/video><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

Title of the course:\u00a0\u201cAn invitation to natural dualities in general and Priestley duality in particular\u201d Course description:\u00a0“I will assume that participants have a basic knowledge of universal algebra and lattice theory. The course will commence with a discussion of Birkhoff’s Representation for Finite Distributive Lattices (as the lattice of down-sets of a finite ordered set) […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8,7],"tags":[],"class_list":["post-296","post","type-post","status-publish","format-standard","hentry","category-course-descriptions","category-tacl-school"],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/posts\/296","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/comments?post=296"}],"version-history":[{"count":7,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/posts\/296\/revisions"}],"predecessor-version":[{"id":578,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/posts\/296\/revisions\/578"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/media?parent=296"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/categories?post=296"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/tags?post=296"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}