User:Jordan Mitchell Barrett

Wikipedia:Babel enThis user is a native speaker of the English language. es-1Este usuario puede contribuir con un nivel básico de español. Search user languages I am a software engineer at Canonical, working on Juju. I used to be a mathematician, and still maintain a recreational interest in mathematics. Articles which I have created, written, or provided major contributions to: Gowers' theorem Index set (recursion theory) - added section on completeness in the arithmetical hierarchy Induction, bounding and least number principles Thomas Forster (mathematician) Filter quantifier Nomad (NZ band) Fraïssé limit - created as a merger of Age (model theory) and Fraïssé's theorem Rigidity (mathematics) - added section on combinatorial concept of a rigid surjection Structural Ramsey theory

Userboxes This user is interested in Mathematics. This user is a participant in WikiProject Mathematics. Erdős 3This user has an Erdős number of 3. math-3This user can contribute with advanced mathematical skills. This user is interested in logic. This user is a musician. This user is proud to be a Kiwi.