The following pages link to (Q3433173):
Displaying 7 items.
- Observationally-induced algebras in domain theory (Q276418) (← links)
- Towards a descriptive set theory for domain-like structures (Q854185) (← links)
- An application of infinitary universal algebra to set theory (Q1337156) (← links)
- (Q4680361) (← links)
- Nominal Sets over Algebraic Atoms (Q5410500) (← links)
- Algebraic set theory and the effective topos (Q5718693) (← links)
- A set-theoretic representation of algebraic L-domains (Q6111975) (← links)
