Real closures of models of weak arithmetic

DOI10.1007/S00153-012-0311-XMaRDI QIDQ1935370zbMATH OpenOpenAlexWikidataFDO

Authors Emil Jeřábek, Leszek Aleksander Kołodziejczyk

Publication date 15 February 2013

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-012-0311-x

zbMATH Keywords

bounded arithmeticmodels of arithmeticrecursive saturationTennenbaum's theoremreal-closed field

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• Real closed fields and models of Peano arithmetic
• A construction of real closed fields
• scientific article; zbMATH DE number 4150341
• Bounded existential induction
• Open induction and the true theory of rationals

Cites work

• scientific article; zbMATH DE number 3836033 (Why is no real title available?)
• scientific article; zbMATH DE number 440481 (Why is no real title available?)
• scientific article; zbMATH DE number 3702663 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 819737 (Why is no real title available?)
• scientific article; zbMATH DE number 3214534 (Why is no real title available?)
• A recursive nonstandard model for open induction with GCD property and cofinal primes
• A recursive nonstandard model of normal open induction
• Algorithms in real algebraic geometry
• An introduction to recursively saturated and resplendent models
• Bootstrapping. I
• Bounded existential induction
• Building discretely ordered Bezout domains and GCD domains
• Corrigendum to: ``Real closed fields and models of arithmetic
• Every real closed field has an integer part
• Logical foundations of proof complexity
• Model Theory
• Modern computer algebra
• On the complexity of models of arithmetic
• Primes and their residue rings in models of open induction
• Real closed fields and models of Peano arithmetic
• The strength of sharply bounded induction requires MSP
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS

Cited in

(12)

• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Real closed fields and models of Peano arithmetic
• A recursive nonstandard model for open induction with GCD property and cofinal primes
• A recursive model for arithmetic with weak induction
• Existence of saturated structures
• On the value group of a model of Peano arithmetic
• Open induction and the true theory of rationals
• scientific article; zbMATH DE number 4185776 (Why is no real title available?)
• scientific article; zbMATH DE number 4150341 (Why is no real title available?)
• Existentially Closed Models and Conservation Results in Bounded Arithmetic
• Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
• Bounded existential induction

This page was built for publication: Real closures of models of weak arithmetic

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