72 citations · 74 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018★ 1 cited
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★ 1 cited
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…