Abstract
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.
Similar content being viewed by others
References
C. J. Ash and A. Nerode, Intrinsically recursive relations, (1981) in [7], pp. 26–41.
G. Baumslag, F. B. Canonito, C. F. Miller III, Computable algebra and group embeddings, Journal of Algebra (to appear).
G. Cantor, Ueber die Ausdehnung eines Satzes aus Theorie der trigonometrischenen Reihen, Mathematische Annalen 5 (1872), pp. 123–132.
—Ueber unendlich lineare Punktmannigfaltigkeiten, Mathematische Annalen 15 (1879), pp. 1–7; 17 (1880), pp. 355–358; 20 (1882), pp. 113–121; 21 (1883), pp. 51–58, 545–586; 23 (1884), pp. 453–488.
—, Letter to Dedekind (1899), in [13], pp. 113–117.
J. N. Crossley (Ed.), Algebra and logic, Springer Lecture Notes 450, 1975.
—Aspects of Effective Algebra, Steel's Creek, Australia, 1981.
-, Reminiscences of logicians (1975), in [6], pp. 1–62.
-, Reminiscences of logicians II (1981), in [7], pp. 1–25.
A. Frohlich and J. C. Shepherdson, Effective procedures in field theory, Philosophical Transactions of the Royal Society of London, Series A 248 (1956), pp. 407–432.
P. Halmos, Finite Dimensional Vector Spaces, Princeton, 1958.
G. H. Hardy and E. M. Wright, An Introduction to the Theory of Numbers, Oxford, 1938.
J. van Heijenoort, From Frege to Gödel, Cambridge, Mass., 1967.
P. Hingston, Effective decomposition in Noetherian rings (1981), in [7], pp. 122–127.
I. Lakatos, Proofs and Refutations, Cambridge, 1976.
P. La Roche, Effective Galois theory, Journal of Symbolic Logic (to appear).
C. Lin, The effective content of Ulam's theorem (1981), in [7], pp. 147–160.
G. Metakides and A. Nerode, Recursion theory and algebra (1975), in [6,] pp. 209–219.
—Recursively enumerable vector spaces, Annals of Mathematical Logic 11 (1977), pp. 147–171.
—Effective content of field theory, Annals of Mathematical Logic 17 (1979), pp. 289–320.
A. T. Nurtazin, Strong and weak constructivization and computable families, Algebra and Logic 13 (1975), pp. 177–184.
M. O. Rabin, Computable algebra, general theory, and theory of fields, Transactions of the American Mathematical Society 95 (1960), pp. 341–360.
J. B. Remmel, Recursively enumerable Boolean algebras, Annals of Mathematical Logic 14 (1978), pp. 75–107.
J. B. Remmel and G. Metakides, Recursion theory on orderins, Journal of Symbolic Logic 43 (1979), pp. 383–402.
A. Robinson, The Metamathematics of Algebra, Amsterdam, 1951.
W. W. Rouse Ball, A Short Account of the History of Mathematics, Dover reprint of 4th 1908 edition, 1960.
T. Skolem, Some remarks on axiomatized set theory (1922), in [13], pp. 290–301.
E. Steinitz, Algebraische Theorie der Korper mit Erlauterungen und einem Anhang von R. Baer und H. Hasse, Berlin, 1930.
B. L. van der Waerden, Moderne Algebra, 1st edition, Springer, 1930.
—Eine Bemerkung ueber die Unzerlegbarkeit von Polynomen, Mathematische Annalen 102 (1930), pp. 738–739.
A. Weil, Foundations of Algebraic Geometry, 2nd edition, Providence, 1962.
E. Zermelo, Investigations in the foundations of set theory I (1908), in [13] pp. 199–215.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Crossley, J.N. The given. Stud Logica 41, 131–139 (1982). https://doi.org/10.1007/BF00370340
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370340