# Hannes Diener

> mathematician in New Zealand

**Wikidata**: [Q102351289](https://www.wikidata.org/wiki/Q102351289)  
**Source**: https://4ort.xyz/entity/hannes-diener


## References

1. BnF authorities
2. Mathematics Genealogy Project
3. Compactness Under Constructive Scrutiny
4. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-1122-5753/employment/5478203)
5. [Source](http://hdl.handle.net/10092/1823)
6. Naïve infinitesimal analysis.
7. [Source](http://hdl.handle.net/10092/16627)
8. Normalized naive set theory.
9. [Source](http://hdl.handle.net/10092/14559)
10. Virtual International Authority File
11. [Source](https://data.dnb.de/opendata/authorities-gnd-person_lds.rdf.gz)