Real closed fields and models of Peano arithmetic

DOI10.2178/JSL/1264433906MaRDI QIDQ5190186zbMATH OpenOpenAlexFDO

Authors Paola D'Aquino, J. F. Knight, S. Starchenko

Publication date 15 March 2010

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1264433906

zbMATH Keywords

integer partnonstandard modelreal closed fieldrecursive saturation

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Structures associated with real closed fields and the axiom of choice
• Real closures of models of weak arithmetic
• On the value group of a model of Peano arithmetic
• Limit computable integer parts

Cites work

• An introduction to recursively saturated and resplendent models
• Arithmetization of the field of reals with exponentiation extended abstract
• scientific article; zbMATH DE number 424614 (Why is no real title available?)
• Recursively saturated models generated by indiscernibles

Cited in

(16)

• Real closures of models of weak arithmetic
• Algebraic combinatorics in bounded induction
• On the value group of a model of Peano arithmetic
• Corrigendum to: ``Real closed fields and models of arithmetic
• Structures associated with real closed fields and the axiom of choice
• scientific article; zbMATH DE number 4150341 (Why is no real title available?)
• Open induction and the true theory of rationals
• An Intuitionistic Axiomatisation of Real Closed Fields
• Representing Scott sets in algebraic settings
• Models of true arithmetic are integer parts of models of real exponentation
• Model Completeness for the Real Field with the Weierstrass ℘ Function
• A construction of real closed fields
• Real closed fields and IP-sensitivity
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
• Limit computable integer parts

This page was built for publication: Real closed fields and models of Peano arithmetic

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