scientific article
From MaRDI portal
Publication:3901517
zbMath0454.03034MaRDI QIDQ3901517
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
solvabilityopen inductiondecision proceduresHilbert's irreducibility theoremdiscretely ordered domains
Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25) Nonstandard models of arithmetic (03H15) Diophantine equations (11D99) Nonstandard arithmetic (number-theoretic aspects) (11U10)
Related Items (6)
Diophantine equations in fragments in arithmetic ⋮ Hilbert's tenth problem for weak theories of arithmetic ⋮ The joint embedding property in normal open induction ⋮ Independence results for variants of sharply bounded induction ⋮ Factorization in generalized power series ⋮ Diophantine problems over tamely ramified fields
This page was built for publication:
