Abstract This paper is concerned with the proper way to effectivize notion of a Polish space. A theorem proved that shows recursive space structure not found in effectively open subsets $${\mathcal {X}}$$ X , and we explore strong evidence effective instead captured by product $$\mathbb {N}\times {\mathcal <m...

When a digital filter is implemented on a computer or with special-purpose hardware, errors and constraints due to finite word length are unavoidable. These quantization effects must be considered, both in deciding what register length is needed for a given filter implementation and in choosing between several possible implementations of the same filter design, which will be affected differentl...