- intelligence,
concerned with the
indirect consequences of an action. Type theory,
Ramified Theory of
Types by
mathematician Bertrand Russell This
disambiguation page...
- here is due to Church. In the
ramified type
theory of PM all
objects are
elements of
various disjoint ramified types.
Ramified types are
implicitly built...
-
otherwise it is unramified. In
other words, p {\displaystyle {\mathfrak {p}}}
ramifies in L {\displaystyle L} if the
ramification index e i {\displaystyle e_{i}}...
- a-bi{\bmod {1}}+i} . In fact, 2 is the only
prime that
ramifies in Z[i],
since every prime that
ramifies must
divide the
discriminant of Z[i],
which is −4...
-
empty ramification locus.
Morphisms of
curves provide many
examples of
ramified coverings. For example, let C be the
elliptic curve of
equation y 2 − x...
- In the
mathematical discipline of set theory,
ramified forcing is the
original form of
forcing introduced by
Cohen (1963) to
prove the
independence of...
- Conrad, Keith. "Discriminants and
ramified primes" (PDF).
Theorem 1.3 (Dedekind). For a
number field K, a
prime p
ramifies in K if and only if p
divides the...
- are
related to macrophages. The
activation of
microglia and
formation of
ramified microglial clusters was
first noted by
Victor Babeş
while studying a rabies...
- {\displaystyle y=-(x+1)^{1/2}+(x+1)^{3/2}} (the x {\displaystyle x}
coordinate ramifies at this point, so it is not a
power series). The
curve y 2 = x 3 {\displaystyle...
-
elliptic functions. In
particular it can be used to
construct the
totally ramified abelian extensions of a
local field. It does this by
considering the (formal)...