Topological Completeness for Higher-Order Logic

Details Topological Completeness for Higher-Order Logic Topological Completeness for Higher-Order Logic

1997-07-24

arxiv.org/abs/math/9707206v1

Mathematics

Logic

Scientific paper

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.

Affiliated with

Also associated with

No associations

Rating

Topological Completeness for Higher-Order Logic 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 Topological Completeness for Higher-Order Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Topological Completeness for Higher-Order Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-662191