Heyting Lattices

John Browne-Grassmann Algebra. Exploring extended vector algebra with Mathematica (2009).pdf

title = {Grassmann Algebra. Exploring extended vector algebra with Mathematica},
author = {John Browne},
publisher = {},
isbn = {},
year = {2009},
series = {},
edition = {Incomplete draft},
volume = {},
url = {http://gen.lib.rus.ec/book/index.php?md5=e95f559406c82c9d547db4bf8fa1872c}

Could be good starting text. Excellent appendices.

John Snygg (auth.)-A New Approach to Differential Geometry using Clifford’s Geometric Algebra -Birkhäuser Basel (2012).pdf

title = {A New Approach to Differential Geometry using Clifford’s Geometric Algebra },
author = {John Snygg (auth.)},
publisher = {Birkhäuser Basel},
isbn = {0817682821,9780817682828,9780817682835},
year = {2012},
series = {},
edition = {1},
volume = {},
url = {http://gen.lib.rus.ec/book/index.php?md5=5DD71F6A00D724E868817B7E616C8F38}

====move above







On the size of Heyting Semi-Lattices
and Equationally Linear Heyting Algebras ∗
Peter Freyd
July 17, 2017

This looks to me a LOT like Robert Grassmann’s “concepts”.

cf relative complement in:




(BTW Check Plato’s Parmenides for possible prefiguring of proof that there is no set of all sets or even more general version for any relation R not exist y s.t. x R y iff x Rx. Ditto for ordinals?)


Same Freyd as “categories, allegories”? Yes! Involved in HoTT? (No, not listed at front but 1976 paper cited p239)

(North-Holland Mathematical Library 39) P.J. Freyd, A. Scedrov-Categories, allegories-North Holland (1990).pdf

title = {Categories, allegories},
author = {P.J. Freyd, A. Scedrov},
publisher = {North Holland},
isbn = {9780444703682,0444703683},
year = {1990},
series = {North-Holland Mathematical Library 39},
edition = {1},
volume = {},
url = {http://gen.lib.rus.ec/book/index.php?md5=875566005329DA247F48854629B3F31D}




Algebra univers. 54 (2005) 465–473
0002-5240/05/040465 – 09
DOI 10.1007/s00012-005-1958-5
c Birkh¨auser Verlag, Basel, 2005 Algebra Universalis
Locally finite varieties of Heyting algebras
Guram Bezhanishvili and Revaz Grigolia

Abstract. We show that for a variety V of Heyting algebras the following conditions are
equivalent: (1) V is locally finite; (2) the V-coproduct of any two finite V-algebras is finite;
(3) either V coincides with the variety of Boolean algebras or finite V-copowers of the three
element chain 3 ∈ V are finite. We also show that a variety V of Heyting algebras is
generated by its finite members if, and only if, V is generated by a locally finite V-algebra.
Finally, to the two existing criteria for varieties of Heyting algebras to be finitely generated
we add the following one: V is finitely generated if, and only if, V is residually finite.


Computability of Heyting algebras and
Distributive Lattices

Amy Turlington 2010 PhD thesis, U Conn.


@article{idziak_idziak_1988, title={Decidability problem for finite Heyting algebras}, volume={53}, DOI={10.2307/2274568}, number={3}, journal={Journal of Symbolic Logic}, publisher={Cambridge University Press}, author={Idziak, Katarzyna and Idziak, Pawel M.}, year={1988}, pages={729–735}}


author = {Alizadeh, Majid and Joharizadeh, Nima},
title = {Counting weak Heyting algebras on finite distributive lattices},
journal = {Logic Journal of the IGPL},
volume = {23},
number = {2},
pages = {247-258},
year = {2015},
doi = {10.1093/jigpal/jzu033},
URL = { + http://dx.doi.org/10.1093/jigpal/jzu033},
eprint = {/oup/backfile/content_public/journal/jigpal/23/2/10.1093/jigpal/jzu033/2/jzu033.pdf}

Sheaves and Boolean Valued Model Theory

George Loullis

doi = {10.2307/2273725},
publisher = {Association for Symbolic Logic},
journal = {Journal of Symbolic Logic},
issnp = {0022-4812},
issne = {1943-5886},
year = {},
volume = {44},
issue = {2},
page = {153–183},
url = {http://gen.lib.rus.ec/scimag/index.php?s=10.2307/2273725},


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s