Wolfgang E. Eppenschwandtner  Home/Search
Context
Related
| fsmat.at/~weppens/p/sheafmod.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: fsmat.at/~weppens/ (more) Homepages: W.Eppenschwandtner |
Rate this article:      (best)Comment on this article |
Abstract: Independent statements, i.e. statements that are neither provable nor refutable within a consistent system of axioms, have a singular attractive position in mathematics. (Update)
Active bibliography (related documents): More All
0.8: Realizability, Set Theory and Term Extraction - Lipton (Correct)
0.5: Arrow's Theorem, Weglorz' Models and the Axiom of Choice - Brunner, Mihara (1999) (Correct)
0.5: Ramsey And Freeness Properties Of Polish Planes - Spinas (Correct)
Similar documents based on text: More All
0.2: A Topological Completeness Theorem - Butz (1996) (Correct)
0.2: On the Independence of P Versus NP - Ben-David, Halevi (Correct)
0.1: Topological Completeness for Higher-Order Logic - Awodey, Butz (1998) (Correct)
BibTeX entry: (Update)
@misc{ eppenschwandtner-sheaf,
author = "Wolfgang E. Eppenschwandtner",
title = "Sheaf Models for Set Theory and Independence Proofs - an Overview",
url = "citeseer.ist.psu.edu/eppenschwandtner02sheaf.html" }
Citations (may not include all citations):159 Non-well-founded Sets (context) - Peter - 1988
112 Constructivism in Mathematics (context) - Troelstra, Van Dalen - 1992
65 Sheaves in Geometry and Logic: A First Introduction to Topos.. (context) - Lane, Moerdijk - 1994
16 ective Topos (context) - Hyland, The - 1982
15 Springer-Verlag (context) - Michael, Charles et al. - 1985
14 The Independence of Continuum Hypothesis (context) - Paul - 1963
8 Realizability and Recursive Mathematics (context) - McCarty - 1984
8 Proper and Improper Forcing (context) - Saharon - 1998
6 Continuous Fibrations and Inverse Limits of Toposes (context) - Ieke - 1986
6 Sheaf Models for Set Theory (context) - Michael - 1980
6 FibrationsOfGraphs - Paolo, Sebastiano et al. - 2002
4 eorie des Topos et Cohomologie etale des Schemas (context) - Alexander, Th - 1972
3 The Strength of Mac Lane Set Theory - Mathias - 2001
3 Oxford Science Publications (context) - Colin, Elementary - 1995
3 Intuitionistic Sets and Ordinals (context) - Paul - 1996
3 Multiple Forcing (context) - Thomas - 1986
3 Topose and Constructive Set TheoryPredicative Aspect AST (context) - Ieke, Type et al. - 2002
2 Tools for Your Forcing Construction (context) - Martin - 1993
2 Freyd's Models for the Independence of the Axiom of Choice (context) - Andreas, Andre - 1989
2 The Axiom of Choice (context) - Peter - 1980
2 in LMS Lecture Note Series (context) - Andr, Moerdijk et al. - 1995
1 Philosophia Mathematica (context) - Ieke, Topoi - 1998
1 A Taste of Proper Forcing (context) - Martin - 1998
1 Comments on the Developments of Topos Theory (context) - Lawvere - 2000
1 URL http://www (context) - Guiseppe, slides - 1999
1 Consistency and Independence Results in Intuitionistic Set T.. (context) - Andrej - 1981
1 von Lecture Notes (context) - Myles, the et al. - 1972
1 Forcing and Classi ying Topoi (context) - Andrej - 1984
1 Complete Topoi Representing Models of Set Theory (context) - Andreas, Andre - 1992
1 On Set Theories in Toposes (context) - Susumu - 1981
1 Reals and Forcing with an Elementary Topos (context) - Lane, Moerdijk - 1992
1 A Proof of the Associated Sheaf Theorem by Means of Categori.. (context) - Barbara - 1981
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