Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
From MaRDI portal
Publication:6096734
DOI10.1002/malq.202300001arXiv2209.01197OpenAlexW4385497254MaRDI QIDQ6096734
Publication date: 15 September 2023
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2209.01197
Cites Work
- Parallel computation with threshold functions
- Real closures of models of weak arithmetic
- Iterated multiplication in \(VTC^0\)
- Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\)
- On the value group of a model of Peano arithmetic
- Threshold circuits of bounded depth
- On uniformity within \(NC^ 1\)
- Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\)
- Every real closed field has an integer part
- Real closed exponential fields
- Bounded existential induction
- An introduction to recursively saturated and resplendent models
- Some problem in elementary arithmetics
- Models of true arithmetic are integer parts of models of real exponentation
- Real closed fields and models of Peano arithmetic
- Theories for TC0 and Other Small Complexity Classes
- Notes on polynomially bounded arithmetic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
