# Theorems

### Some articles on theorems, theorem:

Brauer's Three Main Theorems
... Brauer's main theorems are three theorems in representation theory of finite groups linking the blocks of a finite group (in characteristic p) with those of its ... The second and third main theorems allow refinements of orthogonality relations for ordinary characters which may be applied in finite group theory ... All three main theorems are stated in terms of the Brauer correspondence ...
Jacques Bouveresse - Works - Incompleteness and Philosophy
... is interested in the incompleteness theorems of Kurt Gödel and their philosophical consequences ... work Prodiges et vertiges de l'analogie, the use made of these theorems by Régis Debray ... which lacks the training necessary to comprehend such complex theorems ...
Ratner's Theorems
... In mathematics, Ratner's theorems are a group of major theorems in ergodic theory concerning unipotent flows on homogeneous spaces proved by Marina Ratner around ... The theorems grew out of Ratner's earlier work on horocycle flows ... Ratner's theorems have guided key advances in the understanding of the dynamics of unipotent flows ...
List Of Things Named After Alfred Tarski - Theorems
... Knaster–Tarski theorem (sometimes referred to as Tarski's fixed point theorem) Tarski's undefinability theorem Tarski–Seidenberg theorem Some fixed point theorems, usually variants of the Kleene ... Tarski's theorem ...
Deviant Logic
... the set of theorems generated is different from the set of theorems generated by classical logic ... The set of theorems of a deviant logic can differ in any possible way from classical logic's set of theorems as a proper subset, superset, or fully exclusive set ... Under this system, any theorem necessarily dependent on classical logic's principle of bivalence would fail to be valid ...