Concept

Non-standard model

In model theory, a discipline within mathematical logic, a non-standard model is a model of a theory that is not isomorphic to the intended model (or standard model). If the intended model is infinite and the language is first-order, then the Löwenheim–Skolem theorems guarantee the existence of non-standard models. The non-standard models can be chosen as elementary extensions or elementary substructures of the intended model. Non-standard models are studied in set theory, non-standard analysis and non-standard models of arithmetic.

Official source

https://en.wikipedia.org/wiki/Non-standard_model

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related courses (5)

PHYS-416: Particle physics II

This course aims to make students familiar and comfortable with the main concepts of particle physics, providing a clear connection between the theory and relevant experimental results, including the most recent ones from modern particle physics experiment ...

PHYS-415: Particle physics I

Presentation of particle properties, their symmetries and interactions. Introduction to quantum electrodynamics and to the Feynman rules. ...

PHYS-400: Selected topics in nuclear and particle physics

This course presents the physical principles and the recent research developments on three topics of particle and nuclear physics: the physics of neutrinos, dark matter, and plasmas of quarks and gluons. An emphasis is given on experimental aspects in thes ...

Related lectures (9)

Z Resonance: Cross Section Calculation

Covers the calculation of the Z resonance cross section and related topics such as helicity states, Breit-Wigner resonance, and weak mixing angle determination.

Gauge Theories And Modern Particle Physics

Covers gauge theories, modern particle physics, the standard model, and field content.

The weak interactions of leptons

Delves into neutrino flavors, muon decay, LFU violation, and neutrino-quark scattering, exploring weak interactions of leptons.

Related concepts (1)

Elementary equivalence

In model theory, a branch of mathematical logic, two structures M and N of the same signature σ are called elementarily equivalent if they satisfy the same first-order σ-sentences. If N is a substructure of M, one often needs a stronger condition. In this case N is called an elementary substructure of M if every first-order σ-formula φ(a1, ..., an) with parameters a1, ..., an from N is true in N if and only if it is true in M. If N is an elementary substructure of M, then M is called an elementary extension of N.

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.