Henrik Forssel: Constructive completeness (continued)
Time: Wed 2015-03-11 10.00 - 11.45
Location: Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm University
Participating: Henrik Forssel, Department of Mathematics, Stockholm University
We give an analysis of some long-established constructive completeness results in terms of categorical logic and pre-sheaf and sheaf semantics, and add some new results in this area which flow from the analysis. Several completeness theorems are derived without the assumption that equality of non-logical symbols in the language can be decided.
This is joint work with Christian Espíndola. The talk summarizes and continues some of the previous presentations by Espíndola and Forssell on the subject.