## Notre Dame Journal of Formal Logic

- Notre Dame J. Formal Logic
- Volume 56, Number 4 (2015), 511-553.

### More on Generic Dimension Groups

#### Abstract

While finitely generic (f.g.) dimension groups are known to admit no proper self-embeddings, these groups also have no automorphisms other than scalar multiplications, and every countable infinitely generic (i.g.) dimension group admits proper self-embeddings and has automorphisms other than scalar multiplications. The finite-forcing companion of the theory of dimension groups is recursively isomorphic to first-order arithmetic, the infinite-forcing companion of the theory of dimension groups is recursively isomorphic to second-order arithmetic, and the first-order theory of existentially closed (e.c.) dimension groups is a complete ${\Pi}_{1}^{1}$-set. While many special properties of f.g. dimension groups may be realized in recursive e.c. dimension groups, and many special properties of i.g. dimension groups may be realized in hyperarithmetic e.c. dimension groups, no f.g. dimension group is arithmetic and no i.g. dimension group is analytical. Yet there is an f.g. dimension group recursive in first-order arithmetic, and (modulo a set-theoretic hypothesis) there is an i.g. dimension group recursive in second-order arithmetic.

#### Article information

**Source**

Notre Dame J. Formal Logic, Volume 56, Number 4 (2015), 511-553.

**Dates**

Received: 15 March 2012

Accepted: 28 June 2013

First available in Project Euclid: 30 September 2015

**Permanent link to this document**

https://projecteuclid.org/euclid.ndjfl/1443620505

**Digital Object Identifier**

doi:10.1215/00294527-3153570

**Mathematical Reviews number (MathSciNet)**

MR3403090

**Zentralblatt MATH identifier**

1372.03081

**Subjects**

Primary: 03C60: Model-theoretic algebra [See also 08C10, 12Lxx, 13L05] 06F20: Ordered abelian groups, Riesz groups, ordered linear spaces [See also 46A40]

Secondary: 03C25: Model-theoretic forcing

**Keywords**

dimension group finitely generic infinitely generic existentially closed

#### Citation

Scowcroft, Philip. More on Generic Dimension Groups. Notre Dame J. Formal Logic 56 (2015), no. 4, 511--553. doi:10.1215/00294527-3153570. https://projecteuclid.org/euclid.ndjfl/1443620505