DeepAI AI Chat
Log In Sign Up

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

by   Mai Gehrke, et al.

We identify and highlight certain landmark results in Samson Abramsky's work which we believe are fundamental to current developments and future trends. In particular, we focus on the use of (i) topological duality methods to solve problems in logic and computer science; (ii) category theory and, more particularly, free (and co-free) constructions; (iii) these tools to unify the `power' and `structure' strands in computer science.


page 1

page 2

page 3

page 4


Topological duality for distributive lattices, and applications

This book is a course in Stone-Priestley duality theory, with applicatio...

Tarski's influence on computer science

The influence of Alfred Tarski on computer science was indirect but sign...

A duality theoretic view on limits of finite structures: Extended version

A systematic theory of structural limits for finite models has been deve...

A duality theoretic view on limits of finite structures

The study of limits of sequences of finite structures plays a crucial ro...

Duality for the existential fragment of first-order logic on words with numerical predicates of a fixed arity

This article fits in the area of research that investigates the applicat...

Gender trends in computer science authorship

A comprehensive and up-to-date analysis of Computer Science literature (...

Generational Frameshifts in Technology: Computer Science and Neurosurgery, The VR Use Case

We are at a unique moment in history where there is a confluence of tech...