On Reductions of Hintikka Sets for Higher-Order Logic
Alexander Steen, Christoph Benzmüller · arXiv (Cornell University) · 2020
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.