scientific article; zbMATH DE number 1114358

MaRDI QIDQ4376080zbMATH OpenFDO

Authors Rostislav E. Yavorsky

Publication date 8 February 1998

zbMATH Keywords

arithmetically correct theory in the language of arithmeticdecidabilityfirst-order theorypredicate calculusPresburger arithmeticSkolem arithmetictheory of fieldstheory of groupstheory of rings

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 2152692
• Predicate logics of decidable fragments of arithmetic
• scientific article; zbMATH DE number 1163390
• scientific article; zbMATH DE number 1303453

Cited in

(15)

• Local consistency of arithmetic with an attainability predicate
• Predicate logics of decidable fragments of arithmetic
• Predicate logics of expressively strong theories
• No escape from Vardanyan's theorem
• Detection of First Order Axiomatic Theories
• scientific article; zbMATH DE number 3880650 (Why is no real title available?)
• Bases for first-order theories and subtheories
• scientific article; zbMATH DE number 408805 (Why is no real title available?)
• scientific article; zbMATH DE number 1303453 (Why is no real title available?)
• scientific article; zbMATH DE number 1163390 (Why is no real title available?)
• scientific article; zbMATH DE number 2152692 (Why is no real title available?)
• scientific article; zbMATH DE number 1567806 (Why is no real title available?)
• Rules and arithmetics
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
• Ordered Fragments of First-Order Logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4376080)