Author name cluster
Michael Gabbay
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
Possible papers
4FLAP Journal 2018 Journal Article
Formalism and Set Theoretic Truth.
- Michael Gabbay
In this paper I extend an earlier formalist truth theory for Arithmetic to cover set theory. In effect, I propose that the truths of the language of set the- ory are the theorems of the axioms of ZFC extended with an ω-rule. However, I show that this truth definition can be presented without reference to infinitary proof rules and remains within the spirit of Hilbert’s original finitism.
FLAP Journal 2014 Journal Article
A simple and complete model theory for intensional and extensional untyped lambda-equality.
- Michael Gabbay
- Murdoch Gabbay
We present a sound and complete model theory for theories of β-reduction with or without η-expansion. The models of this paper derive from structures of modal logic: we use ternary accessibility relations on ‘possible worlds’ to model the action of intensional and extensional lambda-abstraction in much the same way binary accessibility relations are used to model the box operators of a normal multi-modal logic.