On Reductions of Hintikka Sets for Higher-Order Logic
classification
💻 cs.LO
cs.AImath.LO
keywords
hintikkapropertiessteenbrownchurchderivedequalityexistence
read the original abstract
Steen's (2018) Hintikka set properties for Church's type theory based on primitive equality are reduced to the Hintikka set properties of Brown (2007). Using this reduction, a model existence theorem for Steen's properties is derived.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.