Sentence examples for negative translation from inspiring English sources

Direct attempts to extend the negative interpretation to analysis fail because the negative translation of the countable axiom of choice is not a theorem of intuitionistic analysis.

Combining Markov's Rule with the negative translation gives the result that classical and intuitionistic arithmetic prove the same formulas of the form ∀x ∃y A x, y) where A x, y) is quantifier-free.

In the language of analysis, Markov's Principle and the negative translation of the countable axiom of choice are among the many non-intuitionistic principles which are function-realizable (by classical arguments) and hence consistent with FIM; cf. Kleene [1965], Vesley [1972] and Moschovakis [2003].

The tails of translation data distribution are marked by 9 (7.7%) segments recording negative translation, including 5 (17.9%) L5-Sl segments.

Other researchers have noted that segments rotating 0° [ 16] and negative translation (particularly at L5-S1) [ 21] are not uncommon findings in an asymptomatic population.

Mean internal rotation (retroversion) was 2.3° (2.2) and 0.7° (0.9) (p < 0.001), and posterior translation (negative translation along the z-axis) was –0.45 mm (0.48) and –0.17 (0.35) mm (p = 0.002) for the Charnley and Spectron EF groups, respectively.

In this study, a 9-mL sphere was centred at seven different positions, namely, at the reconstruction volume centre and at six positions with 2 cm positive or negative translations along the x-, y-, and z-axes.

If all points of measurement displayed negative y-translation, the implant showed 0 mm of lift-off, and if all points displayed positive y-translation, subsidence was 0 mm The repeatability of the measurements was calculated based on double examinations performed on each patient at all follow-up visits, as described by Ranstam et al. (2000).

A company spokesman said in an interview that earnings were reduced by more than 3percentt for the year because of negative currency translations and by even more in the second half, though he declined to give an exact amount.

Revenues from sales of motorcycles and related products were down 3.9% year-over-year to $1.51 billion in Q1, due to a fall in wholesale shipments and the impact of negative currency translations.

However, Harley-Davidson's recent results tell a story of lost sales on strategic pricing by the competition in the U.S., and negative currency translations, which were a 3.5% headwind on the top line in the last quarter, and could continue to dent revenue growth.