Metadata
Author: WikiMatrix
Data
English[en]
Some striking applications of ultraproducts include very elegant proofs of the compactness theorem and the completeness theorem, Keisler's ultrapower theorem, which gives an algebraic characterization of the semantic notion of elementary equivalence, and the Robinson-Zakon presentation of the use of superstructures and their monomorphisms to construct nonstandard models of analysis, leading to the growth of the area of non-standard analysis, which was pioneered (as an application of the compactness theorem) by Abraham Robinson.
Finnish[fi]
Joitakin ultratulojen hyödyllisyyttä osoittaa hyvin eleganttiselvennä todistus kompaktisuus- ja täydellisyyslauseille, Keislerin ultrapotenssilause, joka antaa algebrallisen karakterisaation elementaarisen ekvivalessin semanttiselle merkinnälle, ja Robinsonin–Zakonin esitys, jossa käytetään superrakenteita ja niiden monomorfismeja konstruoimaan analyysin epästandardeja malleja.selvennä Epästandarin analyysin pioneeri oli Abraham Robinson, joka tutki niitä kompaktisuuslauseen sovelluksena.