Results for 'Pure injective module'

984 found
Order:
  1.  9
    Relative injective modules, superstability and noetherian categories.Marcos Mazari-Armida & Jiří Rosický - forthcoming - Journal of Mathematical Logic.
    We study classes of modules closed under direct sums, [Formula: see text]-submodules and [Formula: see text]-epimorphic images where [Formula: see text] is either the class of embeddings, RD-embeddings or pure embeddings. We show that the [Formula: see text]-injective modules of theses classes satisfy a Baer-like criterion. In particular, injective modules, RD-injective modules, pure injective modules, flat cotorsion modules and [Formula: see text]-torsion pure injective modules satisfy this criterion. The argument presented is a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2. Relative injective modules, superstability and noetherian categories.Marcos Mazari-Armida & Jiří Rosický - forthcoming - Journal of Mathematical Logic.
    Journal of Mathematical Logic, Ahead of Print. We study classes of modules closed under direct sums, [math]-submodules and [math]-epimorphic images where [math] is either the class of embeddings, RD-embeddings or pure embeddings. We show that the [math]-injective modules of theses classes satisfy a Baer-like criterion. In particular, injective modules, RD-injective modules, pure injective modules, flat cotorsion modules and [math]-torsion pure injective modules satisfy this criterion. The argument presented is a model theoretic one. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. When cotorsion modules are pure injective.Ivo Herzog & Philipp Rothmaler - 2009 - Journal of Mathematical Logic 9 (1):63-102.
    We characterize rings over which every cotorsion module is pure injective in terms of certain descending chain conditions and the Ziegler spectrum, which renders the classes of von Neumann regular rings and of pure semisimple rings as two possible extremes. As preparation, descriptions of pure projective and Mittag–Leffler preenvelopes with respect to so-called definable subcategories and of pure generation for such are derived, which may be of interest on their own. Infinitary axiomatizations lead to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  37
    Pure-injectivity and model theory for G-sets.Ravi Rajani & Mike Prest - 2009 - Journal of Symbolic Logic 74 (2):474-488.
    In the model theory of modules the Ziegler spectrum, the space of indecomposable pure-injective modules, has played a key role. We investigate the possibility of defining a similar space in the context of G-sets where G is a group.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  5.  22
    A Note on Torsion Modules with Pure Embeddings.Marcos Mazari-Armida - 2023 - Notre Dame Journal of Formal Logic 64 (4):407-424.
    We study Martsinkovsky–Russell torsion modules with pure embeddings as an abstract elementary class. We give a model-theoretic characterization of the pure-injective and the Σ-pure-injective modules relative to the class of torsion modules assuming that the torsion submodule is a pure submodule. Our characterization of relative Σ-pure-injective modules extends the classical characterization of Gruson and Jenson as well as Zimmermann. We study the limit models of the class and determine when the class is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  23
    On universal modules with pure embeddings.Thomas G. Kucera & Marcos Mazari-Armida - 2020 - Mathematical Logic Quarterly 66 (4):395-408.
    We show that certain classes of modules have universal models with respect to pure embeddings: Let R be a ring, T a first‐order theory with an infinite model extending the theory of R‐modules and (where ⩽pp stands for “pure submodule”). Assume has the joint embedding and amalgamation properties. If or, then has a universal model of cardinality λ. As a special case, we get a recent result of Shelah [28, 1.2] concerning the existence of universal reduced torsion‐free abelian (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  32
    Decidability for ℤ[G]‐Modules when G is Cyclic of Prime Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):369-378.
    We consider the decision problem for modules over a group ring ℤ[G], where G is a cyclic group of prime order. We show that it reduces to the same problem for a class of certain abelian structures, and we obtain some partial decidability results for this class.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  29
    Unidimensional modules: uniqueness of maximal non-modular submodels.Anand Pillay & Philipp Rothmaler - 1993 - Annals of Pure and Applied Logic 62 (2):175-181.
    We characterize the non-modular models of a unidimensional first-order theory of modules as the elementary submodels of its prime pure-injective model. We show that in case the maximal non-modular submodel of a given model splits off this is true for every such submodel, and we thus obtain a cancellation result for this situation. Although the theories in question always have models whose maximal non-modular submodel do split off, they may as well have others where they don't. We present (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  33
    Model theory of modules over a serial ring.Paul C. Eklof & Ivo Herzog - 1995 - Annals of Pure and Applied Logic 72 (2):145-176.
    We use the Drozd-Warfield structure theorem for finitely presented modules over a serial ring to investigate the model theory of modules over a serial ring, in particular, to give a simple description of pp-formulas and to classify the pure-injective indecomposable modules. We also study the question of whether every pure-injective indecomposable module over a valuation ring is the hull of a uniserial module.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  18
    Some Decidability Results for ℤ[G]‐Modules when G is Cyclic of Squarefree Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):433-445.
    We extend the analysis of the decision problem for modules over a group ring ℤ[G] to the case when G is a cyclic group of squarefree order. We show that separated ℤ[G]-modules have a decidable theory, and we discuss the model theoretic role of these modules within the class of all ℤ[G]-modules. The paper includes a short analysis of the decision problem for the theories of modules over ℤ[ζm], where m is a positive integer and ζm is a primitive mth (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  24
    Some Stable Non-Elementary Classes of Modules.Marcos Mazari-Armida - 2023 - Journal of Symbolic Logic 88 (1):93-117.
    Fisher [10] and Baur [6] showed independently in the seventies that if T is a complete first-order theory extending the theory of modules, then the class of models of T with pure embeddings is stable. In [25, 2.12], it is asked if the same is true for any abstract elementary class $(K, \leq _p)$ such that K is a class of modules and $\leq _p$ is the pure submodule relation. In this paper we give some instances where this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  24
    Remarks on elementary duality.Mike Prest - 1993 - Annals of Pure and Applied Logic 62 (2):183-205.
    Elementary duality between left and right modules over a ring, especially its interpretation in terms of the relevant functor categories, is discussed, as is the relationship between these categories of functors and sorts in theories of modules. A topology on the set of indecomposable pure-injective modules over a ring is introduced. This topology is dual to the Ziegler topology and may be seen as a generalisation of the Zariski topology.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  37
    Deissler Rank Complexity of Powers of Indecomposable Injective Modules.R. Chartrand & T. Kucera - 1994 - Notre Dame Journal of Formal Logic 35 (3):398-402.
    Minimality ranks in the style of Deissler are one way of measuring the structural complexity of minimal extensions of first-order structures. In particular, positive Deissler rank measures the complexity of the injective envelope of a module as an extension of that module. In this paper we solve a problem of the second author by showing that certain injective envelopes have the maximum possible positive Deissler rank complexity. The proof shows that this complexity naturally reflects the internal (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  14.  34
    Constructing pure injective hulls.Wilfrid Hodges - 1980 - Journal of Symbolic Logic 45 (3):544-548.
  15.  57
    Positive deissler rank and the complexity of injective modules.T. G. Kucera - 1988 - Journal of Symbolic Logic 53 (1):284-293.
  16.  64
    Pure-projective modules and positive constructibility.T. G. Kucera & Ph Rothmaler - 2000 - Journal of Symbolic Logic 65 (1):103-110.
  17.  67
    A purely geometric module in the rat's spatial representation.Ken Cheng - 1986 - Cognition 23 (2):149-178.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   110 citations  
  18.  26
    On Injective MV-Modules.Rajabali A. Borzooei & S. Saidi Goraghani - 2018 - Bulletin of the Section of Logic 47 (4):283-298.
    In this paper, by considering the notion of MV-module, which is the structure that naturally correspond to lu-modules over lu-rings, we study injective MV-modules and we investigate some conditions for constructing injective MV-modules. Then we define the notions of essential A-homomorphisms and essential extension of A-homomorphisms, where A is a product MV-algebra, and we get some of there properties. Finally, we prove that a maximal essential extension of any A-ideal of an injective MV-module is an (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  31
    The model completion of the theory of modules over finitely generated commutative algebras.Moshe Kamensky - 2009 - Journal of Symbolic Logic 74 (3):734-750.
    We find the model completion of the theory modules over ������, where ������ is a finitely generated commutative algebra over a field K. This is done in a context where the field K and the module are represented by sorts in the theory, so that constructible sets associated with a module can be interpreted in this language. The language is expanded by additional sorts for the Grassmanians of all powers of $K^n $ , which are necessary to achieve (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  20.  34
    Injecting uniformities into Peano arithmetic.Fernando Ferreira - 2009 - Annals of Pure and Applied Logic 157 (2-3):122-129.
    We present a functional interpretation of Peano arithmetic that uses Gödel’s computable functionals and which systematically injects uniformities into the statements of finite-type arithmetic. As a consequence, some uniform boundedness principles are interpreted while maintaining unmoved the -sentences of arithmetic. We explain why this interpretation is tailored to yield conservation results.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  21. Modulated logics and flexible reasoning.Walter Carnielli & Maria Cláudia C. Grácio - 2008 - Logic and Logical Philosophy 17 (3):211-249.
    This paper studies a family of monotonic extensions of first-order logic which we call modulated logics, constructed by extending classical logic through generalized quantifiers called modulated quantifiers. This approach offers a new regard to what we call flexible reasoning. A uniform treatment of modulated logics is given here, obtaining some general results in model theory. Besides reviewing the “Logic of Ultrafilters”, which formalizes inductive assertions of the kind “almost all”, two new monotonic logical systems are proposed here, the “Logic of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  22.  23
    Injecting inconsistencies into models of pa.Robert M. Solovay - 1989 - Annals of Pure and Applied Logic 44 (1-2):101-132.
  23.  30
    Strict Mittag‐Leffler modules.P. A. Guil Asensio, M. C. Izurdiaga, Ph Rothmaler & B. Torrecillas - 2011 - Mathematical Logic Quarterly 57 (6):566-570.
    We characterize strict Mittag-Leffler modules in terms of free realizations of positive primitive formulas, and rings over which projectives are trivial in terms of various notions of separability of strict Mittag-Leffler modules. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  25
    Quantum B‐modules.Xia Zhang & Wolfgang Rump - 2022 - Mathematical Logic Quarterly 68 (2):159-170.
    Quantum B‐algebras are partially ordered algebras characterizing the residuated structure of a quantale. Examples arise in algebraic logic, non‐commutative arithmetic, and quantum theory. A quantum B‐algebra with trivial partial order is equivalent to a group. The paper introduces a corresponding analogue of quantale modules. It is proved that every quantum B‐module admits an injective envelope which is a quantale module. The injective envelope is constructed explicitly as a completion, a multi‐poset version of the completion of Dedekind (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  26
    Self Beyond the Body: Action-Driven and Task-Relevant Purely Distal Cues Modulate Performance and Body Ownership.Klaudia Grechuta, Laura Ulysse, Belén Rubio Ballester & Paul F. M. J. Verschure - 2019 - Frontiers in Human Neuroscience 13:412150.
    Our understanding of body ownership largely relies on the Rubber Hand Illusion (RHI) paradigm where synchronous stroking of the real and fake hands leads to an illusion of ownership of RH provided its physical, anatomical, and spatial plausibility. Self-attribution of a fake hand also occurs during visuomotor synchrony, when the visual feedback of self-initiated movements follows the trajectory of the instantiated motor command. In both cases, the experience of ownership is established through bottom-up integration and top-down prediction of multisensory (proximodistal) (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  45
    Modules in the category of sheaves over quantales.Marcelo E. Coniglio & Francisco Miraglia - 2001 - Annals of Pure and Applied Logic 108 (1-3):103-136.
    In this paper we develop the elementary theory of modules in the category Sh of sheaves over right-sided idempotent quantales. The main ingredient is the construction of a logic sound for Sh . As an application we prove that in Sh , a finitely generated projective module is free , a result that is relevant to the study of representation of non-commutative C ∗ -algebras.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  24
    Interpreting modules in modules.Mike Prest - 1997 - Annals of Pure and Applied Logic 88 (2-3):193-215.
    Rings which, from the ring-theoretic point of view, are very different may well have categories of modules which are extremely similar. More generally, the category of modules over a ring may contain many other categories of modules. Ideas from model theory are of use in elucidating this state of affairs. In particular we investigate the model-theoretic effect of tilting functors between categories of modules.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  53
    Quantifier elimination for modules with scalar variables.Lou van den Dries & Jan Holly - 1992 - Annals of Pure and Applied Logic 57 (2):161-179.
    Van den Dries, L. and J. Holly, Quantifier elimination for modules with scalar variables, Annals of Pure and Applied Logic 57 161–179. We consider modules as two-sorted structures with scalar variables ranging over the ring. We show that each formula in which all scalar variables are free is equivalent to a formula of a very simple form, uniformly and effectively for all torsion-free modules over gcd domains . For the case of Presburger arithmetic with scalar variables the result takes (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  32
    Mittag-Leffler modules.Philipp Rothmaler - 1997 - Annals of Pure and Applied Logic 88 (2-3):227-239.
    The main theorem characterizes Mittag-Leffler modules as ‘positively atomic’ modules . This is applied to reduced products of Mittag-Leffler modules and pure-semisimple.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  43
    Z-modules and full completeness of multiplicative linear logic.Masahiro Hamano - 2001 - Annals of Pure and Applied Logic 107 (1-3):165-191.
    We prove that the full completeness theorem for MLL+Mix holds by the simple interpretation via formulas as objects and proofs as Z-invariant morphisms in the *-autonomous category of topologized vector spaces. We do this by generalizing the recent work of Blute and Scott 101–142) where they used the semantical framework of dinatural transformation introduced by Girard–Scedrov–Scott , Logic from Computer Science, vol. 21, Springer, Berlin, 1992, pp. 217–241). By omitting the use of dinatural transformation, our semantics evidently allows the interpretation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  30
    On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular.Hans Heymans & Isar Stubbe - 2010 - Annals of Pure and Applied Logic 161 (1):43-65.
    Ordered sheaves on a small quantaloid have been defined in terms of -enriched categorical structures; they form a locally ordered category . The free-cocompletion KZ-doctrine on has , the quantaloid of -modules, as its category of Eilenberg–Moore algebras. In this paper we give an intrinsic description of the Kleisli algebras: we call them the locally principally generated -modules. We deduce that is biequivalent to the 2-category of locally principally generated -modules and left adjoint module morphisms. The example of locally (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  32.  30
    The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings).Daniel de Carvalho & Lorenzo Tortora de Falco - 2012 - Annals of Pure and Applied Logic 163 (9):1210-1236.
  33.  41
    LK-IB: a hybrid framework with legal knowledge injection for compulsory measure prediction.Xiang Zhou, Qi Liu, Yiquan Wu, Qiangchao Chen & Kun Kuang - 2024 - Artificial Intelligence and Law 32 (3):595-620.
    The interpretability of AI is just as important as its performance. In the LegalAI field, there have been efforts to enhance the interpretability of models, but a trade-off between interpretability and prediction accuracy remains inevitable. In this paper, we introduce a novel framework called LK-IB for compulsory measure prediction (CMP), one of the critical tasks in LegalAI. LK-IB leverages Legal Knowledge and combines an Interpretable model and a Black-box model to balance interpretability and prediction performance. Specifically, LK-IB involves three steps: (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  52
    Top-down modulation of visual processing and knowledge after 250 ms supports object constancy of category decisions.Haline E. Schendan & Giorgio Ganis - 2015 - Frontiers in Psychology 6:79638.
    People categorize objects slowly when visual input is highly impoverished instead of optimal. While bottom-up models may explain a decision with optimal input, perceptual hypothesis testing (PHT) theories implicate top-down processes with impoverished input. Brain mechanisms and the time course of PHT are largely unknown. This event-related potential study used a neuroimaging paradigm that implicated prefrontal cortex in top-down modulation of occipitotemporal cortex. Subjects categorized more impoverished and less impoverished real and pseudo objects. PHT theories predict larger impoverishment effects for (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  35.  21
    Fatty acids may influence insulin dynamics through modulation of albumin‐Zn 2+ interactions.Swati Arya, Adam J. Gourley, J. Carlos Penedo, Claudia A. Blindauer & Alan J. Stewart - 2021 - Bioessays 43 (12):2100172.
    Insulin is stored within the pancreas in an inactive Zn2+‐bound hexameric form prior to release. Similarly, clinical insulins contain Zn2+ and form multimeric complexes. Upon release from the pancreas or upon injection, insulin only becomes active once Zn2+ disengages from the complex. In plasma and other extracellular fluids, the majority of Zn2+ is bound to human serum albumin (HSA), which plays a vital role in controlling insulin pharmacodynamics by enabling removal of Zn2+. The Zn2+‐binding properties of HSA are attenuated by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Model theory of modules.Martin Ziegler - 1984 - Annals of Pure and Applied Logic 26 (2):149-213.
  37.  61
    Quantifier elimination in valued Ore modules.Luc Bélair & Françoise Point - 2010 - Journal of Symbolic Logic 75 (3):1007-1034.
    We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the residue field, we prove quantifier elimination first in the pure module language, then in that language augmented with a chain of additive subgroups, and finally in a two-sorted language with a valuation map. We apply quantifier elimination to prove that these structures do not have the independence property.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  38.  34
    Sustainable Development as a Challenge for Undergraduate Students: The Module “Science Bears Responsibility” in the Leuphana Bachelor’s Programme: Commentary on “A Case Study of Teaching Social Responsibility to Doctoral Students in the Climate Sciences”.Gerd Michelsen - 2013 - Science and Engineering Ethics 19 (4):1505-1511.
    The Leuphana Semester at Leuphana University Lüneburg, together with the module “Science bears responsibility” demonstrate how innovative methods of teaching and learning can be combined with the topic of sustainable development and how new forms of university teaching can be introduced. With regard to module content, it has become apparent that, due to the complexity of the field of sustainability, a single discipline alone is unable to provide analyses and solutions. If teaching in higher education is to adequately (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  26
    Synthesis of immune modulators by smooth muscles.Cherie A. Singer, Sonemany Salinthone, Kimberly J. Baker & William T. Gerthoffer - 2004 - Bioessays 26 (6):646-655.
    The primary function of smooth muscle cells is to contract and alter the stiffness or diameter of hollow organs such as blood vessels, the airways and the gastrointestinal and urogenital tracts. In addition to purely structural functions, smooth muscle cells may play important metabolic roles, particularly in various inflammatory responses. In cell culture, these cells have been shown to be metabolically dynamic, synthesizing and secreting extracellular matrix proteins, glycosaminoglycans and a wide variety of cell–cell signaling proteins, such as interleukins, chemokines (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  21
    Model-theoretic aspects of Σ-cotorsion modules.Pedro A. Guil Asensio & Ivo Herzog - 2007 - Annals of Pure and Applied Logic 146 (1):1-12.
    Let R be an associative ring with identity. It is shown that every Σ-cotorsion left R-module satisfies the descending chain condition on divisibility formulae. If R is countable, the descending chain condition on M implies that it must be Σ-cotorsion. It follows that, for countable R, the class of Σ-cotorsion modules is closed under elementary equivalence and pure submodules. The modules M that satisfy this descending chain condition are the cotorsion analogues of totally transcendental modules; we characterize them (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  36
    The computational complexity of module socles.Huishan Wu - 2022 - Annals of Pure and Applied Logic 173 (5):103089.
  42.  62
    Decidability of the theory of modules over commutative valuation domains.Gennadi Puninski, Vera Puninskaya & Carlo Toffalori - 2007 - Annals of Pure and Applied Logic 145 (3):258-275.
    We prove that, if V is an effectively given commutative valuation domain such that its value group is dense and archimedean, then the theory of all V-modules is decidable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  37
    Totally transcendental theories of modules: decomposition of models and types.T. G. Kucera - 1988 - Annals of Pure and Applied Logic 39 (3):239-272.
  44. Laszlo Fuchs and Saharon Shelah. Kaplansky's problem on valuation rings. Proceedings of the American Mathematical Society, vol. 105 , pp. 25–30. - Paul C. Eklof. A transfer theorem for nonstandard uniserials. Proceedings of the American Mathematical Society, vol. 114 , pp. 593–600. - Paul C. Eklof and Saharon Shelah. On a conjecture regarding nonstandard uniserial modules. Transactions of the American Mathematical Society, vol. 340 , pp. 337–351. - P. C. Eklof and S. Shelah. Explicitly non-standard uniserial modules. Journal of pure and applied algebra, vol. 86 , pp. 35–50. [REVIEW]Birge Huisgen-Zimmermann - 2002 - Bulletin of Symbolic Logic 8 (3):441-443.
  45.  18
    Decidability of the theory of modules over Prüfer domains with dense value groups.Lorna Gregory, Sonia L'Innocente & Carlo Toffalori - 2019 - Annals of Pure and Applied Logic 170 (12):102719.
    We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains whose localizations at maximal ideals have dense value groups. For Bézout domains, these conditions are also necessary.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  39
    Towards the decidability of the theory of modules over finite commutative rings.Gena Puninski & Carlo Toffalori - 2009 - Annals of Pure and Applied Logic 159 (1-2):49-70.
    On the basis of the Klingler–Levy classification of finitely generated modules over commutative noetherian rings we approach the old problem of classifying finite commutative rings R with a decidable theory of modules. We prove that if R is wild, then the theory of all R-modules is undecidable, and verify decidability of this theory for some classes of tame finite commutative rings.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  47.  24
    Temporal malleability to auditory feedback perturbation is modulated by rhythmic abilities and auditory acuity.Miriam Oschkinat, Philip Hoole, Simone Falk & Simone Dalla Bella - 2022 - Frontiers in Human Neuroscience 16:885074.
    Auditory feedback perturbation studies have indicated a link between feedback and feedforward mechanisms in speech production when participants compensate for applied shifts. In spectral perturbation studies, speakers with a higher perceptual auditory acuity typically compensate more than individuals with lower acuity. However, the reaction to feedback perturbation is unlikely to be merely a matter of perceptual acuity but also affected by the prediction and production of precise motor action. This interplay between prediction, perception, and motor execution seems to be crucial (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  42
    On the decidability of the theory of modules over the ring of algebraic integers.Sonia L'Innocente, Carlo Toffalori & Gena Puninski - 2017 - Annals of Pure and Applied Logic 168 (8):1507-1516.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  48
    Grothendieck rings of theories of modules.Amit Kuber - 2015 - Annals of Pure and Applied Logic 166 (3):369-407.
  50.  22
    Reverse mathematics and semisimple rings.Huishan Wu - 2022 - Archive for Mathematical Logic 61 (5):769-793.
    This paper studies various equivalent characterizations of left semisimple rings from the standpoint of reverse mathematics. We first show that \ is equivalent to the statement that any left module over a left semisimple ring is semisimple over \. We then study characterizations of left semisimple rings in terms of projective modules as well as injective modules, and obtain the following results: \ is equivalent to the statement that any left module over a left semisimple ring is (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 984