Levy-Hierarchie

Unter dem Begriff der Levy-Hierarchie werden in der mathematischen Logik, insbesondere der Mengenlehre, eine Reihe von Hierarchien von Formeln und formalen Sprachen subsumiert. Formeln der Mengenlehre werden dabei in einem gewissen Sinne nach ihrer Komplexität geordnet. Formale Sprachen werden nach der Komplexität der sie beschreibenden Formeln in die Hierarchie eingeordnet. Auf solche angewandt reicht die Levy-Hierarchie weit über die arithmetische und die analytische Hierarchie hinaus. Die Betrachtung niedriger Stufen der Hierarchie erlaubt Aussagen über die Übertragbarkeit der Gültigkeit von Aussagen zwischen Modellen der Mengenlehre.

Die Hierarchie wurde 1965 von Azriel Levy eingeführt.

Definition

Eine Formel in der Sprache der Mengenlehre (d. h. der Prädikatenlogik erster Stufe mit Gleichheit und der zweistelligen Relation <math>\in</math>) heißt <math>\Delta_0</math>-<ref>{{#invoke:Vorlage:Literatur|f}}</ref>, <math>\Sigma_0</math>- oder <math>\Pi_0</math>-Formel, wenn alle vorkommenden Quantifizierungen beschränkt sind, d. h. für eine Formel <math>\phi</math> und Variablen <math>x,y</math> von der Gestalt <math>\forall x (x\in y\rightarrow\phi)</math> (kurz <math>\forall x\in y \phi</math> geschrieben) oder <math>\exist x (x\in y\wedge\phi)</math> (kurz <math>\exist x\in y \phi</math>) sind. Nun definiert man induktiv: Eine <math>\Sigma_{i+1}</math>-Formel ist eine Formel von der Gestalt <math>\exist x \phi</math> für eine <math>\Pi_i</math>-Formel <math>\phi</math> und eine <math>\Pi_{i+1}</math>-Formel ist eine Formel von der Gestalt <math>\forall x \psi</math> für eine <math>\Sigma_i</math>-Formel <math>\psi</math>. Jede <math>\Sigma_i</math>- oder <math>\Pi_i</math>-Formel ist auch eine <math>\Lambda_i</math>-Formel, das heißt eine Formel, in der die maximale Schachtelungstiefe unbeschränkter Quantoren <math>i</math> ist. Die Mengen aller solcher Formeln werden <math>\Sigma_i,\Pi_i,\Lambda_i</math> genannt. <math>\mathfrak{B}(\Sigma_i)</math> bzw. <math>\mathfrak{B}(\Pi_i)</math> sei die Menge aller Formeln, die sich als boolesche Kombinationen von <math>\Sigma_i</math>- bzw. <math>\Pi_i</math>-Formeln ergeben.

Sei nun <math>T</math> eine Theorie in der Sprache der Mengenlehre (etwa die Zermelo-Fraenkel-Mengenlehre <math>ZF</math>). <math>\Sigma_i^T</math> ist dann definiert als die Menge aller Formeln <math>\phi</math>, für die sich die Äquivalenz zu einer <math>\Sigma_i</math>-Formel <math>\psi</math> in <math>T</math> beweisen lässt, d. h. <math>T\vdash\forall x_1\ldots\forall x_n(\phi\leftrightarrow\psi)</math>, wobei <math>x_1,\ldots,x_n</math> die freien Variablen in <math>\phi</math> seien. <math>\Pi_i^T</math> ist analog und <math>\Delta_i^T</math> durch <math>\Sigma_i^T\cap\Pi_i^T</math> definiert<ref name="devlin27">Devlin, S. 27.</ref>. <math>T</math> enthalte im Folgenden stets zumindest die Axiome der klassischen Prädikatenlogik erster Stufe. Jede Formel in der Sprache der Mengenlehre liegt für ein <math>i</math> in <math>\Sigma_i^T</math>, da sie sich in Pränexnormalform bringen lässt.

Als Klassen formaler Sprachen lassen sich die Teilmengen <math>X</math> der natürlichen Zahlen (allgemeiner sind auch Relationen möglich) unterscheiden, die <math>\Sigma_i</math>- bzw. <math>\Pi_i</math>- definierbar sind, d. h. für die eine <math>\Sigma_i</math>- bzw. <math>\Pi_i</math>-Formel <math>\phi(x)</math> existiert, sodass <math>\forall x\in X (x\in Y\leftrightarrow \phi(x))</math> gilt.<ref>Väänänen, S. 140.</ref> Aus weiteren Eigenschaften ergibt sich, dass sich die Mengen <math>\Sigma_i,\Pi_i,\Delta_i</math> in hinreichend starken Axiomensystemen tatsächlich objektsprachlich, ohne Bezugnahme auf Modelle oder Beweisbarkeit, definieren lassen (s. u.).

Ähnliche Hierarchien lassen sich auch bilden, indem auf der Stufe <math>\Delta_0</math> zusätzliche Formeln zugelassen werden – etwa solche, die Terme für bestimmte Mengen wie zum Beispiel Potenzmengen enthalten – und die Definition über die Abschlusseigenschaften entsprechend fortgesetzt wird.

Beispiele von Definierbarkeit

Hier folgen einige Beispiele, auf welcher Stufe der Levy-Hierarchie sich wichtige mengentheoretische Eigenschaften definieren lassen (ZF vorausgesetzt).<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}| |}}}}{{#if:Marios Koulakis|Marios Koulakis: }}{{#if:|{{#if:Large cardinals and elementary embeddings of V|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Large cardinals and elementary embeddings of V}}]{{#if:PDF; 558 kB| (PDF; 558 kB)}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Large cardinals and elementary embeddings of V}}}}|[{{#invoke:URLutil|getNormalized|1=http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Large cardinals and elementary embeddings of V}}}}]}}{{#if:PDF; 558 kB| (PDF; 558 kB{{#if:{{#if: 2013-03-25 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf}}%7C%7C URL ungültig}}}}{{#if:Large cardinals and elementary embeddings of V|{{#if:{{#invoke:WLink|isValidLinktext|1=Large cardinals and elementary embeddings of V|lines=0}}|| Linktext ungültig}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: | {{{hrsg}}}{{#if: |,|{{#if: 2013-03-25 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | {{#if:{{#invoke:DateTime|format|{{{datum}}}|noerror=1}}
            |{{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum={{{datum}}}|class=Zitationswartung}} }}{{#if: |,|{{#if: 2013-03-25 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2013-03-25 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}|{{{archiv-datum}}}{{#if:2892635||(?)}}}}}}{{#if: 2013-03-25|;}}}}{{#if: 2013-03-25| {{#if:{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2013-03-25 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2013-03-25|class=Zitationswartung}} }} {{#invoke:DateTime|format|2013-03-25|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:{{#if: 2013-03-25 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if:PDF; 558 kB | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: {{#if: 2013-03-25 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[http://mpla.math.uoa.gr/media/theses/msc/Koulakis_M.pdf }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>

Δ₀-definierbar

<math>x\subseteq y</math>
Transitivität
<math>x\in\mathbf{On}</math>, d. h. <math>x</math> ist eine Ordinalzahl
<math>x\in\N</math>
<math>x=\N</math>
<math>x\cup y=z</math>
<math>x\cap y=z</math>
<math>x\times y=z</math>
<math>x=n</math> für jede natürliche Zahl <math>n</math>

Δ₁-definierbar

Addition, Multiplikation und Exponentiation auf den natürlichen Zahlen und allgemeiner den Ordinalzahlen<ref name="kayewong">{{#invoke:Vorlage:Literatur|f}}</ref>
<math><</math> ist eine Wohlordnung auf <math>x</math><ref>Devlin, S. 29.</ref>
Die Menge aller erblich endlichen Mengen
<math>x</math> ist Ordinalzahl und <math>y</math> die Stufe <math>L_x</math> in der konstruierbaren Hierarchie

Σ₁-definierbar

Π₁-definierbar

<math>x=\mathcal{P}(y)</math>, d. h. <math>x</math> ist die Potenzmenge von <math>y</math>.
<math>x\in\mathbf{Cn}</math>, d. h. <math>x</math> ist eine Kardinalzahl.
Regularität einer Kardinalzahl
Limes-Kardinalzahlen
Starke Unerreichbarkeit einer Kardinalzahl
<math>x</math> ist Ordinalzahl und <math>y</math> die Stufe <math>V_x</math> in der Von-Neumann-Hierarchie

Δ₂-definierbar

Kontinuumhypothese<ref name="v151">Väänänen, S. 151.</ref>
<math>y</math> ist eine <math>x</math>-superkompakte Kardinalzahl<ref name="superkompakt">{{#invoke:Vorlage:Literatur|f}}</ref>

Σ₂-definierbar

Es existiert eine stark unerreichbare Kardinalzahl<ref name="v151" />
Es existiert eine messbare Kardinalzahl<ref name="v151" />

Π₂-definierbar

Konstruierbarkeitsaxiom <math>V=L</math><ref name="v151" />
Entscheidungsproblem in der Dependence Logic<ref>Väänänen, S. 140.</ref>
<math>x</math> ist eine superkompakte Kardinalzahl<ref name="superkompakt" />

Σ₃-definierbar

Es existiert eine superkompakte Kardinalzahl<ref name="superkompakt" />

Abschlusseigenschaften

Enthält <math>T</math> die Axiome von ZF ohne das Unendlichkeitsaxiom und ohne das Ersetzungsaxiom, so ist für <math>i>0</math> bereits für <math>\varphi\in\Sigma_i^T</math> und jede Variable <math>x</math> auch <math>\exist x\varphi\in\Sigma_i^T</math> und für <math>\varphi\in\Pi_i^T</math> auch <math>\forall x\varphi\in\Pi_i^T</math>. Dies folgt daraus, dass sich ein Block von Existenz- bzw. Allquantoren durch einen einzigen Existenz- bzw. Allquantor ersetzen lässt, wobei die Variable, über die quantifiziert wird, dann als Tupel aufgefasst wird und sich Operationen auf Tupeln in <math>\Delta_0</math> ausdrücken lassen. Mitunter werden daher auch bereits in der Definition der Levy-Hierarchie Quantorenblöcke zugelassen.<ref name="devlin27" />

<math>\Sigma_i^T</math>, <math>\Pi_i^T</math>, <math>\Delta_i^T</math>, <math>\Lambda_i^T</math> und <math>\mathfrak{B}(\Sigma_i)^T</math> sind abgeschlossen unter Konjunktion und Disjunktion. <math>\Delta_i^T</math>, <math>\Lambda_i^T</math> und <math>\mathfrak{B}(\Sigma_i)^T</math> sind zudem abgeschlossen unter Negation. Die Negationen von <math>\Sigma_i^T</math>-Formeln sind gerade <math>\Pi_i^T</math>-Formeln und umgekehrt. Enthält <math>T</math> ZF ohne das Unendlichkeitsaxiom, so sind für jedes <math>i</math> die besagten fünf Stufen auch abgeschlossen unter beschränkter Quantifizierung. Die Idee ist die folgende: <math>\forall x\in y \forall z \varphi</math> ist äquivalent zu <math>\forall z\forall x\in y \varphi</math> und <math>\forall x\in y \exist z \varphi</math> ist für eine Formel <math>\varphi^\prime</math>, die in derselben Stufe liegt wie <math>\varphi</math>, äquivalent zu <math>\exist z\forall x\in y \varphi^\prime</math>, wobei <math>z</math> nun als Funktion von <math>x</math> aufgefasst wird, wobei für den Beweis der letzteren Äquivalenz das Ersetzungsaxiom verwendet wird. Analog verfährt man mit einem beschränkten Existenzquantor und erhält letztlich induktiv die Abgeschlossenheit. Aus der Abgeschlossenheit unter beschränkter Quantifizierung ergibt sich unter Benutzung des Ersetzungsaxioms und der Definierbarkeit berechenbarer Funktionen mittels der Arithmetik für <math>i>0</math> auch die Abgeschlossenheit der <math>\Sigma_i</math>-, <math>\Pi_i</math>-, <math>\Delta_i</math>-, <math>\Lambda_i</math>- und <math>\mathfrak{B}(\Sigma_i)</math>-definierbaren Sprachen unter Urbildbildung bzgl. einer rekursiven Funktion

Absolutheit

Eine Formel der Mengenlehre <math>\varphi</math> in den <math>n</math> freien Variablen <math>x_1,\ldots,x_n</math> heißt aufwärts absolut für eine Klasse <math>M</math>, wenn <math>\forall x_1,\ldots,x_n\in M (\varphi^M(x_1,\ldots,x_n)\rightarrow\varphi(x_1,\ldots,x_n))</math> gilt, wobei <math>\varphi^M</math> die Relativierung von <math>\varphi</math> auf <math>M</math> bezeichne. Analog dazu heißt sie abwärts absolut, wenn <math>\forall x_1,\ldots,x_n\in M (\varphi(x_1,\ldots,x_n)\rightarrow\varphi^M(x_1,\ldots,x_n))</math> gilt. Eine Formel heißt absolut, wenn sie aufwärts und abwärts absolut ist.

Für jede transitive Klasse <math>M</math> ist jede <math>\Delta_0</math>-Formel absolut. Daraus ergibt sich, dass jede <math>\Sigma_1</math>-Formel für jede transitive Klasse aufwärts absolut und jede <math>\Pi_1</math>-Formel abwärts absolut ist.<ref name="devlin27" />

Sei <math>TC(x)</math> der transitive Abschluss von <math>x</math>, d. h. die minimale transitive Menge, die <math>x</math> enthält. Ist <math>\kappa</math> eine überabzählbare Kardinalzahl, so ist jede <math>\mathfrak{B}(\Sigma_1)</math>-Formel absolut für die Menge <math>\left\{x \mid |TC(x)|<\kappa\right\}</math>.<ref>Väänänen, S. 138.</ref><ref>Drake, S. 104.</ref>

Definierbarkeit von Wahrheit, Trennung und Vollständigkeit

Die Gültigkeit von <math>\Delta_0</math>-Formeln mit gegebener Interpretation freier Variablen – repräsentiert durch eine Kodierung als natürliche Zahlen – lässt sich durch eine <math>\Pi_1</math>-Formel ausdrücken: Man betrachte den transitiven Abschluss <math>T</math> der Menge der Werte der freien Variablen. Für die Wahrheit einer jeden Teilformel einer gegebenen Formel reicht es, die Relativierung auf <math>T</math> zu betrachten. Es lässt sich nun mit einer <math>\Pi_1</math>-Formel die Relation <math>R\subseteq\N\times T^*</math> definieren, sodass genau dann <math>(n,x)\in R</math>, wenn die durch <math>n</math> kodierte <math>\Delta_0</math>-Formel <math>\phi</math> unter der Interpretation <math>x</math> der freien Variablen gültig ist. <math>R</math> ist <math>\Pi_1</math>-definierbar, da es sich als minimale Menge mit bestimmten Abschlusseigenschaften ergibt. Tatsächlich genügt sogar ZF ohne das Unendlichkeitsaxiom, um eine <math>\Pi_1</math>-Definition der Gültigkeit von <math>\Delta_0</math>-Formeln anzugeben, da es genügt, die Betrachtung auf die endliche Menge der Teilformeln der gegebenen Formeln zu beschränken.

Tatsächlich ist sogar die Wahrheit von <math>\Pi_1</math>-Formeln <math>\Pi_1</math>-definierbar (es muss einfach der eine unbeschränkte Allquantor aus der Kodierung extrahiert werden). Es folgt, dass die Gültigkeit von <math>\Sigma_1</math>-Formeln <math>\Sigma_1</math>-definierbar ist (da die Wahrheit von <math>\phi</math> ist äquivalent zur Falschheit von <math>\neg\phi</math> ist) und induktiv ist für jedes <math>n>0</math> die Wahrheit von <math>\Pi_n</math>-Formeln <math>\Pi_n</math>-definierbar und die von <math>\Sigma_n</math>-Formeln <math>\Sigma_n</math>-definierbar. Hieraus folgt mit dem Undefinierbarkeitssatz von Tarski, dass es sich bei der Levy-Hierarchie tatsächlich um eine Hierarchie handelt: Umfasst <math>T</math> ZF ohne das Unendlichkeitsaxiom und ist das <math>\Delta_n</math>-Fragment von <math>T</math> konsistent, so gilt <math>\Sigma^T_n\subsetneq\Delta^T_{n+1}\subsetneq\Sigma^T_{n+1}</math> und <math>\Pi^T_n\subsetneq\Delta^T_{n+1}\subsetneq\Pi^T_{n+1}</math>, andernfalls würde die Hierarchie für <math>n</math> stationär, es wäre die Wahrheit von <math>\Delta_n</math>-Formeln dann <math>\Delta_n</math>-definierbar, was dem Undefinierbarkeitssatz widerspricht, da die Menge der <math>\Delta_n</math>-Formeln abgeschlossen unter Negation ist und mit der enthaltenen Arithmetik hinreichend mächtig, sodass das Diagonallemma gilt. Auch für die entsprechende Hierarchie formaler Sprachen gelten somit diese echten Inklusionsbeziehungen. Die jeweilige Definierbarkeit der Wahrheit erlaubt zudem erst, die <math>\Pi_n</math>- bzw. <math>\Sigma_n</math>-Definierbarkeit einer formalen Sprache als objektsprachliche Eigenschaften aufzufassen. In ZF (mit dem Unendlichkeitsaxiom) lässt sich die Trennung sogar beweisen, da die Konsistenz jedes <math>\Delta_n</math>-Fragments von ZF in ZF beweisbar ist. Dies folgt unter Verwendung der Wahrheitsdefinition für <math>\Sigma_n</math>-Formeln aus dem Reflexionsprinzip, wie es von Levy 1960 veröffentlicht wurde und das unter Voraussetzung der übrigen Axiome äquivalent zum Ersetzungsaxiom zusammen mit dem Unendlichkeitsaxiom ist.<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}| |}}}}{{#if:Joan Bagaria|Joan Bagaria: }}{{#if:|{{#if:A gentle introduction to the theory of large cardinals|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=A gentle introduction to the theory of large cardinals}}]{{#if:PDF; 459 kB| (PDF; 459 kB)}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:http://www.imub.ub.es/hocard11/Bagaria_slides.pdf%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=A gentle introduction to the theory of large cardinals}}}}|[{{#invoke:URLutil|getNormalized|1=http://www.imub.ub.es/hocard11/Bagaria_slides.pdf}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=A gentle introduction to the theory of large cardinals}}}}]}}{{#if:PDF; 459 kB| (PDF; 459 kB{{#if:201145{{#if: 2013-03-22 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:http://www.imub.ub.es/hocard11/Bagaria_slides.pdf%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=http://www.imub.ub.es/hocard11/Bagaria_slides.pdf}}%7C%7C URL ungültig}}}}{{#if:A gentle introduction to the theory of large cardinals|{{#if:{{#invoke:WLink|isValidLinktext|1=A gentle introduction to the theory of large cardinals|lines=0}}|| Linktext ungültig}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: | {{{hrsg}}}{{#if: 201145|,|{{#if: 2013-03-22 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 2011| {{#if:{{#invoke:DateTime|format|2011|noerror=1}}
            |{{#invoke:DateTime|format|2011|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2011|class=Zitationswartung}} }}{{#if: 45|,|{{#if: 2013-03-22 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 45| S. 45{{#if: |,|{{#if: 2013-03-22 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:452011|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}|{{{archiv-datum}}}{{#if:2892635||(?)}}}}}}{{#if: 2013-03-22|;}}}}{{#if: 2013-03-22| {{#if:452011{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2013-03-22 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2013-03-22|class=Zitationswartung}} }} {{#invoke:DateTime|format|2013-03-22|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:201145{{#if: 2013-03-22 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if:PDF; 459 kB | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 201145{{#if: 2013-03-22 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: http://www.imub.ub.es/hocard11/Bagaria_slides.pdf
       | {{#if:  | [3] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: http://www.imub.ub.es/hocard11/Bagaria_slides.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|http://www.imub.ub.es/hocard11/Bagaria_slides.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://www.imub.ub.es/hocard11/Bagaria_slides.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: http://www.imub.ub.es/hocard11/Bagaria_slides.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|http://www.imub.ub.es/hocard11/Bagaria_slides.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[http://www.imub.ub.es/hocard11/Bagaria_slides.pdf }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: http://www.imub.ub.es/hocard11/Bagaria_slides.pdf
       | {{#if:  | [4] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
    }}{{#if: http://www.imub.ub.es/hocard11/Bagaria_slides.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|http://www.imub.ub.es/hocard11/Bagaria_slides.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
      | {{#if: 
           |  Fehler bei Vorlage:Toter Link: 'text' angegeben, aber 'url'' fehlt.{{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=http://www.imub.ub.es/hocard11/Bagaria_slides.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   =  @@@
         |preview  = 1
       }}{{#if: http://www.imub.ub.es/hocard11/Bagaria_slides.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|http://www.imub.ub.es/hocard11/Bagaria_slides.pdf}}
          ||  Fehler bei Vorlage:Toter Link: Wert in 'url' ist ungültig.{{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             ||  Fehler bei Vorlage:Toter Link: Wert in 'date' ist ungültig.{{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=   Fehler bei Vorlage:Toter Link: Wert in 'botlauf' ist ungültig.{{#if:  ||  }}
    }}[http://www.imub.ub.es/hocard11/Bagaria_slides.pdf }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref><ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Es lässt sich zeigen, dass <math>\mathfrak{B}(\Sigma_i)^{ZF}\subsetneq\Lambda_i^{ZF}</math> für <math>i>0</math>.<ref>Levy, 1965, S. 68.</ref>

Eine <math>\Pi_n</math>- bzw. <math>\Sigma_n</math>-Menge <math>C</math> natürlicher Zahlen heißt <math>\Pi_n</math>- bzw. <math>\Sigma_n</math>-vollständig, wenn für jede andere <math>\Pi_n</math>- bzw. <math>\Sigma_n</math>-Menge <math>A\subseteq\N</math> durch eine berechenbare Funktion <math>f\colon\N\to\N</math> auf <math>C</math> reduzierbar ist, also <math>x\in A\Leftrightarrow f(x)\in C</math> gilt. Offenbar sind die Mengen der Kodierungen wahrer <math>\Pi_n</math>- bzw. <math>\Sigma_n</math>-Sätze für ihre jeweilige Klasse vollständig, <math>f</math> muss einfach so gewählt werden, dass es eine entsprechende Einsetzung vornimmt. Aufgrund der Abgeschlossenheit unter berechenbaren Urbildern sind <math>\Pi_n</math>-vollständige Mengen nicht <math>\Sigma_n</math>-definierbar und umgekehrt.

Bezug zur Arithmetik

In diesem Abschnitt wird ZF vorausgesetzt. Aus der <math>\Delta_1</math>-Definierbarkeit von natürlichen Zahlen und der arithmetischen Operationen ergibt sich, dass sich jede Formel der Arithmetik erster Stufe bereits als <math>\Delta_1</math>-Formel ausdrücken lässt. Etwa lässt sich der <math>\Sigma^0_2</math>-Satz

<math>\exist x \forall y 2\cdot y=x</math>

in den <math>\Pi_1</math>-Satz

<math>\forall \N \left(\N\text{ ist die Menge der nat. Zahlen }\right)\rightarrow \exist x\in\N \forall y\in\N 2\cdot y=x</math>

übersetzen, einen <math>\Sigma_1</math>-Satz erhält man entsprechend durch Negationen. Somit enthalten die <math>\Delta_1</math>-definierbaren Sprachen bereits alle <math>\Sigma^0_i</math>-Sprachen, das heißt die gesamte arithmetische Hierarchie. In <math>\Delta_2</math> lassen sich sogar beliebige <math>\Sigma^i_j</math>-Formeln der Arithmetik beliebiger Stufe übersetzen, insbesondere ist die gesamte analytische Hierarchie enthalten. Etwa lässt sich der <math>\Sigma^1_1</math>-Satz

<math>\exist X \forall y 2\cdot y\in X</math>

in den <math>\Pi_2</math>-Satz (<math>V</math> ist hier eine Menge, die <math>\mathcal{P}^n(\N)</math> für <math>n\in\N</math> enthält)

<math>\forall V\ \forall \N \left(\N\text{ ist die Menge der nat. Zahlen }\wedge V\text{ transitiv }\wedge\N\in V\wedge\forall P\left(\exist M\in V\ \forall S\in P\ S\subseteq M\right)\rightarrow P\in V\right)\rightarrow \exist X\in V\ X\subseteq\N\wedge\forall y\in X\ 2\cdot y\in X</math>

übersetzen, <math>\Sigma_2</math> entsprechend. Die Beziehung ergibt sich auch aus folgender allgemeinerer Beobachtung: Erweitert man die Levy-Hierarchie, indem man als beschränkte Quantifizierung auch beschränkte Quantifizierung über alle Teilmengen (<math>\forall x\subseteq y</math> etc.) zulässt, so fällt die so entstehende Hierarchie ab der Stufe <math>\Delta_2</math> mit der Levy-Hierarchie zusammen.<ref name="kayewong" />

Die Levy-Hierarchie lässt sich auch in einem konkreten Modell der Mengenlehre betrachten. Die Menge aller erblich endlichen Mengen <math>HF</math> bildet ein Modell von ZF ohne das Unendlichkeitsaxiom. Die in diesem Modell <math>\Sigma_1</math>-definierbaren Teilmengen <math>X</math> der natürlichen Zahlen, in dem Sinne, dass eine <math>\Sigma_1</math>-Formel <math>\varphi(x)</math> existiert, sodass <math>n\in X \Leftrightarrow HF\vDash\varphi(x)</math>, sind gerade die rekursiv aufzählbaren Mengen, die <math>\Delta_1</math>-definierbaren Teilmengen fallen mit den rekursiven Mengen zusammen. Allgemeiner ist die Levy-Hierarchie für dieses Modell gerade die arithmetische Hierarchie (von der Stufe <math>0</math> je nach Definition abgesehen), von der sie in diesem Sinne eine Abstraktion bildet.<ref>Barwise, S. 47.</ref>

Literatur

{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}

Weblinks

Lévy hierarchy, Eintrag im nLab. (englisch)

Einzelnachweise

Definition

Beispiele von Definierbarkeit

Δ0-definierbar

Δ1-definierbar

Σ1-definierbar

Π1-definierbar

Δ2-definierbar

Σ2-definierbar

Π2-definierbar

Σ3-definierbar