Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
type: Item
instance of: scholarly article
zbMATH Open document ID: 1337.03051
author: Gena Puninski
author: Carlo Toffalori
publication date: 2014-09-30T00:00:00Z
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 13F05
Mathematics Subject Classification ID: 13F30
Mathematics Subject Classification ID: 13L05
zbMATH DE Number: 6349662
zbMATH Keywords: Bézout domain
zbMATH Keywords: decidability
zbMATH Keywords: Ziegler spectrum
zbMATH Keywords: Cantor-Bendixson rank
zbMATH Keywords: Krull-Gabriel dimension
MaRDI profile type: Publication
full work available at URL: jsl.2013.4
OpenAlex ID: W2802465005
cites work: Lie groups beyond an introduction
cites work: On central extensions and definably compact groups in o-minimal structures
cites work: DEFINABLY COMPACT ABELIAN GROUPS
cites work: The universal covering homomorphism in o‐minimal expansions of groups
cites work: A descending chain condition for groups definable in o-minimal structures
cites work: Solvable groups definable in o-minimal structures.
cites work: Higher homotopy of groups definable in o-minimal structures
cites work: Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup
cites work: TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY
cites work: On groups and fields definable in o-minimal structures
cites work: Definable Compactness and Definable Subgroups of o-Minimal Groups
cites work: Linear groups definable in o-minimal structures
cites work: Simple algebraic and semialgebraic groups over real closed fields
cites work: Definably simple groups in o-minimal structures
cites work: Splitting definably compact groups in o-minimal structures
cites work: On NIP and invariant measures
DOI: 10.1017/JSL.2013.4
title: Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
published in: The Journal of Symbolic Logic
description: scientific article; zbMATH DE number 6349662