Results 11 to 20 of about 77,893 (200)
Solving algebraic equations by using the bar model: Theoretical and empirical considerations [PDF]
Solving equations is known to bear several challenges for learners. We discuss an approach based on conceptual understanding regarding the transformation of equations with the help of the so-called bar model in combination with the transposing strategy.
Anna-Katharina Roos, Leander Kempen
openalex +2 more sources
Book Review: Model theoretic algebra: Selected topics [PDF]
Paul C. Eklof
openalex +2 more sources
Some model-theoretic correspondences between dimension groups and AF algebras
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philip Scowcroft
openalex +2 more sources
Book Review: Model theoretic algebra [PDF]
Gabriel Sabbagh
openalex +3 more sources
Some model-theoretic results in the algebraic theory of quadratic forms
Some model-theoretic properties of special groups of finite type are studied. Special groups are models of a first-order axiomatization of the algebraic theory of (reduced) binary quadratic forms over fields. They consist of a group \(G\) of exponent \(2\), a distinguished element \(-1\), and an `isometry' relation on pairs from \(G\).
Vincent Astier
openalex +3 more sources
Toward formal development of programs from algebraic specifications: Model-theoretic foundations [PDF]
This paper presents in an informal way the main ideas underlying our work on the model-theoretic foundations of algebraic specification and program development. We attempt to offer an overall view, rather than new results, and focus on the basic motivation behind the technicalities presented elsewhere and on the conclusions from this work.
Donald Sannella, Andrzej Tarlecki
openalex +2 more sources
Forcing companions of Jonsson AP-theories [PDF]
This article is devoted to the study of the forcing companions of the Jonsson AP-theories in the enriched signature. It is proved that the forcing companion of the theory does not change when expanding the theories under consideration, which have some ...
A.R. Yeshkeyev +2 more
doaj +2 more sources
Model-theoretic algebra, selected topics
Gian‐Carlo Rota
+4 more sources
This research is based on computing the new wave packets and conserved quantities to the nonlinear low-pass electrical transmission lines (NLETLs) via the group-theoretic method.
Muhammad Bilal Riaz +3 more
doaj +1 more source
Adelic analysis and functional analysis on the finite Adele ring [PDF]
In this paper, we study operator theory on the \(*\)-algebra \(\mathcal{M}_{\mathcal{P}}\), consisting of all measurable functions on the finite Adele ring \(A_{\mathbb{Q}}\), in extended free-probabilistic sense. Even though our \(*\)-algebra \(\mathcal{
Ilwoo Cho
doaj +1 more source

