On the value group of a model of Peano arithmetic

DOI10.1515/FORUM-2015-0226MaRDI QIDQ2363347zbMATH OpenOpenAlexFDO

Authors Merlin Carl, Paola D'Aquino, Salma Kuhlmann

Publication date 13 July 2017

Published in Forum Mathematicum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.2254

zbMATH Keywords

Peano arithmeticreal closed fieldsordered fieldsrecursive saturationvalue groupresidue fieldinteger partspower series fieldsleft exponentiationmaximally valued fieldsnatural valuationvaluation rank

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Separable extensions, Galois theory (12F10) Model theory of ordered structures; o-minimality (03C64) Total orders (06A05) Algebraic field extensions (12F05) Valued fields (12J10) Ordered fields (12J15) Model theory of fields (12L12) Valuations and their generalizations for commutative rings (13A18) Transcendental field extensions (12F20)

Abstract: We investigate $IPA$ - real closed fields, that is, real closed fields which admit an integer part whose non-negative cone is a model of Peano Arithmetic. We show that the value group of an $IPA$ - real closed field is an exponential group in the residue field, and that the converse fails in general. As an application, we classify (up to isomorphism) value groups of countable recursively saturated exponential real closed fields. We exploit this characterization to construct countable exponential real closed fields which are not $IPA$ - real closed fields.

Recommendations

• Value groups and residue fields of models of real exponentiation
• Real closed fields and models of Peano arithmetic
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Models of true arithmetic are integer parts of models of real exponentation
• scientific article; zbMATH DE number 440484

Cites work

• scientific article; zbMATH DE number 440484 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 709498 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 2110408 (Why is no real title available?)
• scientific article; zbMATH DE number 3214534 (Why is no real title available?)
• scientific article; zbMATH DE number 5066354 (Why is no real title available?)
• A valuation theoretic characterization of recursively saturated real closed fields
• Corrigendum to: ``Real closed fields and models of arithmetic
• Exponentiation in power series fields
• Ordered exponential fields
• Real closed exponential fields
• Real closed fields and models of Peano arithmetic
• Real closures of models of weak arithmetic
• Representing Scott sets in algebraic settings
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Valuation bases for extensions of valued vector spaces

Cited in

(8)

• scientific article; zbMATH DE number 440484 (Why is no real title available?)
• Models of true arithmetic are integer parts of models of real exponentation
• Value groups and residue fields of models of real exponentiation
• Order types of models of fragments of Peano arithmetic
• Real closed fields and models of Peano arithmetic
• Real closed exponential fields
• Exponentiation in power series fields
• Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts

This page was built for publication: On the value group of a model of Peano arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2363347)