Modèle de dugoff

Le boson de Higgs joue un rôle unique dans le modèle standard, en expliquant pourquoi les autres particules élémentaires, à l`exception du photon et du gluon, sont massives. En particulier, le boson de Higgs explique pourquoi le photon n`a pas de masse, alors que les bosons W et Z sont très lourds. Les masses de particules élémentaires, et les différences entre l`électromagnétisme (médiatisé par le photon) et la force faible (médiée par les bosons W et Z), sont essentielles à de nombreux aspects de la structure de la matière microscopique (et donc macroscopique). Dans la théorie électrofaible, le boson de Higgs génère les masses des leptons (électron, muon, et Tau) et quarks. Comme le boson de Higgs est massif, il doit interagir avec lui-même. La théorie du modèle est généralement concernée par la logique du premier ordre, et de nombreux résultats importants (tels que les théorèmes d`exhaustivité et de compacité) échouent dans la logique du second ordre ou d`autres alternatives. Dans la logique de premier ordre, tous les cardinaux infinis ressemblent à une langue qui est dénombrable. Ceci est exprimé dans les théorème de Löwenheim – Skolem, qui affirment que toute théorie dénombrable avec un modèle infini A {displaystyle {mathfrak {A}}} a des modèles de toutes les cardinalités infinies (au moins celle de la langue) qui sont d`accord avec A {displaystyle { mathfrak {A}}} sur toutes les phrases, c`est à dire qu`ils sont «elementairement équivalents». Le modèle standard décrit trois des quatre forces fondamentales de la nature; seule la gravité reste inexpliquée. Dans le modèle standard, une force est décrite comme un échange de bosons entre les objets touchés, comme un photon pour la force électromagnétique et un gluon pour l`interaction forte. Ces particules sont appelées porteurs de force ou particules de messager.

[31] dans le modèle standard, les bosons de jauge sont définis comme des porteurs de force qui médient les interactions fondamentales fortes, faibles et électromagnétiques. Techniquement, la théorie quantique de champ fournit le cadre mathématique pour le modèle standard, dans lequel un lagrangien contrôle la dynamique et la cinématique de la théorie. Chaque type de particule est décrite en termes de champ dynamique qui envahit l`espace-temps. La construction du modèle standard suit la méthode moderne de construction de la plupart des théories sur le terrain: en postulant d`abord un ensemble de symétries du système, puis en écrivant le lagrangien le plus général renormaliable de sa particule (champ) contenu qui observe ces symétries. Le modèle standard (SM) prédit l`existence des bosons W et Z, du gluon et des quarks de charme et de dessus et prédit un grand nombre de leurs propriétés avant que ces particules soient observées. Les prédictions ont été confirmées expérimentalement avec une bonne précision. [33] cet article se concentre sur la théorie finitaire du modèle de premier ordre des structures infinies.