Werbung
 ⇄Suchrichtung
 Übersetzung für 'Morse-Kelley' von Englisch nach Deutsch
math.
Kelley-Morse set theory <KM set theory>
Kelley-Morse-Mengenlehre {f} [selten] [Morse-Kelley-Mengenlehre]
math.
Morse-Kelley set theory <MK set theory>
Morse-Kelley-Mengenlehre {f} <MK-Mengenlehre>
2 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!

  • Kelley-Morse-Mengenlehre {f} [selten] [Morse-Kelley-Mengenlehre] = Kelley-Morse set theory <KM set theory>
  • Morse-Kelley-Mengenlehre {f} <MK-Mengenlehre> = Morse-Kelley set theory <MK set theory>
alle anzeigen ...
Anwendungsbeispiele Englisch
  • The picture of the universe of sets stratified into the cumulative hierarchy is characteristic of ZFC and related axiomatic set theories such as Von Neumann–Bernays–Gödel set theory (often called NBG) and MorseKelley set theory.
  • Solovay has shown the precise equivalence in consistency strength of NFUB = NFU + "Infinity" + "Cantorian Sets" + "Small Ordinals" with MorseKelley set theory plus the assertion that the proper class ordinal (the class of all ordinals) is a weakly compact cardinal.
  • In class theories such as Von Neumann–Bernays–Gödel set theory and MorseKelley set theory, there is an axiom called the axiom of global choice that is stronger than the axiom of choice for sets because it also applies to proper classes.
  • MorseKelley set theory (MK) allows classes to be defined by formulas whose quantifiers range over classes.
  • MorseKelley set theory admits proper classes as basic objects, like NBG, but also allows quantification over all proper classes in its class existence axioms.

  • Kunen used MorseKelley set theory in his proof. If the proof is re-written to use ZFC, then one must add the assumption that replacement holds for formulas involving "j".
  • These classes can serve as inner models for various axiomatic systems such as ZFC or MorseKelley set theory.
  • Kelley's 1955 text, "General Topology", which eventually appeared in three editions and several translations, is a classic and widely cited graduate-level introduction to topology.
Werbung
© dict.cc English-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!