Noun
Hintikka set (plural Hintikka sets) (set theory) A set with certain openness and completeness properties.