Decidability of the Multiplicative and Order Theory of Numbers

09/14/2020
by   Ziba Assadi, et al.
0

The ordered structures of natural, integer, rational and real numbers are studied in this thesis. The theories of these numbers in the language of order are decidable and finitely axiomatizable. Also, their theories in the language of order and addition are decidable and infinitely axiomatizable. For the language of order and multiplication, it is known that the theories of ℕ and ℤ are not decidable (and so not axiomatizable by any computably enumerable set of sentences). By Tarski's theorem, the multiplicative ordered structure of ℝ is decidable also. In this thesis we prove this result directly by quantifier elimination and present an explicit infinite axiomatization. The structure of ℚ in the language of order and multiplication seems to be missing in the literature. We show the decidability of its theory by the technique of quantifier elimination and after presenting an infinite axiomatization for this structure, we prove that it is not finitely axiomatizable.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

09/15/2017

On the Decidability of the Ordered Structures of Numbers

The ordered structures of natural, integer, rational and real numbers ar...
08/19/2020

Axiomatic (and Non-Axiomatic) Mathematics

Axiomatizing mathematical structures and theories is an objective of Mat...
10/18/2015

Symbolic Neutrosophic Theory

Symbolic (or Literal) Neutrosophic Theory is referring to the use of abs...
03/31/2020

Fusible numbers and Peano Arithmetic

Inspired by a mathematical riddle involving fuses, we define the "fusibl...
02/10/2020

First-Order Tests for Toricity

Motivated by problems arising with the symbolic analysis of steady state...
12/04/2021

Order in the chaos with examples from graph theory

In randomly created structures (be they natural or artificial) very ofte...
01/15/2020

Circular Proofs in First-Order Linear Logic with Least and Greatest Fixed Points

Inductive and coinductive structures are everywhere in mathematics and c...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.