Carsten Butz  Home/Search
Context
Related
| brics.dk/~butz/Science/.....utr01.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brics.dk/~butz/Sci...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We prove a topological completeness theorem for infinitary geometric theories with respect to sheaf models. The theorem extends a classical result of Makkai and Reyes, stating that any topos with enough points has an open spatial cover. We show that one can achieve in addition that the cover is connected and locally connected. 1 (Update)
Active bibliography (related documents): More All
0.3: Syntax and Semantics of the logic ... - Butz (1997) (Correct)
0.3: Topological Completeness for Higher-Order Logic - Awodey, Butz (1998) (Correct)
0.3: Sheaf Representation for Topoi - Awodey (1997) (Correct)
Similar documents based on text: More All
1.3: Representing Topoi By Topological Groupoids - Butz, Moerdijk (1996) (Correct)
0.8: Topical Categories of Domains - Vickers (1997) (Correct)
0.8: A Fibrational View of Geometric Morphisms - Streicher (1997) (Correct)
BibTeX entry: (Update)
@misc{ butz-topological,
author = "Carsten Butz",
title = "A Topological Completeness Theorem",
url = "citeseer.ist.psu.edu/article/butz96topological.html" }
Citations (may not include all citations):83 Topos Theory (context) - Johnstone - 1977
36 Th'eorie des Topos et Cohomologie Etale des Sch'emas (context) - Artin, Grothendieck et al. - 1972
30 Sheaves and logic (context) - Fourman, Scott - 1979
25 First Order Categorical Logic (context) - Makkai, Reyes - 1977
19 Sheaves in Geometry and Logic (context) - MacLane, Moerdijk - 1992
9 Open maps of toposes (context) - Johnstone - 1980
8 Topological representation of sheaf cohomology of sites - Butz, Moerdijk - 1996
6 Logical and cohomological aspects of the space of points of .. (context) - Butz - 1996
1 The classifying topos of a first order theory (context) - Butz - 1996
1 Mathematisch Instituut (context) - Tennison, Cambridge et al. - 1975
Documents on the same site (http://www.brics.dk/~butz/Science/publications.html):
A Definability Theorem for First Order Logic - Carsten Butz (1997) (Correct)
Topological Representation of Sheaf Cohomology of Sites - Butz, Moerdijk (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC