- 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 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...
-
ramified covering maps from a
curve of
lower genus to a
curve of
higher genus – and thus,
since non-constant
meromorphic maps of
curves are
ramified covering...
-
analytically unramified.
Schmidt (1936) gave an
example of an
analytically ramified reduced local ring.
Krull showed that
every 1-dimensional
normal Noetherian...
-
fundamental domain of the ring of integers, and it
regulates which primes are
ramified. The
discriminant is one of the most
basic invariants of a
number field...
- 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...
- microtubules:
Radial microtubules: They are
located in the
proximal regions of the
ramified processes of oligodendrocytes, that
extend outward from the cell body....