Open AccessConstructive aspects of Kochen's theorem on p-adic closures
Author(s) -
Evan Michael Eakins
Publication year - 2022
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.31390/gradschool_dissertations.1936
Subject(s) - axiom of choice , constructive , axiom , closure (psychology) , mathematics , constructive set theory , set (abstract data type) , mathematical economics , field (mathematics) , constructive proof , discrete mathematics , reverse mathematics , set theory , automated theorem proving , calculus (dental) , pure mathematics , algebra over a field , computer science , algorithm , programming language , political science , law , medicine , geometry , process (computing) , dentistry