Disjunction Property Implies Existence Property
In 1974 Harvey Friedman proved that in any recursively enumerable extension of intuitionistic arithmetic, the converse of the above also holds. Throughout the following discussion assume is such an extension of arithmetic. Harvey Friedman's proof is quite intricate, making of self-referential sentences in a similar way to the one used in the proof of the incompleteness theorem. They key step is to find a bound on the existential quantifier because bounded existential formula can be written as a disjunction,
- .
However, given an arbitrary existential formula, can we hope to replace it by a bounded one?
Read more about this topic: Disjunction And Existence Properties
Famous quotes containing the words property, implies and/or existence:
“You and I ... are convinced of the fact that if our Government in Washington and in a majority of the States should revert to the control of those who frankly put property ahead of human beings instead of working for human beings under a system of government which recognizes property, the nation as a whole would again be in a bad situation.”
—Franklin D. Roosevelt (1882–1945)
“We have two kinds of “conference.” One is that to which the office boy refers when he tells the applicant for a job that Mr. Blevitch is “in conference.” This means that Mr. Blevitch is in good health and reading the paper, but otherwise unoccupied. The other type of “conference” is bona fide in so far as it implies that three or four men are talking together in one room, and don’t want to be disturbed.”
—Robert Benchley (1889–1945)
“God is the efficient cause not only of the existence of things, but also of their essence.
Corr. Individual things are nothing but modifications of the attributes of God, or modes by which the attributes of God are expressed in a fixed and definite manner.”
—Baruch (Benedict)