On Axiomatizability of the Multiplicative Theory of Numbers

DOI10.3233/FI-2018-1665zbMath1436.03307DBLPjournals/fuin/Salehi18arXiv1707.04732WikidataQ57533023 ScholiaQ57533023MaRDI QIDQ4643213

Saeed Salehi

Publication date: 24 May 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.04732

zbMATH Keywords

completenessquantifier eliminationdecidabilitymultiplicative theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

On decidability and axiomatizability of some ordered structures ⋮ Axiomatic (and non-axiomatic) mathematics

This page was built for publication: On Axiomatizability of the Multiplicative Theory of Numbers