MATH
Login Or Sign up

List Question

15
59
Views

Techniques for showing that an equational theory like Heyting algebras is "group-free"

Published on
#abstract-algebra #heyting-algebra
53
Views

Books on co-Heyting algebras (with a view to their logics).

Published on
#logic #reference-request #book-recommendation #nonclassical-logic #heyting-algebra
101
Views

Is the quotient of a complete Heyting algebra by a prime filter complete?

Published on
#order-theory #lattice-orders #heyting-algebra
1.2k
Views

How Do Heyting Algebras Relate To Logic?

Published on
#logic #category-theory #lattice-orders #intuitionistic-logic #heyting-algebra
55
Views

Nice description of the Heyting implication for clopen upsets

Published on
#general-topology #boolean-algebra #lattice-orders #heyting-algebra
347
Views

Introductory Text On Heyting Algebras

Published on
#logic #reference-request #translation-request #heyting-algebra
271
Views

Is every finite distributive lattice a finite Heyting algebra?

Published on
#lattice-orders #heyting-algebra
97
Views

Details about the relation about interior algebras and Heyting algebras

Published on
#abstract-algebra #general-topology #logic #heyting-algebra
58
Views

Modal Heyting Algebras

Published on
#reference-request #modal-logic #intuitionistic-logic #heyting-algebra
103
Views

$(p\rightarrow q)\vee (q\rightarrow r)$ imply peirce's law in intuitionistic logic?

Published on
#logic #intuitionistic-logic #heyting-algebra
120
Views

Connections between $0$-toposes and $1$-toposes (Grothendieck and elementary)

Published on
#category-theory #topos-theory #higher-category-theory #heyting-algebra #frame-theory
103
Views

Question on Heyting algebras

Published on
#logic #intuitionistic-logic #heyting-algebra
161
Views

Is every Heyting algebra a sublattice of a Boolean algebra?

Published on
#boolean-algebra #lattice-orders #heyting-algebra
175
Views

Proof that regular elements of Heyting algebra form a Boolean algebra

Published on
#abstract-algebra #logic #boolean-algebra #heyting-algebra
118
Views

Help calculating relative pseudo-complements in a Heyting algebra/lattice

Published on
#lattice-orders #intuitionistic-logic #heyting-algebra

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.