Smooth classes without AC and Robinson theories