Date: 2009-06-07 10:47:50Computability theory Model theory Logic Mathematics Theory of computation Alan Turing Constructivism Philosophy of mathematics Computable model theory Turing degree Enumeration Mathematical logic | | Separating the Degree Spectra of Structures Tyler John Markkanen, Ph.D. University of Connecticut, 2009 In computable model theory, mathematical structures are studied on the basis ofAdd to Reading ListSource URL: www.math.uconn.eduDownload Document from Source Website File Size: 238,44 KBShare Document on Facebook
|