Lattice of relational algebras definable in integers with successor

Details Lattice of relational algebras definable in integers with successor Lattice of relational algebras definable in integers with successor

2012-01-21

arxiv.org/abs/1201.4439v3

Mathematics

Logic

8 pages

Scientific paper

Svenonius theorem reduces the problem of first-order definability to the
problem of relationship between groups of permutations. In the present paper we
use this approach to describe lattices of definable relations for the structure
of rational numbers with the order relation and for the structure of integer
numbers with the successor relation.

Affiliated with

Also associated with

No associations

Rating

Lattice of relational algebras definable in integers with successor 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 Lattice of relational algebras definable in integers with successor, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Lattice of relational algebras definable in integers with successor will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-134761