End extension
id:
end-extension-239-6148979
title:
End extension
text:
In model theory and set theory, which are disciplines within mathematics, a model B = ⟨ B , F ⟩ of some axiom system of set theory T in the language of set theory is an end extension of A = ⟨ A , E ⟩ , in symbols A ⊆ end B , if A is a substructure of B ,, and b ∈ A whenever a ∈ A and b F a hold, i.e., no new elements are added by B to the elements of A . The second condition can be equivalently written as { b ∈ A : b E a } = { b ∈ B : b F a } for all a ∈ A . For example, ⟨ B , ∈ ⟩ is an end exte
brand slug:
wiki
category slug:
encyclopedia
description:
Extension of a transitive set
original url:
https://en.wikipedia.org/wiki/End_extension
date created:
date modified:
2024-03-04T08:16:08Z
main entity:
{"identifier":"Q5375818","url":"https://www.wikidata.org/entity/Q5375818"}
image:
fields total:
13
integrity:
14