Relations in monadic third-order logic (Q1372940): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Allen P. Hazen / rank | |||
Property / reviewed by | |||
Property / reviewed by: A. Tauts / rank | |||
Property / author | |||
Property / author: Allen P. Hazen / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: A. Tauts / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arithmetic and the theory of types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3235339 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3227562 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mathematics in Megethology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5734418 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5586299 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1004247419201 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2040290908 / rank | |||
Normal rank |
Latest revision as of 09:42, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relations in monadic third-order logic |
scientific article |
Statements
Relations in monadic third-order logic (English)
0 references
4 November 1997
0 references
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.
0 references
theory of types
0 references
monadic logic
0 references
axiom of choice
0 references
symmetric relations
0 references