Sentence examples for order property from inspiring English sources
It has charge of all the general concerns of the church's faith, order, property, missions, education, and the like.
The monotonic order property holds for a very broad range of VLSI circuit settings arising in common design practice.
Jackson in turn might meet this charge by urging that the distinction we require is between the descriptive property that occupies a certain descriptively specified role and the higher order property of occupying that role.
It is a classical result of modal logic that if two states of two models are related by a bisimulation, then the states will satisfy exactly the same modal formulas, and in addition a first order property of states is definable in the basic modal language if and only if the property is preserved under bisimulation.
Others (so called 'role-functionalists') assume that the functional property P is a "higher order" property; it is simply the property of playing the relevant role and is not to be identified with any given underlying property P* that does so.
Equivalently, a theory T is stable if no formula has the order property relative to T. That is, there is no L-formula φ(x y) (where x and y may be tuples of variables) so that for each natural number n it is consistent with T that there be a1, …, an; b1, …, bn so that φ ai,bj) holds just in case i ≤ j.
He had a recurring role as a prisoner in "Oz" on HBO, and there were several appearances on various "Law and Order" properties.
But does it entail that all of God's (real) second-order properties are identical with his (real) first order properties (and thus that God's simplicity is identical with whatever first-order properties suffice for identity with God)?
inputs in their first and second order properties.
They also permit representation of structures beyond natural number arithmetic, such as rings and fields, including their order properties.
It was realized that the order properties of infinite series are much more elaborate than those of finite series.
