268 Definitionsverzeichnis
Definition 2-1. Abschnitt in einer Sequenz (Metavariablen: &, S, ¢, &', S', ¢', &*, S*, £*, ...).................48
Definition 2-2. Zuordnung der Menge der Abschnitte von ft (ABS)..............................................................48
Definition 2-3. Abschnitt ............................................................................................................................... 48
Definition 2-4. Teilabschnitt .......................................................................................................................... 48
Definition 2-5. Echter Teilabschnitt ............................................................................................................... 48
Definition 2-6. Passende Folgen naturlicher Zahlen fur Teilmengen von Sequenzen....................................54
Definition 2-7. Abschnittsfolgen fur Sequenzen............................................................................................56
Definition 2-8. Zuordnung der Menge der Abschnittsfolgen fur ft (ABSF)....................................................56
Definition 2-9. ANS-umfassende Abschnittsfolge fur einen Abschnitt in ft...................................................59
Definition 2-10. Zuordnung der Menge der ANS-umfassenden Abschnittsfolgen in ft (ANSUMF)...............59
Definition 2-11. SE-artiger Abschnitt ............................................................................................................ 64
Definition 2-12. NE-artiger Abschnitt ............................................................................................................ 64
Definition 2-13. EA-artiger Abschnitt ............................................................................................................ 65
Definition 2-14. Minimaler SE-geschlossener Abschnitt ............................................................................... 66
Definition 2-15. Minimaler NE-geschlossener Abschnitt ............................................................................... 66
Definition 2-16. Minimaler PB-geschlossener Abschnitt ............................................................................... 66
Definition 2-17. Minimaler geschlossener Abschnitt .................................................................................... 67
Definition 2-18. Proto-Erzeugungsrelation fur non-redundante SE-, NE- und EA-artige Abschnitte in
Sequenzen (PERZ) ................................................................................................................................. 68
Definition 2-19. Erzeugungsrelation fur non-redundante SE-, NE- und EA-artige Abschnitte in Sequenzen
(ERZ) .....................................................................................................................................................70
Definition 2-20. Menge der ERZ-induktiven Relationen (GSR) ...................................................................... 72
Definition 2-21. Die kleinste ERZ-induktive Relation (GS) ............................................................................. 73
Definition 2-22. Geschlossener Abschnitt ..................................................................................................... 74
Definition 2-23. SE-geschlossener Abschnitt ................................................................................................. 90
Definition 2-24. NE-geschlossener Abschnitt ................................................................................................ 90
Definition 2-25. PB-geschlossener Abschnitt................................................................................................. 91
Definition 2-26. Verfugbarkeit einer Aussage in einer Sequenz an einer Stelle .......................................... 104
Definition 2-27. Verfugbarkeit einer Aussage in einer Sequenz .................................................................. 104
Definition 2-28. Zuordnung der Menge der verfugbaren Satze (VERS).......................................................104
Definition 2-29. Zuordnung der Menge der verfugbaren Annahmesatze (VANS).......................................104
Definition 2-30. Zuordnung der Menge der verfugbaren Aussagen (VER) .................................................. 105
Definition 2-31. Zuordnung der Menge der verfugbaren Annahmen (VAN) ............................................... 105
Definition 3-1. Annahmefunktion (AF) ........................................................................................................ 127
Definition 3-2. Subjunktoreinfuhrungsfunktion (SEF) .................................................................................. 128
Definition 3-3. Subjunktorbeseitigungsfunktion (SBF) ................................................................................ 128