On the value group of a model of Peano arithmetic

DOI10.1515/forum-2015-0226zbMath1375.03039arXiv1205.2254OpenAlexW2515994870MaRDI QIDQ2363347

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

Related Items

ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC, Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts, Models of true arithmetic are integer parts of models of real exponentation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Representing Scott sets in algebraic settings
• Ordered exponential fields
• Real closures of models of weak arithmetic
• Corrigendum to: “Real closed fields and models of arithmetic”
• Real closed exponential fields
• Exponentiation in power series fields
• Real closed fields and models of Peano arithmetic
• A VALUATION THEORETIC CHARACTERIZATION OF RECURSIVELY SATURATED REAL CLOSED FIELDS
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Valuation bases for extensions of valued vector spaces