Deissler Rank Complexity of Powers of Indecomposable Injective Modules

Notre Dame Journal of Formal Logic 35 (3):398-402 (1994)
  Copy   BIBTEX

Abstract

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 structure of the injective extension in the form of the levels of the Matlis hierarchy

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Positive deissler rank and the complexity of injective modules.T. G. Kucera - 1988 - Journal of Symbolic Logic 53 (1):284-293.
On Injective MV-Modules.Rajabali A. Borzooei & S. Saidi Goraghani - 2018 - Bulletin of the Section of Logic 47 (4):283-298.
Model theory of modules over a serial ring.Paul C. Eklof & Ivo Herzog - 1995 - Annals of Pure and Applied Logic 72 (2):145-176.
Injective tests of low complexity in the plane.Dominique Lecomte & Rafael Zamora - 2019 - Mathematical Logic Quarterly 65 (2):134-169.
Quantum B‐modules.Xia Zhang & Wolfgang Rump - 2022 - Mathematical Logic Quarterly 68 (2):159-170.
Reverse mathematics and semisimple rings.Huishan Wu - 2022 - Archive for Mathematical Logic 61 (5):769-793.
Decidability for ℤ[G]‐Modules when G is Cyclic of Prime Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):369-378.
Computable structures of rank.J. F. Knight & J. Millar - 2010 - Journal of Mathematical Logic 10 (1):31-43.
Complexity Ranks of Countable Models.Su Gao - 2007 - Notre Dame Journal of Formal Logic 48 (1):33-48.
Computable structures of rank omega (ck)(1).J. F. Knight & J. Millar - 2010 - Journal of Mathematical Logic 10 (1):31-43.

Analytics

Added to PP
2010-08-24

Downloads
22 (#166,999)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model-completions and modules.P. Eklof - 1971 - Annals of Mathematical Logic 2 (3):251.
Generalizations of Deissler's Minimality Rank.T. G. Kucera - 1988 - Journal of Symbolic Logic 53 (1):269-283.
Positive deissler rank and the complexity of injective modules.T. G. Kucera - 1988 - Journal of Symbolic Logic 53 (1):284-293.
Minimal models.Rainer Deissler - 1977 - Journal of Symbolic Logic 42 (2):254-260.

Add more references