Search open-access research in Arabic and English

arXiv 2018-02-03 EN

Injective Hulls In a Locally Finite Topos

Dilke, Felix

arXiv 2016-01-04 EN

Relational Sheaves for a Heyting Algebra

Garraway, W. Dale

arXiv 2014-07-08 EN

Models of Intuitionistic Set Theory in Subtoposes of Nested Realizability Toposes

Maschio, Samuele · Streicher, Thomas

arXiv 2012-03-20 EN

Exact completions and small sheaves

Shulman, Michael

arXiv 2008-08-14 EN

De Morgan's law and the theory of fields

Caramello, Olivia · Johnstone, Peter

arXiv 2007-12-28 EN

2-filteredness and the point of every Galois topos

Dubuc, Eduardo J.

arXiv 2006-11-27 EN

Subobjects of the successive power objects in the topos G-Set

Tyszka, Apoloniusz