3 papers
math.LO2020
First-Order Concatenation Theory with Bounded Quantifiers
Lars Kristiansen, Juvenal Murwanashyaka
We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a…
math.LO2018
Notes on Fragments of First-Order Concatenation Theory
Lars Kristiansen, Juvenal Murwanashyaka
We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments…
math.LO2018
Subrecursive Approximations of Irrational Numbers by Variable Base Sums
Ivan Georgiev, Lars Kristiansen, Frank Stephan
There are numerous ways to represent real numbers. We may use, e.g., Cauchy sequences, Dedekind cuts, numerical base-10 expansions, numerical base-2 expansions and continued fracti…