[[!redirects decidable existential quantifier]] [[!redirects decidable existential quantifiers]] < [[nlab:existential quantifier]] category: redirected to nlab