Open AccessConstructive aspects of Kochen's theorem on p-adic closures
Author(s) -
Evan Eakins
Publication year - 2014
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.31390/gradschool_dissertations.1936
Subject(s) - axiom , axiom of choice , constructive , closure (psychology) , mathematics , set (abstract data type) , reverse mathematics , field (mathematics) , constructive set theory , constructive proof , discrete mathematics , set theory , automated theorem proving , mathematical economics , algebra over a field , calculus (dental) , pure mathematics , computer science , algorithm , programming language , medicine , geometry , process (computing) , dentistry , economics , market economy
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom