Undecidability and Definability for the Theory of Global FieldsR. S. Rumely · Transactions of the American Mathematical Society · 1980

DEFINABILITY OF DERIVATIONS IN THE REDUCTS OF DIFFERENTIALLY CLOSED FIELDSASLANYAN, VAHAGN · The Journal of Symbolic Logic · 2017

Definability of the ring of integers in pro-pgalois extensions of number fieldsCarlos R. Videla · 2000

An econometric analysis of energy over the next 75 yearsD.J. BenDaniel; P.J. Stewart; A.S. Manne; Roland W. Schmitt · 1977