Theories of initial segments of standard models of arithmetics and their complete extensions |
| |
Authors: | Micha? Krynicki Jerzy TomasikKonrad Zdanowski |
| |
Affiliation: | a Cardinal Stefan Wyszyński University in Warsaw, Polandb Université d’Auvergne, Clermont-Ferrand, Francec Institute of Mathematics, Polish Academy of Science, Warsaw, Poland |
| |
Abstract: | We investigate families of finite initial segments of standard models for various arithmetics. We give an axiomatization of the theory of sentences true in almost all finite models with addition. We also characterize its complete extensions and relate its infinite models to models of Presburger arithmetic.We also estimate the complexity of complete extensions of the arithmetic with addition and multiplication. |
| |
Keywords: | Finite models Arithmetic Finite arithmetic Presburger arithmetic Decidability |
本文献已被 ScienceDirect 等数据库收录! |