Models of VTC^0 as exponential integer parts

09/02/2022
βˆ™
by   Emil JeΕ™Γ‘bek, et al.
βˆ™
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

research
βˆ™ 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...
research
βˆ™ 09/15/2017

On the Decidability of the Ordered Structures of Numbers

The ordered structures of natural, integer, rational and real numbers ar...
research
βˆ™ 09/08/2019

Lanczos-like method for the time-ordered exponential

The time-ordered exponential is defined as the function that solves any ...
research
βˆ™ 10/13/2020

Covariance within Random Integer Compositions

Fix a positive integer N. Select an additive composition ΞΎ of N uniforml...
research
βˆ™ 10/24/2014

Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition

This paper augments OBDD with conjunctive decomposition to propose a gen...
research
βˆ™ 06/22/2023

On boundedness of zeros of the independence polynomial of tori

We study boundedness of zeros of the independence polynomial of tori for...
research
βˆ™ 02/28/2019

Construction Methods for Gaussoids

The number of n-gaussoids is shown to be a double exponential function i...

Please sign up or login with your details

Forgot password? Click here to reset