- intelligence,
concerned with the
indirect consequences of an action. Type theory,
Ramified Theory of
Types by
mathematician Bertrand Russell This
disambiguation page...
- {\displaystyle {\mathcal {O}}_{L}}
dividing p {\displaystyle {\mathfrak {p}}} is
ramified. The
latter is an
ideal of O L {\displaystyle {\mathcal {O}}_{L}} and is...
- 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...
-
empty ramification locus.
Morphisms of
curves provide many
examples of
ramified coverings. For example, let C be the
elliptic curve of
equation y2−x(x−1)(x−2)=0...
- In the
mathematical discipline of set theory,
ramified forcing is the
original form of
forcing introduced by
Cohen (1963) to
prove the
independence of...
- G} . The
following are equivalent. L / K {\displaystyle L/K} is
totally ramified G {\displaystyle G}
coincides with its
inertia subgroup. L = K [ π ] {\displaystyle...
-
analytically unramified.
Schmidt (1936) gave an
example of an
analytically ramified reduced local ring.
Krull showed that
every 1-dimensional
normal Noetherian...
-
venous and
biliary branches ramified mainly from the left-side tract. The
Paracaval portion has the
portal venous branches ramified mainly from the left portal...
- some j, the
field extension L/K is
called ramified at p (or we say that p
ramifies in L, or that it is
ramified in L). Otherwise, L/K is
called unramified...
-
separately and will be the
subject of next subsections, the so-called
ramified case,
where m > 1, and the
regular case
where m = 1. The way of applying...