The following pages link to Toposes without points (Q1212528):
Displaying 23 items.
- Classifying spaces for sheaves of simplicial groupoids (Q687581) (← links)
- Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic'' sets, ``intuitionistic'' fuzzy sets and topologies (Q812590) (← links)
- A model for spacetime: the role of interpretation in some Grothendieck topoi (Q862637) (← links)
- A model for spacetime. II: The emergence of higher dimensions and field theory/strings dualities (Q867187) (← links)
- Etendues and categories with monic maps (Q1158507) (← links)
- A globalization of the Hahn-Banach theorem (Q1177237) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
- A globalisation of the Gelfand duality theorem (Q2575765) (← links)
- GEOMETRISATION OF FIRST-ORDER LOGIC (Q2795295) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- (Q3341024) (← links)
- Algebraic $K$-theory and etale cohomology (Q3728124) (← links)
- Homological Algebra in Topoi (Q4106371) (← links)
- Grothendieck toposes have boolean points a new proof (Q4133795) (← links)
- (Q4179158) (← links)
- Sheaves and Boolean valued model theory (Q4198736) (← links)
- An induction principle and pigeonhole principles for K-finite sets (Q4876318) (← links)
- On the homotopy theory of sheaves of simplicial groupoids (Q4892433) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- Constructive sheaf models of type theory (Q5084309) (← links)
- THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC (Q5107535) (← links)
- Topos Theory in Montréal in the 1970s: My Personal Involvement (Q5208240) (← links)
- Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506) (← links)
