Modifying the proof of a theorem of Wilkie, it is shown that if a one dimnsional set S is definable in an O minimal expansion of the ordered field of the reals, and if it is regularly exponentially near to many integral points, then there is an unbounded set, which is R definable without parameters, and which is exponentially near to S.

In this article we will describe some of the main developments in interest-rate modelling since Black & Scholes’ (1973) and Merton’s (1973) original articles on the pricing of equity derivatives. In particular, we will focus on continuoustime, arbitrage-free models for the full term structure of interest rates. Other models which model a limited number of key interest rates or which operate in ...

t Wilkie's stochastic investment model and its variants have been increasingly applied by actuaries around the world to actuarial modeling and simulation. This paper performs time series outlier analysis on retail price inflation, which is the driving force of Wilkie's composite model. The data come from four developed countries: the United Kingdom, the United States, Canada, and Australia. The...

This paper reassesses the burden of the current U.S. international tax regime and reconsiders well-known welfare benchmarks used to guide international tax reform. Reinventing corporate tax policy requires that international considerations be placed front and center in the debate on how to tax corporate income. A simple framework for assessing current rules suggests a U.S. tax burden on foreign...

this paper investigates the key factors affecting the foreign direct investment (fdi) inflow to deve­­loping countries during the period (1995-2010) with emphasis on the financial development. financial development, as an important factor in fdi absorption and a prerequisite for utilizing the benefits of fdi, not only increases the fdi inflow in developing countries, but also improve the absorp...

The research at University College London School of Medicine (UCLSM) is supported by the Wellcome Trust, Action Research, the Special Trustees of University College Hospital, and the Muscular Dystrophy Group of Great Britain. The studies have been carried out with the assistance of Dr. P. S. Tofts, Mr. D. Delpy and Mr. A. Chu of the Department of Medical Physics (UCLSM), and Mr. N.Taylor of Kin...

System-initiated digressive proposals may be used to introduce new and unexpected information into automated telephone services. These digressions may be viewed as particularly pronounced forms of unsolicited interruptions as they contain information not directly related to the caller’s intended activity. In human–human conversation, interruptions are considered to be speech acts which intrinsi...

1 Drawing borders Logic arose in Antiquity from two sources: the study of real argumentation in the dialectical tradition, and that of axiom-based proof patterns organizing scientific inquiry. Over the centuries that followed, the discipline turned abstract and eventually, profoundly mathematical. Is logic still about human reasoning? Or is it, as Kant and Bolzano said, about an abstraction in ...

In 1981, Paris and Wilkie [28] indicated it was an open question whether IΣ0 would satisfy the Second Incompleteness Theorem for Herbrand deduction. We will show that some specially formulated axiomizations for IΣ0 can evade the Herbrandized version of the Second Incompleteness Theorem.