"Algebras for Quantification, Substitution and Naming" Seminar WebpagePlease note: due to holiday period and absences of participants, seminar is suspended until
Future and past seminarsSeminar programme
Seminar detailsThree-day seminar on nominal sets, Nominal Algebra and nominal techniques The local team and our special guests: dr Vincenzo Ciancia and dr Murdoch "Jamie" Gabbay Cylindric and polyadic algebras IV: bridging the gap Dr Tadeusz Litak (University of Leicester) The full impact of non-axiomatizability and non-representability theorems. Are some restricted positive results available? Cylindric and polyadic algebras III: "one-and-a-halfth-order" logic? Dr Tadeusz Litak (University of Leicester) "Logic of schemes": what does it mean that cylindric algebras and related classes "algebraize FOL"? Cylindric and polyadic algebras II: abstract algebras Dr Tadeusz Litak (University of Leicester) Abstract axiomatic classes. Constructing polyadic equality algebras (FPEA's or QPEA's) out of cylindric algebras: MGR (merry-go-round) identities and neat reducts. Weak and strong representation results. See the abstract of the previous talk for references, most of them with downloadable links.
Cylindric and polyadic algebras I: concrete (set) algebras Dr Tadeusz Litak (University of Leicester) This is meant to be a continuation of an introductory talk on algebraic logic I gave in January, but new participants are very welcome: I will try to make it self-contained. We will compare cylindric algebras (CA's) and polyadic equality algebras (FPEA's or QPEA's) as algebraic semantics for first-order logic. A central role will be played by operations corresponding to substitutions and permutations: term-defined in case of CA's and explicit in the signature in case of QPEA's. Some papers I use in this presentation:
I am also going to use a lot both volumes of the Henkin, Monk and Tarski monograph, but this one is not easily accessible in Leicester: contact me if you are interested |
|
Author: Tadeusz Litak (tml12 if_you're_a_spambot_this_underlined_part_is_to_confuse_you at mcs.le.ac.uk), T: +44 (0) 116 252 2593. |