Formalizing set theory in weak logics, searching for the weakest logic with Gödel's incompleteness property

Details Formalizing set theory in weak logics, searching for the weakest logic with Gödel's incompleteness property Formalizing set theory in weak logics, searching for the weakest logic with Gödel's incompleteness property

2011-11-03

arxiv.org/abs/1111.0995v1

Mathematics

Logic

24 pages, 3 figures. First version, additional material in http://www.renyi.hu/~nemeti/FormalizingST.htm

Scientific paper

We show that first-order logic can be translated into a very simple and weak logic, and thus set theory can be formalized in this weak logic. This weak logical system is equivalent to the equational theory of Boolean algebras with three commuting complemented closure operators, i.e., that of diagonal-free 3-dimensional cylindric algebras (Df_3's). Equivalently, set theory can be formulated in propositional logic with 3 commuting S5 modalities (i.e., in the multi-modal logic [S5,S5,S5]). There are many consequences, e.g., free finitely generated Df_3's are not atomic and [S5,S5,S5] has G\"odel's incompleteness property. The results reported here are strong improvements of the main result of the book: Tarski, A. and Givant, S. R., Formalizing Set Theory without variables, AMS, 1987.

Affiliated with

Also associated with

No associations

Rating

Formalizing set theory in weak logics, searching for the weakest logic with Gödel's incompleteness property 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 Formalizing set theory in weak logics, searching for the weakest logic with Gödel's incompleteness property, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formalizing set theory in weak logics, searching for the weakest logic with Gödel's incompleteness property will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-100160