Models of VTC0\mathsf {VTC^0} as exponential integer parts

DOI10.1002/MALQ.202300001MaRDI QIDQ6096734zbMATH OpenOpenAlexFDO

Authors Emil Jeřábek

Publication date 15 September 2023

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Abstract: We prove that (additive) ordered group reducts of nonstandard models of the bounded arithmetical theory $mathsfVT{C}^0$ are recursively saturated in a rich language with predicates expressing the integers, rationals, and logarithmically bounded numbers. Combined with our previous results on the construction of the real exponential function on completions of models of $mathsfVT{C}^0$, we show that every countable model of $mathsfVT{C}^0$ is an exponential integer part of a real-closed exponential field.

Cites work

• An introduction to recursively saturated and resplendent models
• Bounded existential induction
• Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\)
• Every real closed field has an integer part
• scientific article; zbMATH DE number 3836033 (Why is no real title available?)
• scientific article; zbMATH DE number 440484 (Why is no real title available?)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 43465 (Why is no real title available?)
• scientific article; zbMATH DE number 3214534 (Why is no real title available?)
• scientific article; zbMATH DE number 3300584 (Why is no real title available?)
• Iterated multiplication in VTC^0
• Logical foundations of proof complexity
• Models of true arithmetic are integer parts of models of real exponentation
• Notes on polynomially bounded arithmetic
• On the value group of a model of Peano arithmetic
• On uniformity within \(NC^ 1\)
• Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\)
• Parallel computation with threshold functions
• Real closed exponential fields
• Real closed fields and models of Peano arithmetic
• Real closures of models of weak arithmetic
• Some problem in elementary arithmetics
• Theories for TC0 and Other Small Complexity Classes
• Threshold circuits of bounded depth

Cited in

(3)

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
• Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024
• Analogues of Shepherdson's theorem for a language with exponentiation

This page was built for publication: Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts

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