Universal models and definability

Details Universal models and definability Universal models and definability

2009-06-17

arxiv.org/abs/0906.3061v1

Mathematics

Category Theory

31 pages

Scientific paper

We show that the investigation of universal models in Topos Theory can shed
light on problems of definability in Logic as well as on the investigation of
De Morgan's law and the law of excluded middle on Grothendieck toposes.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-222265