![]() | ![]() |
| 2012 | ||
|---|---|---|
| 5 | Matthew Hendtlass, Peter Schuster: A Direct Proof of Wiener's Theorem. CiE 2012: 293-302 | |
| 4 | Matthew Hendtlass: The intermediate value theorem in constructive mathematics without choice. Ann. Pure Appl. Logic 163(8): 1050-1056 (2012) | |
| 2011 | ||
| 3 | Matthew Hendtlass: The computational content of Walras' existence theorem. Applied Mathematics and Computation 217(13): 6185-6191 (2011) | |
| 2010 | ||
| 2 | Douglas S. Bridges, Matthew Hendtlass: Continuous isomorphisms from R onto a complete abelian group. J. Symb. Log. 75(3): 930-944 (2010) | |
| 1 | Douglas S. Bridges, Matthew Hendtlass: Continuous homomorphisms of R onto a compact group. Math. Log. Q. 56(2): 191-197 (2010) | |
| 1 | Douglas S. Bridges | [1] [2] |
| 2 | Peter Schuster (Peter M. Schuster) | [5] |
Data released under the ODC-BY 1.0 license — See also our legal information page