Search
Skip to Search Results
Filter
Languages
Author / Creator / Contributor
Year
Item type
-
2001
We give an answer to the question as to whether quantifier elimination is possible in some infinite algebraic extensions of QpQp ('infinite p-adic fields') using a natural language extension. The present paper deals with those infinite p-adic fields which admit only tamely ramified algebraic...
-
2006
Zalta, Edward N. , Linsky, Bernard
Logicism is a thesis about the foundations of mathematics, roughly, that mathematics is derivable from logic alone. It is now widely accepted that the thesis is false and that the logicist program of the early 20th century was unsuccessful. Frege's [1893/1903] system was inconsistent and the...
1 - 2 of 2