“Existentially closed model”的意思、由来-开放百科全书

词条

Existentially closed model

释义

Definition
Examples
References
External links

In model theory, a branch of mathematical logic, the notion of an existentially closed model (or existentially complete 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 (or existentially complete in) if for every quantifier-free formula φ(x₁,…,x_n,y₁,…,y_n) and all elements b₁,…,b_n of M such that φ(x₁,…,x_n,b₁,…,b_n) is realized in N, then φ(x₁,…,x_n,b₁,…,b_n) is also realized in M. In other words: If there is a tuple a₁,…,a_n in N such that φ(a₁,…,a_n,b₁,…,b_n) holds in N, then such a tuple also exists in M. This notion is often denoted .

A model M of a theory T is called existentially closed in T if it is existentially closed in every superstructure N that 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 a member) if M is existentially closed in every superstructure N that is itself a member of K.

The existential closure in K of a member M of K, when it exists, is, up to isomorphism, the least existentially closed superstructure of M. More precisely, it is any extensionally closed superstructure M^∗ of M such that for every existentially closed superstructure N of M, M^∗ is isomorphic to a substructure of N via an isomorphism that is the identity on M.

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, while the existential closure of any countable (including empty) total order is, up to isomorphism, the countable dense total order without endpoints, namely the order type of the rationals.

References

{{Citation | last1=Chang | first1=Chen Chung | author1-link=Chen Chung Chang | last2=Keisler | first2=H. Jerome | author2-link=Howard Jerome Keisler | title=Model Theory | origyear=1973 | publisher=Elsevier | edition=3rd | series=Studies in Logic and the Foundations of Mathematics | isbn=978-0-444-88054-3 | year=1990}}
{{Citation | last1=Hodges | first1=Wilfrid | author1-link=Wilfrid Hodges | title=A shorter model theory | publisher= Cambridge University Press| location=Cambridge | isbn=978-0-521-58713-6 | year=1997}}

External links

EoM article

1 : Model theory

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。