Finite Arithmetics
Michał Krynicki, Marcin Mostowski, Konrad Zdanowski · Fundamenta Informaticae · 2008
The paper presents the current state of knowledge in the field of logical investigations of finite arithmetics. This is an attempt to summarize the ideas and results in this area. Some new results are presented - these are mainly generalizations of the earlier results related to properties of sl-theories and some nontrivial cases of FM-representability theorem.