The theory of successor with an extra predicate (Q1243711): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Definability in the monadic second-order theory of successor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidability and undecidability of extensions of second (first) order theory of (generalized) successor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5551141 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5573961 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on undecidable extensions of monadic second order successor arithmetic / rank | |||
Normal rank |
Latest revision as of 22:36, 12 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The theory of successor with an extra predicate |
scientific article |
Statements
The theory of successor with an extra predicate (English)
0 references
1978
0 references
0 references