Whereas the usual notions of immunity -- e.g., immunity, hyperimmunity, etc. are associated with Cohen genericity, canonical as introduced by Beros, Khan and Kjos-Hanssen, is instead Mathias genericity. Specifically, every generic canonically immune no 2-generic computes a set.

We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be computable mappings that are also generic, meaning that the result of a query may only depend to a limited extent on the actual internal representation of the spatio-temporal data. Genericity is defined as invariance under groups of g...

We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be computable mappings that are also generic, meaning that the result of a query may only depend to a limited extent on the actual internal representation of the spatio-temporal data. Genericity is defined as invariance under groups of g...

We discuss some general styles of human thinking which could be useful at the design stage of a software project. The central idea of genericity (as viewed by us) is to reduce redundancy in a software structure. This leads not only to better software structures, but also improves economy (by consuming less human resources). Reduction of redundancy should start in early phases of the development...

Abstract We are often justified in acting on the basis of evidential confirmation. I argue that this is because inductive inference supports belief non-quantificational—or generic —generalizations, rather than universally quantified generalizations. show how account supports, undermines, a Bayesian inference. Induction from confirming instances generalization to corresponding part reasoning ins...