Computable structures, effective products, and definability, AMS meeting, Hartford, Connecticut (invited). Conference Paper uri icon