Search

2001

Brigandt, Ingo

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...