Showing 2016Show all
2 papers · 1 filter
math.LO2016
Uniform definition of sets using relations and complement of Presburger Arithmetic
Arthur Milchior
In 1996, Michaux and Villemaire considered integer relations which are not definable in Presburger Arithmetic. That is, not definable in first-order logic over integers with th…
cs.FL2016
Büchi automata recognizing sets of reals definable in first-order logic with addition and order
Arthur Milchior
This work considers weak deterministic Büchi automata reading encodings of non-negative reals in a fixed base. A Real Number Automaton is an automaton which recognizes all encoding…