Class field theory is used to prove Artin-Verdier duality. Very explicit class field theory is used in many subareas of algebraic number theory such as Iwasawa theory and Galois modules theory.
Simulation theory is not primarily a theory about empathy, but rather a theory of how people understand others—that they do so by way of a kind of empathetic response.
In mathematics, twisted K-theory (also called K-theory with local coefficients) is a variation on K-theory, a mathematical theory from the 1950s that spans algebraic topology, abstract algebra and operator theory.
Psychoanalytic film theory is a school of academic thought that evokes the concepts of psychoanalysts Sigmund Freud and Jacques Lacan.
The main theories of neorealism are balance of power theory, balance of threat theory, security dilemma theory, offense-defense theory, hegemonic stability theory and power transition theory.
After World War II, mathematical logic branched into four inter-related but separate areas of research: model theory, proof theory, computability theory, and set theory.
In 2005, Margulis received the Wolf Prize for his contributions to theory of lattices and applications to ergodic theory, representation theory, number theory, combinatorics, and measure theory.
He is known for his works on group theory, ring theory and module theory.
Singularities are a common staple of chaos theory, catastrophe theory, and bifurcation theory.
It has applications in enumerative geometry, random matrix theory, mathematical physics, string theory, knot theory.
Mathematical logic is the study of logic within mathematics. Major subareas include model theory, proof theory, set theory, and computability theory.
... born 1941) is an American-Israeli mathematician known for his contributions to ergodic theory, topological dynamics, probability theory, game theory, and descriptive set theory.
The surprisal theory is a theory of sentence processing based on information theory.
Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics.
Contains translations by TU Chemnitz and Mr Honey's Business Dictionary (German-English only).
Links to this dictionary or to individual translations are very welcome!