Mathematics – Logic
Scientific paper
2011-10-21
Mathematics
Logic
18 pages
Scientific paper
We introduce and develop the theory of metric sheaves. A metric sheaf $\A$ is
defined on a topological space $X$ such that each fiber is a metric model. We
describe the construction of the generic model as the quotient space of the
sheaf through an appropriate filter. Semantics in this model is completely
controlled and understood by the forcing rules in the sheaf.
Ochoa Maicol A.
Villaveces Andres
No associations
LandOfFree
Sheaves of metric structures 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 Sheaves of metric structures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Sheaves of metric structures will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-564085