CONSTRUCTIVE ALGEBRAS I

This publication has 9 references indexed in Scilit:

• Gödel numberings of partial recursive functions
  The Journal of Symbolic Logic, 1958
• Effective procedures in field theory
  Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1956
• Creative sets
  Mathematical Logic Quarterly, 1955
• Classes of Recursively Enumerable Sets and Their Decision Problems
  Transactions of the American Mathematical Society, 1953
• On a system of axioms which has no recursively enumerable arithmetic model
  Fundamenta Mathematicae, 1953
• Models of axiomatic systems
  Fundamenta Mathematicae, 1952
• Primitive recursive functions
  Bulletin of the American Mathematical Society, 1947
• Recursively enumerable sets of positive integers and their decision problems
  Bulletin of the American Mathematical Society, 1944
• The decision problem for some classes of sentences without quantifiers
  The Journal of Symbolic Logic, 1943