Cover Image

The Skolem Problem in rings of positive characteristic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dong, Ruiwen, Shafrir, Doron
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Number Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

S-unit equations in modules and linear-exponential Diophantine equations
by: Dong, Ruiwen, et al.
Published: (2025)

On the $p$-adic Skolem Problem
by: Bacik, Piotr, et al.
Published: (2025)

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
by: Kenison, George
Published: (2022)

Formalising the local compactness of the adele ring
by: Mercuri, Salvatore
Published: (2024)

Skolemization In Intermediate Logics
by: Baaz, Matthias, et al.
Published: (2025)

Measuring Decidability as Related to Busy Beaver Numbers
by: Tandi, Gurpreet, et al.
Published: (2026)

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
by: Akshay, S., et al.
Published: (2022)

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
by: Bayer, Jonas, et al.
Published: (2025)

Formalising the Bruhat-Tits Tree
by: Ludwig, Judith, et al.
Published: (2025)

A Formal Proof of Complexity Bounds on Diophantine Equations
by: Bayer, Jonas, et al.
Published: (2025)

Linear Loop Synthesis for Quadratic Invariants
by: Hitarth, S., et al.
Published: (2023)

On the Complexity of the Skolem Problem at Low Orders
by: Bacik, Piotr, et al.
Published: (2025)

In Memory of Martin Davis
by: Calvert, Wesley, et al.
Published: (2024)

Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups
by: Dong, Ruiwen
Published: (2024)

On the Subspace Orbit Problem and the Simultaneous Skolem Problem
by: Bacik, Piotr, et al.
Published: (2026)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
by: Przybocki, Benjamin, et al.
Published: (2024)

An Approximate Skolem Function Counter
by: Shaw, Arijit, et al.
Published: (2023)

Positive characteristic Ax-Schanuel
by: Kowalski, Piotr
Published: (2023)

Model Checking Quantum Continuous-Time Markov Chains
by: Xu, Ming, et al.
Published: (2021)

Skolem and Positivity Completeness of Ergodic Markov Chains
by: Vahanwala, Mihir
Published: (2023)

On the Counting Complexity of the Skolem Problem
by: Jindal, Gorav, et al.
Published: (2024)

Formalizing zeta and L-functions in Lean
by: Loeffler, David, et al.
Published: (2025)

A complete formalization of Fermat's Last Theorem for regular primes in Lean
by: Best, Alex, et al.
Published: (2024)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
by: Gamsakhurdia, Mariami, et al.
Published: (2025)

Automated Mathematics and the Reconfiguration of Proof and Labor
by: Ochigame, Rodrigo
Published: (2023)

Ultra-Galois theory and an analogue of the Kronecker--Weber theorem for rational function fields over ultra-finite fields
by: Nguyen, Dong Quan Ngoc
Published: (2024)

Is decidability of the Submonoid Membership Problem closed under finite extensions?
by: Shafrir, Doron
Published: (2024)

Hilbert's tenth problem for finitely generated rings
by: Koymans, Peter, et al.
Published: (2026)

Progress in Formalizing Sphere Packing in Dimension 8
by: Hariharan, Sidharth, et al.
Published: (2026)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
by: Kirst, Dominik, et al.
Published: (2026)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Generalized Hofstadter functions $G, H$ and beyond: numeration systems and discrepancy
by: Letouzey, Pierre
Published: (2025)

Borel Complexity of the set of vectors normal for a fixed recurrence sequence
by: Kaneko, Hajime, et al.
Published: (2025)

Counting rational points on transcendental curves in valued fields
by: Vermeulen, Floris
Published: (2025)

A Comparison of Gauge Dimension and Effective Dimension
by: Miao, Yiping
Published: (2026)

Decidability via the tilting correspondence
by: Kartas, Konstantinos
Published: (2020)

Non-Archimedean Analogue of Chase's Lemma
by: Mihara, Tomoki
Published: (2026)

Borel complexity of the set of typical numbers
by: Tomaszewski, Jakub
Published: (2022)

Hensel minimality, $p$-adic exponentiation and Tate uniformization
by: Eterović, Sebastian, et al.
Published: (2026)

Hilbert's tenth problem via additive combinatorics
by: Koymans, Peter, et al.
Published: (2024)