Existentially closed model
- Existentially closed model
In model theory, a branch of mathematical logic, the notion of an existentially closed model of a theory generalizes the notions of algebraically closed fields (for the theory of fields), real closed fields (for the theory of ordered fields), existentially closed groups (for the class of groups), and dense linear orders without endpoints (for the class of linear orders).
Definition
A substructure "M" of a structure "N" is said to be existentially closed in if for every quantifier-free formula φ("x","y"1,…,"y"n) and all elements "b"1,…,"b"n of "M" such that φ("x","b"1,…,"b"n) is realized in "N", then φ("x","b"1,…,"b"n) is also realized in "M". In other words: If there is an element "a" in "N" such that φ("a","b"1,…,"b"n) holds in "N", then such an element also exists in "M".
A model "M" of a theory "T" is called existentially closed in "T" if it is existentially closed in every superstructure "N" which is itself a model of "T". More generally, a structure "M" is called existentially closed in a class "K" of structures (in which it is contained as an element) if "M" is existentially closed in every superstructure "N" which is itself an element of "K".
Examples
Let σ = (+,×,0,1) be the signature of fields, i.e. +,× are binary relation symbols and 0,1 are constant symbols. Let "K" be the class of structures of signature σ which are fields.If "A" is a subfield of "B", then "A" is existentially closed in "B" if and only if every system of polynomials over "A" which has a solution in "B" also has a solution in "A". It follows that the existentially closed members of "K" are exactly the algebraically closed fields.
Similarly in the class of ordered fields, the existentially closed structures are the real closed fields. In the class of totally ordered structures, the existentially closed structures are those that are dense without endpoints.
References
*
*
External links
* [http://eom.springer.de/e/e110140.htm EoM article]
Wikimedia Foundation.
2010.
Look at other dictionaries:
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… … Wikipedia
Divisible group — In mathematics, especially in the field of group theory, a divisible group is an abelian group in which every element can, in some sense, be divided by positive integers, or more accurately, every element is an nth multiple for each positive… … Wikipedia
Focus (linguistics) — Focus is a concept in linguistic theory that deals with how information in one phrase relates to information that has come before. Focus has been analyzed in a variety of ways by linguists. Historically, there have been two main approaches to… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Second-order arithmetic — In mathematical logic, second order arithmetic is a collection of axiomatic systems that formalize the natural numbers and sets thereof. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. The… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Cyclic order — In mathematics, a cyclic order is a way to arrange a set of objects in a circle.[nb] Unlike most structures in order theory, a cyclic order cannot be modeled as a binary relation a < b . One does not say that east is more clockwise than west.… … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
