Ramified Forcing
   HOME

TheInfoList



OR:

Ramification may refer to: *
Ramification (mathematics) In geometry, ramification is 'branching out', in the way that the square root function, for complex numbers, can be seen to have two ''branches'' differing in sign. The term is also used from the opposite perspective (branches coming together) as ...
, a geometric term used for 'branching out', in the way that the square root function, for complex numbers, can be seen to have two branches differing in sign. *
Ramification (botany) In botany, ramification is the divergence of the stem and limbs of a plant into smaller ones, i.e., trunk into branches, branches into increasingly smaller branches, and so on. Gardeners stimulate the process of ramification through pruning, the ...
, the divergence of the stem and limbs of a plant into smaller ones *
Ramification group In number theory, more specifically in local class field theory, the ramification groups are a filtration of the Galois group of a local field extension, which gives detailed information on the ramification phenomena of the extension. Ramificat ...
, filtration of the Galois group of a local field extension *
Ramification theory of valuations Ramification may refer to: * Ramification (mathematics), a geometric term used for 'branching out', in the way that the square root function, for complex numbers, can be seen to have two branches differing in sign. * Ramification (botany), the div ...
, studies the set of extensions of a valuation v of a field K to an extension L of K *
Ramification problem In philosophy and artificial intelligence (especially, knowledge based systems), the ramification problem is concerned with the indirect consequences of an action. It might also be posed as ''how to represent what happens implicitly due to an actio ...
, in philosophy and artificial intelligence, concerned with the indirect consequences of an action. *
Type theory In mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundat ...
, Ramified Theory of Types by mathematician
Bertrand Russell Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British mathematician, philosopher, logician, and public intellectual. He had a considerable influence on mathematics, logic, set theory, linguistics, ...
{{disambiguation