The given (Q791521): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
| (3 intermediate revisions by 3 users not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| 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 | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf00370340 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W4245578743 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 09:34, 30 July 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
