<--- Back to Details
First PageDocument Content
Computability theory / Model theory / Logic / Mathematics / Theory of computation / Alan Turing / Constructivism / Philosophy of mathematics / Computable model theory / Turing degree / Enumeration / Mathematical logic
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

Similar Documents

Philosophy of Mathematics SIGMAA Charter

Philosophy of Mathematics SIGMAA Charter

DocID: 1vqOI - View Document

POMSIGMAA Newsletter Spring/Summer, 2008 Greetings from the Executive Board of POMSIGMAA, the Special Interest Group of the Mathematical Association of America for the Philosophy of Mathematics. We have newsletters twi

DocID: 1vfZq - View Document

Philosophy of Mathematics SIGMAA Charter

Philosophy of Mathematics SIGMAA Charter

DocID: 1vcBM - View Document

Announcement Novembertagung on the History of Mathematics 2017 Theme: “Tools for research in mathematics, history and philosophy” in Brussels, Belgium November 2-4, 2017

Announcement Novembertagung on the History of Mathematics 2017 Theme: “Tools for research in mathematics, history and philosophy” in Brussels, Belgium November 2-4, 2017

DocID: 1v2tx - View Document

Q-Curves with Complex Multiplication Ley Wilson A thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Pure Mathematics

Q-Curves with Complex Multiplication Ley Wilson A thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Pure Mathematics

DocID: 1v1R7 - View Document