scientific article
From MaRDI portal
Publication:3588162
zbMath1194.03018MaRDI QIDQ3588162
Publication date: 10 September 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25)
Related Items
First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers ⋮ Equations in nilpotent groups ⋮ Musielak-Orlicz-Sobolev spaces on metric measure spaces ⋮ Eager Equality for Rational Number Arithmetic ⋮ Symmetric transrationals: the data type and the algorithmic degree of its equational theory ⋮ The index of an algebraic variety ⋮ The Heterogeneity of Mathematical Research ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ On an exponential predicate in polynomials over finite fields ⋮ Decidability of Sub-theories of Polynomials over a Finite Field ⋮ Diophantine sets of polynomials over number fields ⋮ Axiomatic (and non-axiomatic) mathematics ⋮ The number of solutions of a diophantine equation over a recursive ring ⋮ Model Theory in Algebra, Analysis and Arithmetic: A Preface ⋮ UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS ⋮ Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic
