Sentence examples for consistent extension of from inspiring English sources

A theory F is called essentially undecidable if every consistent extension of it in the language of F is undecidable.

To determine whether there is a consistent extension of the lateral synovial recess under the iliotibial band (ITB) in an unembalmed cadaveric model.

This is achieved by consistent extension of the fundamentals of BW theory to multiple dimensions, with constitutive models justified and expressed in terms of experimentally measurable material functions.

Our current findings that ER+ cancers with loss of wt BRCA1 are significantly more often higher grade cancers is a consistent extension of our original results.

The consistent extension of BT after haemodilution with hetastarch solutions in normal rabbits in the present study is consistent with results reported for patients undergoing acute normovolemic haemodilution in preparation for surgery.

Econometrica 68, 643 684], is based on a general method of constructing consistent extensions of two-claimant rules [Thomson, W., 2007.

Plisko [1992] proved that the predicate logic of HA + MP (the set of sentences in the language of IQC all of whose uniform substitution instances in the language of arithmetic are provable in HA + MP) is Π2 complete; Visser [2006] extended this result to some constructively interesting consistent extensions of HA which are not contained in PA.

Consistent with our logical extensions of the JAT, we find that unobservable productivities for entrepreneurship have common positive effects on breadth of college curriculum, diversity of occupational experiences, and probability of starting a business.

2) For the changes in a time series, the expansion of the road kernel area was consistent with the extension of the sub-low-risk area in the urban center, but some differences were observed during different stages of development.

However, it is a consequence of Gödel's Incompleteness Theorem (Gödel 1931) that axioms 1 9 do not suffice to derive all wffs which are valid in all standard models, and there is no consistent recursively axiomatized extension of these axioms which suffices for this purpose.

While these results are consistent with an extension of ovulatory cycling into the post-breeding season when most females are normally anovulatory [10], [11], this possibility has not yet been tested.