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 of

First Page		Document Content
Date: 2009-06-07 10:47:50 Computability 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 of Add to Reading List Source URL: www.math.uconn.edu Download Document from Source Website File Size: 238,44 KB Share Document on Facebook

	The computable model theory of uncountably categorical models DocID: 1u5Il - View Document
	The computable model theory of uncountably categorical models DocID: 1tZuD - View Document
	The computable model theory of uncountably categorical models DocID: 1tUuQ - View Document
	Jason M Rute* (), University Park, PAApplication of computable continuous model theory to a question in proof theory. There are many ways to express that a sequence converges. They DocID: 1sYA9 - View Document
	Moving from Static to Dynamic General Equilibrium Economic Models (Notes for a beginner in MPSGE) Sergey Paltsev Joint Program on the Science and Policy of Global Change Massachusetts Institute of Technology DocID: 1qG9h - View Document