On definability of ordinals in logic with infinitely long expressions (Q5573956): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On predicates with constructive infinitely long expressions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5848994 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A metamathematical theorem on the theory of ordinal numbers / rank | |||
Normal rank |
Latest revision as of 00:44, 12 June 2024
scientific article; zbMATH DE number 3291127
Language | Label | Description | Also known as |
---|---|---|---|
English | On definability of ordinals in logic with infinitely long expressions |
scientific article; zbMATH DE number 3291127 |
Statements
On definability of ordinals in logic with infinitely long expressions (English)
0 references
1966
0 references
algebraic logic, model theory
0 references