scientific article; zbMATH DE number 1114358
From MaRDI portal
Publication:4376080
zbMath0888.03018MaRDI QIDQ4376080
Publication date: 8 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
predicate calculusfirst-order theorydecidabilityPresburger arithmeticSkolem arithmetictheory of ringstheory of fieldstheory of groupsarithmetically correct theory in the language of arithmetic
Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Basic properties of first-order languages and structures (03C07)
Related Items (4)
Rules and arithmetics ⋮ No escape from Vardanyan's theorem ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ Predicate logics of expressively strong theories
This page was built for publication:
