A Logical Framework for Set Theories

Details A Logical Framework for Set Theories A Logical Framework for Set Theories

2012-03-28

arxiv.org/abs/1203.6157v1

EPTCS 81, 2012, pp. 3-15

Computer Science

Logic in Computer Science

In Proceedings LSFA 2011, arXiv:1203.5423

Scientific paper

10.4204/EPTCS.81.1

Axiomatic set theory is almost universally accepted as the basic theory which provides the foundations of mathematics, and in which the whole of present day mathematics can be developed. As such, it is the most natural framework for Mathematical Knowledge Management. However, in order to be used for this task it is necessary to overcome serious gaps that exist between the "official" formulations of set theory (as given e.g. by formal set theory ZF) and actual mathematical practice. In this work we present a new unified framework for formalizations of axiomatic set theories of different strength, from rudimentary set theory to full ZF. It allows the use of set terms, but provides a static check of their validity.

Affiliated with

Also associated with

No associations

Rating

A Logical Framework for Set Theories 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 A Logical Framework for Set Theories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Logical Framework for Set Theories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-271831