To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

From Wikipedia, the free encyclopedia

In model theory and set theory, which are disciplines within mathematics, a model of some axiom system of set theory in the language of set theory is an end extension of , in symbols , if

  1. is a substructure of , (i.e., and ), and
  2. whenever and hold, i.e., no new elements are added by to the elements of .[1]

The second condition can be equivalently written as for all .

For example, is an end extension of if and are transitive sets, and .

A related concept is that of a top extension (also known as rank extension), where a model is a top extension of a model if and for all and , we have , where denotes the rank of a set.

Existence

Keisler and Morley showed that every countable model of ZF has an end extension which is also an elementary extension.[2] If the elementarity requirement is weakened to being elementary for formulae that are on the Lévy hierarchy, every countable structure in which -collection holds has a -elementary end extension.[3]

References

  1. ^ H. J. Keisler, J. H. Silver, "End Extensions of Models of Set Theory", p.177. In Axiomatic Set Theory, Part 1 (1971), Proceedings of Symposia in Pure Mathematics, Dana Scott, editor.
  2. ^ Keisler, H. Jerome; Morley, Michael (1968), "Elementary extensions of models of set theory", Israel Journal of Mathematics, 5: 49–65, doi:10.1007/BF02771605
  3. ^ Kaufmann, Matt (1981), "On existence of Σn end extensions", Logic Year 1979–80, Lecture Notes in Mathematics, vol. 859, pp. 92–103, doi:10.1007/BFb0090942, ISBN 3-540-10708-8
This page was last edited on 4 March 2024, at 08:16
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.