Heyting

1000	adjoint
554	Boolean
545	algebra
535	algebras
528	satisfies
527	isomorphism
517	Banach
510	abelian
509	cardinality
507	axiom

previous:	Heythuysen
next:	Heytvelt
random:	xCBL

More distant neighbors

finite axioms topological invertible morphism equivalence isomorphic theorem homotopy poset semigroup phi distributivity Hilbert nonzero iff subsets supremum rightarrow invariant commutative functor mathcal morphisms polynomial mathfrak maximal isin algebraic homomorphism Hamiltonian f inverses injective propositional langle inverse irreducible nonempty

Back