This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Models of arithmetic

A subject the papers are about. The loosest grouping, and the one to reach for last.

Arithmetic in the models that are not the intended one. Collects the three distinct ways of leaving the standard model -- initial segments, inconsistent models, and weakened induction -- rather than any single one. Membership requires the work to construct or characterise such a model, not merely to prove something independent of arithmetic.

A survival guide to Presburger arithmetic

Christoph Haase (2018) · ACM SIGLOG News · Association for Computing Machinery

Metamathematics of First-Order Arithmetic

Petr Hájek and others (2017) · Cambridge University Press

Subclasses of Presburger arithmetic and the weak EXP hierarchy

Christoph Haase (2014) · Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) · Association for Computing Machinery

Nonstandard models that are definable in models of Peano Arithmetic

Kazuma Ikeda and others (2007) · Mathematical logic quarterly · Wiley

The Structure of Models of Peano Arithmetic

Roman Kossak and others (2006) · Oxford University Press

Theories of arithmetics in finite models

Michał Krynicki and others (2005) · The Journal of Symbolic Logic · Association for Symbolic Logic

Inconsistent models of arithmetic Part II: the general case

Graham Priest (2000) · The Journal of Symbolic Logic · Cambridge University Press (CUP)

Inconsistent Models of Arithmetic Part I: Finite Models

Graham Priest (1997) · Journal of Philosophical Logic · Springer

Inconsistent Mathematics

Chris Mortensen (1995) · Kluwer Academic Publishers