Among models of $\lambda$-calculus, some like the Bohm tree model have the property that every element is a directed sup of definable elements, whereas others like the $D_\infty$ and $P(\omega)$ models contain "extra" elements (e.g. step functions) that are not sups of sets of $\lambda$-definable elements.

Does this property have a common name? A model is ___ if every element is a sup of a set of definable elements.

Related properties of similar grammatical form:

• separability of a metric space
• algebraicity of a continuous lattice
• completeness of a partial order or semilattice
• standardness of a model of the reals
• full-abstraction of model of a programming language

Among models of $\lambda$-calculus, some like the Bohm tree model have the property that every element is a directed sup of definable elements, whereas others like the $D_\infty$ and $P(\omega)$ models contain "extra" elements (e.g. step functions) that are not sups of sets of $\lambda$-definable elements.

Among models of the real numbers, standard models have the property that every element is a sup of a set of rational (0,1,+,-,*,/-definable) points, whereas nonstandard models can contain "extra" elements like infinitesimals.

Does this property have a common name? A model is ___ if every element is a sup of a set of definable elements, for a give notion of definability.

Related properties of similar grammatical form:

• separability of a metric space
• algebraicity of a continuous lattice
• completeness of a partial order or semilattice
• standardness of a model of the reals
• full-abstraction of model of a programming language

Among models of $\lambda$-calculus, some like the Bohm tree model have the property that every element is a directed sup of definable elements, whereas others like the $D_\infty$ and $P(\omega)$ models contain "extra" elements (e.g. step functions) that are not sups of sets of $\lambda$-definable elements.

Does this property have a common name? A model is ___ if every element is a sup of a set of definable elements.

Related properties: separability, full-abstraction, completeness, standard.

Among models of $\lambda$-calculus, some like the Bohm tree model have the property that every element is a directed sup of definable elements, whereas others like the $D_\infty$ and $P(\omega)$ models contain "extra" elements (e.g. step functions) that are not sups of sets of $\lambda$-definable elements.

Does this property have a common name? A model is ___ if every element is a sup of a set of definable elements.

Related properties of similar grammatical form:

• separability of a metric space
• algebraicity of a continuous lattice
• completeness of a partial order or semilattice
• standardness of a model of the reals
• full-abstraction of model of a programming language

Among models of $\lambda$-calculus, some like the Bohm tree model have the property that every element is a directed sup of definable elements, whereas others like the $D_\infty$ and $P(\omega)$ models contain "extra" elements (e.g. step functions) that are not sups of sets of $\lambda$-definable elements.

Does this property have a common name? A model is ___ if every element is a sup of a set of definable elements.

Related properties: full-abstraction, compactness, completeness, standard.

Among models of $\lambda$-calculus, some like the Bohm tree model have the property that every element is a directed sup of definable elements, whereas others like the $D_\infty$ and $P(\omega)$ models contain "extra" elements (e.g. step functions) that are not sups of sets of $\lambda$-definable elements.

Does this property have a common name? A model is ___ if every element is a sup of a set of definable elements.

Related properties: separability, full-abstraction, completeness, standard.