Relations in monadic third-order logic (Q1372940): Difference between revisions

In der monadischen Logik der dritten Stufe (verkürzt: M3oL) kommen als gebundene Variablen nur Individuen, einstellige Prädikate der ersten Stufe und solche einstelligen Prädikate der zweiten Stufe vor, für welche als Argumente die einstelligen Prädikate der ersten Stufe auftreten. Der Verf. betrachtet die Möglichkeit, die vollständige Logik der zweiten Stufe durch M3oL im Sinn von \textit{J. P. Burgess}, \textit{A. P. Hazen} und \textit{D. Lewis} [``Appendix on pairing'', in: \textit{D. Lewis}, Parts of Classes (Basil Blackwell, Oxford, 1990), pp. 121-149] zu vertreten. Der Verfasser kommt zur Schlußfolgerung, daß dies im ganzen Ausmaß ohne die Anwendung des Auswahlaxioms nicht möglich ist. Dagegen ist es möglich in einigen Sonderfällen, z.B. für symmetrische Relationen.