Effective categoricity of injection structures

  • Authors:

  • Douglas Cenzer;Valentina Harizanov;Jeffrey B. Remmel

  • Affiliations:

  • Department of Mathematics, University of Florida, Gainesville, FL;Department of Mathematics, George Washington University, Washington, DC;Department of Mathematics, University of California at San Diego, La Jolla, CA

  • Venue:
  • CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study computability theoretic properties of computable injection structures and the complexity of isomorphisms between these structures.