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.

The growing demand for data storage and computational power has increased the global deployment of data centers. Today, data centers are the backbone of modern companies, but also main consumers of energy and among the major producers of greenhouse gas emissions. Therefore, the development and implementation of sustainable and energy efficient Green Data Centers (GDC) has gained relevance from ...

The liberalization of electricity markets in recent years has enhanced competition among powergenerating firms facing uncertain decisions of competitors and thus uncertain prices. At the same time, promoting renewable energy has been a key ingredient in energy policy seeking to de-carbonize the energy mix. Public incentives for companies to invest in renewable technologies range from feed-in ta...

This paper studies a new renewable energy investment model through crowdfunding, which is motivated by emerging community solar farms. In this paper we develop a sequential game theory model to capture the interactions among crowdfunders, the solar farm owner, and an electricity company who purchases renewable energy generated by the solar farm in a multi-period framework. By characterizing a u...

Although the practical importance of investment analysis in long-term energy investments is well understood, choosing the proper method has always been a dilemma. In this regard, classic evaluation methods, with a history of almost a century, are mostly favored, but using them in the valuation of long-lasting energy projects has particular shortcomings, nevertheless. The drawbacks mainly stem f...