Sentence examples for consistency strength from inspiring English sources

The cabinet secretary, Sir Jeremy Heywood, the UK's most senior civil servant, said: "As permanent secretary for the last 10 years, Nick has provided tremendous leadership to the Treasury, with his consistency, strength and insight helping to guide the institution through some of the most significant challenges in its history.

The ordering of these constraints is FAITH-INT, CONSISTENCY, STRENGTH.

In other words, $\psi$ has higher consistency strength than $\varphi$, modulo ZFC.

This theory is known to be at the same level of consistency strength as the classical set theory KPU.

Usually, the consistency strength of systems has been measured by the system's proof-theoretic ordinal, i.e., the ordinal transfinite induction along which suffices to prove consistency.

It is interesting to observe that Mac Lane set theory is precisely equivalent in consistency strength and expressive power to TST with the Axiom of Infinity.

Furthermore, the water absorption, sorptivity, water consistency, compressive strength, flexural strength, split tensile strength, modulus of elasticity, chloride penetration, chloride diffusion, and soundness properties of the concrete are analyzed for the different replacement percentage of cement.

The concrete characterization was performed by testing the consistency, compressive strength, flexural strength, water absorption, porosity, density, abrasion resistance, impact resistance and microstructure analysis.

So the extended theory T + ConT is of higher consistency-strength than the theory T itself.

The present author therefore conjectures that the consistency-strength of this system is lower than that of FA.

The consistency-strength of first-order Peano arithmetic is much weaker, namely that of Zermelo–Fraenkel set theory without the Axiom of Power Sets and without the Axiom of Infinity.