Buchumschlag

Decidability of the theory of modules over Prüfer domains with dense value groups

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gregory, Lorna, L'Innocente, Sonia, Toffalori, Carlo
Format:	Preprint
Veröffentlicht:	2019
Schlagworte:	Logic 03C60 (primary), 03C98, 03B25, 13F05
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Decidability of the theory of modules over Prüfer domains with infinite residue fields
von: Gregory, Lorna, et al.
Veröffentlicht: (2017)

Decidability for the theory of modules over a Prüfer domain
von: Gregory, Lorna
Veröffentlicht: (2021)

Interpretation functors which are full on pure-injective modules with applications to $R$-torsion-free modules over $R$-orders
von: Gregory, Lorna
Veröffentlicht: (2024)

A factorisation theory for generalised power series and omnific integers
von: L'Innocente, Sonia, et al.
Veröffentlicht: (2017)

Quite Complete Real Closed fields
von: Shelah, Saharon
Veröffentlicht: (2001)

E-ideals in exponential polynomial ring
von: D'Aquino, P., et al.
Veröffentlicht: (2022)

Decidability of theories of modules over tubular algebras
von: Gregory, Lorna
Veröffentlicht: (2016)

Maranda's Theorem for Pure-Injective Modules and Duality
von: Gregory, Lorna
Veröffentlicht: (2018)

Note on radical and prime E-ideals
von: Fornasiero, Antongiulio, et al.
Veröffentlicht: (2023)

The conjectures of Kumbhakar, Roy, and Srinivasan
von: Freitag, James, et al.
Veröffentlicht: (2026)

Pseudofiniteness of the Farey Graph
von: Lockhart, Connor Martinez
Veröffentlicht: (2026)

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2020)

Hierarchies of direct powers, ultrapowers and cumulative powers
von: Yago, Pedro Teixeira
Veröffentlicht: (2026)

Integration in Hensel minimal fields
von: Stout, Mathias, et al.
Veröffentlicht: (2025)

On groups definable in $p$-adically closed fields
von: Pillay, Anand, et al.
Veröffentlicht: (2026)

Random expansions of trees with bounded height
von: Koponen, Vera, et al.
Veröffentlicht: (2024)

Spherically complete models of Hensel minimal valued fields
von: Bradley-Williams, David, et al.
Veröffentlicht: (2021)

Multidimensional asymptotic classes
von: Anscombe, Sylvy, et al.
Veröffentlicht: (2024)

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

Countable models of weakly quasi-o-minimal theories I
von: Moconja, Slavko, et al.
Veröffentlicht: (2024)

Towards a Finer Classification of Strongly Minimal Sets
von: Baldwin, John T., et al.
Veröffentlicht: (2021)

Special classes of functions
von: Freitag, James, et al.
Veröffentlicht: (2026)

Generic groups and the weak amalgamation property
von: Ivanov, Aleksander, et al.
Veröffentlicht: (2024)

On a new theory of models for formal mathematical systems
von: Kunik, Matthias
Veröffentlicht: (2026)

Some contributions to presheaf model theory, II -- back and forth
von: Brunner, Andreas, et al.
Veröffentlicht: (2026)

On stable Kim-forking and rosy theories
von: Miguel-Gómez, Alberto
Veröffentlicht: (2025)

Algebraic types in Zilber's exponential field
von: Aslanyan, Vahagn, et al.
Veröffentlicht: (2024)

Encoding Sequences in Intuitionistic Real Algebra
von: Erdélyi-Szabó, Miklós
Veröffentlicht: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
von: Erdélyi-Szabó, Miklós
Veröffentlicht: (2024)

Automorphisms of valued fields: amalgamation and existential closedness
von: Dobrowolski, Jan, et al.
Veröffentlicht: (2025)

Riso-stratifications and a tree invariant
von: Bradley-Williams, David, et al.
Veröffentlicht: (2022)

About closed subsets definable in Hensel minimal structures
von: Nowak, Krzysztof Jan
Veröffentlicht: (2024)

Relative consistency of Set Matrix Theory with ZF
von: Cabbolet, Marcoen J. T. F.
Veröffentlicht: (2024)

Satisfaction classes with approximate disjunctive correctness
von: Enayat, Ali
Veröffentlicht: (2023)

Definable Functions to Quotients in Ordered Abelian Groups
von: Wells, Harper
Veröffentlicht: (2026)

Definable groups and fields in t-minimal theories
von: Johnson, Will
Veröffentlicht: (2026)

Zilber's notion of logically perfect structure: Universal Covers
von: Baldwin, John T., et al.
Veröffentlicht: (2023)

More conservativity for weak Kőnig's lemma
von: Freund, Anton, et al.
Veröffentlicht: (2024)

Generic multiplicative endomorphism of a field
von: d'Elbée, Christian
Veröffentlicht: (2022)

Definable Galois theory for bimeromorphic geometry
von: Moosa, Rahim, et al.
Veröffentlicht: (2025)