Model completeness of some metric completions of absolutely free algebras

1981 ◽  
Vol 12 (1) ◽  
pp. 137-144
Author(s):  
Jan Mycielski ◽  
Paul Perlmutter
Keyword(s):  
Free Algebras ◽  
Model Completeness

Finitely generated free Heyting algebras

1986 ◽  
Vol 51 (1) ◽  
pp. 152-165 ◽  
Author(s):  
Fabio Bellissima
Keyword(s):  
Free Algebra ◽  
Kripke Semantics ◽  
Heyting Algebras ◽  
Free Algebras ◽  
Finitely Generated ◽  
Algebraic Properties

AbstractThe aim of this paper is to give, using the Kripke semantics for intuitionism, a representation of finitely generated free Heyting algebras. By means of the representation we determine in a constructive way some set of “special elements” of such algebras. Furthermore, we show that many algebraic properties which are satisfied by the free algebra on one generator are not satisfied by free algebras on more than one generator.

scholarly journals Poisson brackets of Wilson loops and derivations of free algebras

1996 ◽  
Vol 37 (2) ◽  
pp. 637 ◽  
Author(s):  
S. G. Rajeev ◽  
O. T. Turgut
Keyword(s):  
Free Algebras ◽  
Wilson Loops ◽  
Poisson Brackets

Free Algebras

1981 ◽  
pp. 108-160
Author(s):  
P. M. Cohn
Keyword(s):  
Free Algebras

Absolutely Free Algebras in a Topos Containing an Infinite Object

1976 ◽  
Vol 19 (3) ◽  
pp. 323-328 ◽  
Author(s):  
D. Schumacher
Keyword(s):  
Finite Sequence ◽  
Global Section ◽  
Free Algebras ◽  
Existence Proof

This note confirms that the existence proof for absolutely free algebras originated by Dedekind in [2] and completely developed for instance in [4] can still be carried out in a topos containing an infinite object i.e. an object N for which N ≃ N+1 if the type of the algebras considered is finite, pointed and internally projective i.e. is a finite sequence of objects, (Ij)i≤j≤k for which the functors ( )Ij preserve epimorphisms and each of which has a global section.

Sign in / Sign up

Export Citation Format

Share Document