|
|
Mathematical Logic
Description
The research interests of the logicians cover a broad spectrum of computability theory and its interaction with model theory and algebra, and reverse mathematics.
- Research in computability theory deals with algebraic characterizations of the computational power of programs using oracles (e.g., interactive computing).
The primary structures which are studied are the degrees of unsolvability and its substructures, such as the computably enumerable degrees.
- The construction of computable models for algebraic and combinatorial structures is studied in the area of computable model theory.
- Reverse mathematics classifies theorems of mathematics according to the weakest axioms needed to prove them.
Active Faculty Members
 |
| Office Hours: W: 1:00PM - 2:50PM, R 12:00PM - 12:50PM |
| Email: kach@math.uconn.edu
|
| Webpage: http://www.math.uconn.edu/~kach |
| Research: | Computability Theory (Mathematical Logic): Computable Model Theory; Reverse Mathematics; Randomness |
|
|
 |
| Office: MSB M214 (Storrs) |
Phone: (860)486-2341 |
| Office Hours: Tuesday 8:30-10:00, Friday 12:00-1:00, and by appointment |
| Email: solomon@math.uconn.edu
|
| Webpage: http://www.math.uconn.edu/~solomon |
| Research: | Computability theory, especially its applications to algebra and combinatorics, computable model theory, reverse mathematics |
|
|
|
|
University of Connecticut | 
