On the value group of a model of Peano arithmetic

DOI10.1515/FORUM-2015-0226zbMATH Open1375.03039arXiv1205.2254OpenAlexW2515994870MaRDI QIDQ2363347FDOQ2363347

Authors: Merlin Carl, Paola D'Aquino, Salma Kuhlmann 

Publication date: 13 July 2017

Published in: Forum Mathematicum (Search for Journal in Brave)

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Ordered exponential fields
• Title not available (Why is that?)
• Real closed fields and models of Peano arithmetic
• Title not available (Why is that?)
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Exponentiation in power series fields
• Representing Scott sets in algebraic settings
• A valuation theoretic characterization of recursively saturated real closed fields
• Title not available (Why is that?)
• Valuation bases for extensions of valued vector spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Corrigendum to: ``Real closed fields and models of arithmetic
• Real closures of models of weak arithmetic
• Real closed exponential fields
• Title not available (Why is that?)

Cited In (8)

• Title not available (Why is that?)
• 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)