Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Extender (set theory)
Résumé
In set theory, an extender is a system of ultrafilters which represents an elementary embedding witnessing large cardinal properties. A nonprincipal ultrafilter is the most basic case of an extender.
A (κ, λ)-extender can be defined as an elementary embedding of some model of ZFC− (ZFC minus the power set axiom) having critical point κ ε M, and which maps κ to an ordinal at least equal to λ. It can also be defined as a collection of ultrafilters, one for each -tuple drawn from λ.
Let κ and λ be cardinals with κ≤λ. Then, a set is called a (κ,λ)-extender if the following properties are satisfied:
each is a κ-complete nonprincipal ultrafilter on [κ]
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.