[permalink] [id link]
# Reducing the theorem to sentences ( formulas with no free variables ) in prenex form, i. e. with all quantifiers ( and ) at the beginning.
from
Wikipedia
Some Related Sentences
# and Reducing
# Reducing the theorem to sentences of the form.
# Reducing systemic risk.
# Reducing the cost.
# Remission: Reducing the amount of sentence without changing its character
# Reducing any functional dependency will change the content of S.
# REDIRECT Reducing agent
# Reducing agent ( fuel )
# Reducing financial crime
* In numerical analysis, the entries of a matrix which change from zero to a non-zero value in the execution of an algorithm ; see Sparse matrix # Reducing fill-in
# REDIRECT Reducing atmosphere
# REDIRECT Reducing agent
# Reducing the thermal gradient seen by the object, by
# Reducing the material's coefficient of thermal expansion
# Reducing the risks in key sectors ;
# Reducing non-specific binding by the capture agents.
# Reducing the number of members in the Legislative Yuan from 225 to 113 ;
# REDIRECT Reducing Americans ' Vulnerability to Ecstasy Act
# REDIRECT Reducing agent
# The " Reducing AIDS Infection from Mother to New-Born Baby " Programme.
# Funding for Reducing AIDS infection from Mother to the New-Born Baby.
# and theorem
# Yoga of the Grothendieck – Riemann – Roch theorem ( K-theory, relation with intersection theory ).
# X has a sub-base such that every cover of the space by members of the sub-base has a finite subcover ( Alexander's sub-base theorem )
# A is closed and bounded ( Heine – Borel theorem ).
# REDIRECT Chinese remainder theorem
# REDIRECT Fermat's little theorem
# REDIRECT Fundamental theorem of arithmetic
# Finally we prove the theorem for sentences of that form.
# If A is a Lebesgue measurable set, then it is " approximately open " and " approximately closed " in the sense of Lebesgue measure ( see the regularity theorem for Lebesgue measure ).
There is no formal distinction between a lemma and a theorem, only one of intention – see Theorem # Terminology.
# REDIRECT Metrization theorem
# REDIRECT Pythagorean theorem
# REDIRECT Rolle's theorem
One consequence of Toda's theorem is that a polynomial-time machine with a # P oracle ( P < sup ># P </ sup >) can solve all problems in PH, the entire polynomial hierarchy.
# REDIRECT Stone – Weierstrass theorem
# REDIRECT Pythagorean theorem
# REDIRECT Nyquist – Shannon sampling theorem
# REDIRECT Nyquist – Shannon sampling theorem
# REDIRECT Nyquist – Shannon sampling theorem
# REDIRECT Noisy-channel coding theorem
# REDIRECT Brun's theorem
* Spectrum shifting in signal processing, see Discrete Fourier transform # The shift theorem
# REDIRECT Nyquist – Shannon sampling theorem
# REDIRECT Nyquist – Shannon sampling theorem
0.241 seconds.