We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: CP-generic expansions of models of Peano Arithmetic

Abstract: We study notions of genericity in models of $\mathsf{PA}$, inspired by lines of inquiry initiated by Chatzidakis and Pillay and continued by Dolich, Miller and Steinhorn in general model-theoretic contexts. These papers studied the theories obtained by adding a "random" predicate to a class of structures. Chatzidakis and Pillay axiomatized the theories obtained in this way. In this article, we look at the subsets of models of $\mathsf{PA}$ which satisfy the axiomatization given by Chatzidakis and Pillay; we refer to these subsets in models of $\mathsf{PA}$ as CP-generics. We study a more natural property, called strong CP-genericity, which implies CP-genericity. We use an arithmetic version of Cohen forcing to construct (strong) CP-generics with various properties, including ones in which every element of the model is definable in the expansion, and, on the other extreme, ones in which the definable closure relation is unchanged.
Comments: 12 pages. Strengthened Proposition 19
Subjects: Logic (math.LO)
MSC classes: 03C62 (Primary), 03H15
Cite as: arXiv:2107.11867 [math.LO]
  (or arXiv:2107.11867v3 [math.LO] for this version)

Submission history

From: Athar Abdul-Quader [view email]
[v1] Sun, 25 Jul 2021 18:39:14 GMT (9kb)
[v2] Tue, 17 Aug 2021 16:06:15 GMT (9kb)
[v3] Wed, 25 Aug 2021 22:41:55 GMT (10kb)

Link back to: arXiv, form interface, contact.