Antonina Kolokolova Books
Systems of bounded arithmetic from descriptive complexity.
In this thesis we discuss a general method of constructing systems of bounded arithmetic from descriptive complexity logics of known complexity. We discuss the conditions under which the resulting...
Read More