Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\) (Q467668): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Andrey S. Morozov / rank | |||
Property / author | |||
Property / author: Andrey S. Morozov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Σ-Definability of countable structures over real numbers, complex numbers, and quaternions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some presentations of the real number field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On \(\Sigma\)-rigid presentations of the real order / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4075450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5573961 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040890 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5792485 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2906566 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4249363 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 05:45, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\) |
scientific article |
Statements
Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\) (English)
0 references
4 November 2014
0 references
definability
0 references
computability
0 references
sigma-definability
0 references
sigma-presentability
0 references
semigroup of mappings
0 references
0 references