The given (Q791521): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q3919698 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3895390 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4071194 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3919665 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Effective procedures in field theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3293417 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5772619 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5573940 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3927227 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Effective Galois theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4063426 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Recursively enumerable vector spaces / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Effective content of field theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Strong and weak constructivization and computable families / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Computable Algebra, General Theory and Theory of Computable Fields / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Recursively enumerable Boolean algebras / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Recursion theory on orderings. I. A model theoretic setting / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On the metamathematics of algebra / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3271810 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5553838 / rank | |||
Normal rank | |||
Revision as of 11:24, 14 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The given |
scientific article |
Statements
The given (English)
0 references
1982
0 references
The paper presents a brief survey of recent work by Metakides, Nerode and others in the area of effective algebra and makes some comments on the relation between formal presentations, characterizations, etc. of sets and of algebraic structures and their practical presentations.
0 references
effective algebra
0 references
formal presentations
0 references
characterizations
0 references
sets
0 references
algebraic structures
0 references
