Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
11010128 | Indagationes Mathematicae | 2018 | 12 Pages |
Abstract
Call a set existentially (or universally) surveyable if existential (or universal) quantification over that set preserves decidability in the sense of intuitionistic logic. We study these notions of surveyability, their preservation properties, and their connections with each other and with the related notion of completeness of the two-element lattice.
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)
Authors
Andreas Blass,