HIGHLIGHTS
- who: Takayuki Kihara from the (UNIVERSITY) have published the Article: Lawvere-Tierney topologies for computability theorists, in the Journal: (JOURNAL) of August/19,/2022
- what: For instance the authors show that there exists no minimal Lawvere-Tierney topology which is strictly above the identity topology on the effective topos. While the notion of Lawvere-Tierney topology is originally studied in an abstract context, the authors develop the theory in the most intuitive and elementary way possible. Hyland`s embedding can be extended to partial functions or even partial multifunctions on N. By extending this further . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.