Interpreting the monadic second order theory of one successor in expansions of the real line (Q1650004): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Created claim: Wikidata QID (P12): Q130172604, #quickstatements; #temporary_batch_1726323884171 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q130172604 / rank | |||
Normal rank |
Revision as of 15:28, 14 September 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Interpreting the monadic second order theory of one successor in expansions of the real line |
scientific article |
Statements
Interpreting the monadic second order theory of one successor in expansions of the real line (English)
0 references
29 June 2018
0 references