DeepAI AI Chat
Log In Sign Up

Models of VTC^0 as exponential integer parts

09/02/2022
βˆ™
by   Emil JeΕ™Γ‘bek, et al.
βˆ™
Akademie věd ČR
βˆ™
0
βˆ™

We prove that (additive) ordered group reducts of nonstandard models of the bounded arithmetical theory 𝖡𝖳𝖒^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 𝖡𝖳𝖒^0, we show that every countable model of 𝖡𝖳𝖒^0 is an exponential integer part of a real-closed exponential field.

READ FULL TEXT

page 1

page 2

page 3

page 4

βˆ™ 10/12/2019

Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids

We prove that the universal theory and the quasi-equational theory of bo...
βˆ™ 09/15/2017

On the Decidability of the Ordered Structures of Numbers

The ordered structures of natural, integer, rational and real numbers ar...
βˆ™ 10/13/2020

Covariance within Random Integer Compositions

Fix a positive integer N. Select an additive composition ΞΎ of N uniforml...
βˆ™ 09/08/2019

Lanczos-like method for the time-ordered exponential

The time-ordered exponential is defined as the function that solves any ...
βˆ™ 10/24/2014

Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition

This paper augments OBDD with conjunctive decomposition to propose a gen...
βˆ™ 08/09/2021

Linear equations for unordered data vectors in [D]^k→Z^d

Following a recently considered generalisation of linear equations to un...
βˆ™ 07/10/2018

Computing the Homology of Semialgebraic Sets I: Lax Formulas

We describe and analyze an algorithm for computing the homology (Betti n...