The reducts of equality up to primitive positive interdefinability

Details The reducts of equality up to primitive positive interdefinability The reducts of equality up to primitive positive interdefinability

2008-10-13

arxiv.org/abs/0810.2270v3

Mathematics

Logic

41 pages; version 3 has been been checked also by non-authors

Scientific paper

We initiate the study of reducts of relational structures up to primitive positive interdefinability: After providing the tools for such a study, we apply these tools in order to obtain a classification of the reducts of the logic of equality. It turns out that there exists a continuum of such reducts. Equivalently, expressed in the language of universal algebra, we classify those locally closed clones over a countable domain which contain all permutations of the domain.

Affiliated with

Also associated with

No associations

Rating

The reducts of equality up to primitive positive interdefinability 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 The reducts of equality up to primitive positive interdefinability, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The reducts of equality up to primitive positive interdefinability will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-720370