Pous, Damien Vignudelli, Valeria

Allegories were introduced by Freyd and Scedrov; they form a fragment of Tarski's calculus of relations. We show that their equational theory is decidable by characterising it in terms of a specific class of graph homomorphisms. We actually do so for an extension of allegories which we prove to be conservative, namely allegories with top. This gene...

Pous, Damien Vignudelli, Valeria

Allegories were introduced by Freyd and Scedrov; they form a fragment of Tarski's calculus of relations. We show that their equational theory is decidable by characterising it in terms of a specific class of graph homomorphisms. We actually do so for an extension of allegories which we prove to be conservative, namely allegories with top. This gene...

Pous, Damien Vignudelli, Valeria

Allegories were introduced by Freyd and Scedrov; they form a fragment of Tarski's calculus of relations. We show that their equational theory is decidable by characterising it in terms of a specific class of graph homomorphisms. We actually do so for an extension of allegories which we prove to be conservative, namely allegories with top. This gene...

Pous, Damien Vignudelli, Valeria

Allegories were introduced by Freyd and Scedrov; they form a fragment of Tarski's calculus of relations. We show that their equational theory is decidable by characterising it in terms of a specific class of graph homomorphisms. We actually do so for an extension of allegories which we prove to be conservative, namely allegories with top. This gene...

Souza, Diego das Neves de

Abstract : Let be K be a field, A be a unital K-algebra and H be a Hopf K-algebra. In this work we will extend, in the context of algebras with local units, the Duality Theorems of Blattner-Montgomery for crossed products of A by H, when H is afinite-dimensional Hopf algebra, and for smash products of A by H, when H has infinite dimension. In anoth...

Souza, Diego das Neves de

Abstract : Let be K be a field, A be a unital K-algebra and H be a Hopf K-algebra. In this work we will extend, in the context of algebras with local units, the Duality Theorems of Blattner-Montgomery for crossed products of A by H, when H is afinite-dimensional Hopf algebra, and for smash products of A by H, when H has infinite dimension. In anoth...

Souza, Diego das Neves de

Abstract : Let be K be a field, A be a unital K-algebra and H be a Hopf K-algebra. In this work we will extend, in the context of algebras with local units, the Duality Theorems of Blattner-Montgomery for crossed products of A by H, when H is afinite-dimensional Hopf algebra, and for smash products of A by H, when H has infinite dimension. In anoth...

Silva, Lilian Esquinelato da

This research aims to investigate how the Algeblocks manipulative and Methodology of Mathematics Teaching-Learning-Evaluation through Problem Solving contribute to Intradisciplinary Teaching. This research was developed following the Scientific Methodology of Romberg–Onuchic presented by Onuchic and Noguti (2014). The theoretical basis of this rese...

Silva, Lilian Esquinelato da

This research aims to investigate how the Algeblocks manipulative and Methodology of Mathematics Teaching-Learning-Evaluation through Problem Solving contribute to Intradisciplinary Teaching. This research was developed following the Scientific Methodology of Romberg–Onuchic presented by Onuchic and Noguti (2014). The theoretical basis of this rese...

Lima, Mariana de Avelar Galvino

This present paper comprehends a study on the didactic and pedagogical potentialities of the Math Teaching Lab (LEM) as seen by teachers, as an aid for high school students to overcome their difficulties in the face of the concepts and processes in Algebra, especially concerning the use of symbolic language. To begin with, the diversity of “concept...