Zum Inhalt springen
Mathematische Logik/Gemischte Satzabfrage/Erster Teil/2/Aufgabe/Lösung
- Es sei
eine
geordnete Menge
mit der Eigenschaft, dass jede
total geordnete
Teilmenge
eine
obere Schranke
in
besitzt. Dann gibt es in
maximale Elemente.
- Es sei
ein
Peano-Halbring
und
.
Dann gibt es zu jedem
eindeutig bestimmte
mit
,
, und mit
-

- Es sei
ein Symbolalphabet,
eine Menge an
-Ausdrücken und
ein weiterer
-Ausdruck. Dann gilt
genau dann, wenn es eine endliche Teilmenge
gibt mit
.