Conditions related to de Morgan's law

[1]  P. T. Johnstone,et al.  Automorphisms of Ω , 1979 .

[2]  P. T. Johnstone,et al.  Finiteness and decidability: II , 1978, Mathematical Proceedings of the Cambridge Philosophical Society.

[3]  R. Walker,et al.  The Stone-Cech Compactification , 1974 .

[4]  Peter Freyd,et al.  Aspects of topoi , 1972, Bulletin of the Australian Mathematical Society.

[5]  Alfred Horn,et al.  Logic with truth values in A linearly ordered heyting algebra , 1969, Journal of Symbolic Logic.

[6]  Leonard Gillman,et al.  Rings of continuous functions , 1961 .

[7]  Michael P. Fourman,et al.  Sheaf models for analysis , 1979 .

[8]  Christian Juul Mikkelsen,et al.  Lattice theoretic and logical aspects of elementary topoi , 1976 .

[9]  B. R. McDonald Automorphisms of _ , 1976 .

[10]  L. N. Stout Topological Properties of the Real Numbers Object in a Topos , 1976 .