On hierarchies of universal predicates

Details On hierarchies of universal predicates On hierarchies of universal predicates

2007-03-24

arxiv.org/abs/math/0703720v1

Mathematics

Logic

Scientific paper

We investigate a hierarchy of arithmetical structures obtained by a
transfinite addition of a canonic universal predicate, where the canonic
universal predicate for M is defined as a minimum universal predicate for M in
terms of definability. We determine the upper bound of the hierarchy and give a
characterisation for the sets definable in the hierarchy.

Affiliated with

Also associated with

No associations

Rating

On hierarchies of universal predicates 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 On hierarchies of universal predicates, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On hierarchies of universal predicates will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-360995