A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras
暂无分享,去创建一个
[1] F. W. Lawvere,et al. Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes , 1991 .
[2] M. Makkai,et al. First order categorical logic , 1977 .
[3] Silvio Ghilardi,et al. An Algebraic Theory of Normal Forms , 1995, Ann. Pure Appl. Log..
[4] Shavrukov,et al. Subalgebras of Diagonalizable Algebras of Theories Containing Arithmetic , 1993 .
[5] S. Maclane,et al. Categories for the Working Mathematician , 1971 .
[6] Michael Makkai. Duality and Definability in First Order Logic , 1993 .
[7] Marek W. Zawadowski. Descent and Duality , 1995, Ann. Pure Appl. Log..
[8] Warren D. Goldfarb,et al. Characters and Fixed Points in Provability Logic , 1989, Notre Dame J. Formal Log..
[9] Hilary A. Priestley,et al. Representation of Distributive Lattices by means of ordered Stone Spaces , 1970 .
[10] P. Gabriel,et al. Lokal α-präsentierbare Kategorien , 1971 .
[11] Alasdair Urquhart. Free Heyting algebras , 1973 .