Cover Image

Considering The Satisfiability of Cubic Diophantine Equations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Rosko, Milan
Format:	Preprint
Published:	2025
Subjects:	Logic Computational Complexity Logic in Computer Science 11U05, 03F40, 03D35 (Primary) 11D72, 03B25, 11Y16 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Mixed quantifier prefixes over Diophantine equations with integer variables
by: Sun, Zhi-Wei
Published: (2021)

Undecidability on Diophantine equations over $\mathbb Z[i]$ with $20$ unknowns
by: Matiyasevich, Yuri, et al.
Published: (2025)

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$
by: Martinez-Ranero, Carlos, et al.
Published: (2024)

Diophantine Maps
by: Eggink, A.
Published: (2024)

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
by: Khani, Mohsen, et al.
Published: (2021)

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$
by: Martinez-Ranero, Carlos, et al.
Published: (2024)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
by: Wiesnet, Franziskus
Published: (2025)

The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$
by: Hormazábal, Natalia, et al.
Published: (2025)

Hilbert's tenth problem for rings of holomorphic functions of bounded order
by: Pasten, Hector
Published: (2024)

Adversarial Barrier in Uniform Class Separation
by: Rosko, Milan
Published: (2025)

The Fractal Logic of Phi-adic Recursion
by: Rosko, Milan
Published: (2025)

Punctually Standard and Nonstandard Models of Natural Numbers
by: Bazhenov, Nikolay, et al.
Published: (2026)

On the Realizability of Prime Conjectures in Heyting Arithmetic
by: Rosko, Milan
Published: (2025)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
by: Houérou, Quentin Le, et al.
Published: (2026)

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
by: Khani, Mohsen, et al.
Published: (2025)

Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
by: Brown, Hera, et al.
Published: (2025)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
by: Fukumoto, Yusei
Published: (2025)

On the computational properties of basic mathematical notions
by: Normann, Dag, et al.
Published: (2022)

Carryless Pairing: Additive Pairing in the Fibonacci Basis
by: Rosko, Milan
Published: (2025)

The Solver's Paradox in Formal Problem Spaces
by: Rosko, Milan
Published: (2025)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2026)

Loops, Inverse Limits and Non-Determinism
by: Brattka, Vasco
Published: (2025)

Weihrauch problems as containers
by: Pradic, Cécilia, et al.
Published: (2025)

Consistent ultrafinitist logic
by: Gajda, Michał J.
Published: (2021)

Undecidability of expansions of Laurent series fields by cyclic discrete subgroups
by: Gitin, Leo
Published: (2024)

Undecidability in Relevant Logic
by: Knudstorp, Søren Brinck
Published: (2026)

On the Diophantine problem related to power circuits
by: Rybalov, Alexander
Published: (2025)

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

Computable Approximations of Semicomputable Graphs
by: Čačić, Vedran, et al.
Published: (2024)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
by: Aceves-Martínez, Bruno Fernando, et al.
Published: (2024)

Exploring the abyss in Kleene's computability theory
by: Sanders, Sam
Published: (2023)

On some computational properties of open sets
by: Normann, Dag, et al.
Published: (2024)

Equations involving the modular $j$-function and its derivatives
by: Aslanyan, Vahagn, et al.
Published: (2023)

A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)

Decidability of polynomial equations over function fields in positive characteristic
by: Daans, Nicolas
Published: (2025)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

The reverse mathematics of bounded Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2025)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

Six equations in search of a finite-fold-ness proof
by: Cantone, Domenico, et al.
Published: (2023)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
by: Lau, Desmond
Published: (2024)