The Herbrand Topos

Details The Herbrand Topos The Herbrand Topos

2011-12-16

arxiv.org/abs/1112.3837v2

Mathematics

Category Theory

Scientific paper

We define a new topos, the Herbrand topos, inspired by the modified realizability topos and our earlier work on Herbrand realizability. We also introduce the category of Herbrand assemblies and characterise these as the double-negation-separated objects in the Herbrand topos. In addition, we show that the category of sets is included as the category of double-negation-sheaves and prove that the inclusion functor preserves and reflects validity of first-order formulas.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-137066