Axioms for Computation Theories-First Draft

This publication has 9 references indexed in Scilit:

• Abstract Computability and Invariant Definability
  The Journal of Symbolic Logic, 1970
• Determinacy and Prewellorderings of the Continuum
  Published by Elsevier ,1970
• Uniformly Reflexive Structures: On the Nature of Godelizations and Relative Computability
  Transactions of the American Mathematical Society, 1969
• Abstract first order computability. II
  Transactions of the American Mathematical Society, 1969
• Implicit definability and infinitary languages
  The Journal of Symbolic Logic, 1968
• Hyperanalytic predicates
  Transactions of the American Mathematical Society, 1967
• Metarecursive sets
  The Journal of Symbolic Logic, 1965
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
  American Journal of Mathematics, 1955
• Recursive well-orderings
  The Journal of Symbolic Logic, 1955