Scott families and complexity of isomorphisms Presentation uri icon