IST is more than an algorithm to prove ZFC theorems

Details IST is more than an algorithm to prove ZFC theorems IST is more than an algorithm to prove ZFC theorems

1993-10-26

arxiv.org/abs/math/9310213v1

Mathematics

Logic

Scientific paper

There is a sentence in the language of IST, Nelson's internal set theory, which is not equivalent in IST to a sentence in the ZFC language. Thus the Reduction algorithm of Nelson, that converts bounded IST formulas with standard parameters to provably (in IST) equivalent formulas in the ZFC language, cannot be extended to all formulas of the IST language. Therefore, certain IST sentences are "meaningless" from the point of view of the standard universe.

Affiliated with

Also associated with

No associations

Rating

IST is more than an algorithm to prove ZFC theorems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with IST is more than an algorithm to prove ZFC theorems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and IST is more than an algorithm to prove ZFC theorems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-609961